From c15edae4532f53e7e5bac9dae125c360d93f848d Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Sat, 21 Feb 2015 17:27:52 +0100 Subject: Separated Turing machine implementation into components * i.e. separate namespaces and headers for _Tape_ and _State_ functions * `void` is now used as the `BLANK` field value --- src/list/generator/detail/generate_nested_structure.h | 3 +++ src/list/operation/higher/find.h | 4 ++-- src/pair.h | 2 ++ 3 files changed, 7 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/list/generator/detail/generate_nested_structure.h b/src/list/generator/detail/generate_nested_structure.h index 84db78d..77fa0aa 100644 --- a/src/list/generator/detail/generate_nested_structure.h +++ b/src/list/generator/detail/generate_nested_structure.h @@ -1,6 +1,9 @@ #ifndef TYPEASVALUE_SRC_LIST_GENERATOR_DETAIL_GENERATE_NESTED_STRUCTURE_H_ #define TYPEASVALUE_SRC_LIST_GENERATOR_DETAIL_GENERATE_NESTED_STRUCTURE_H_ +#include "type.h" +#include "operation/math.h" + namespace tav { namespace detail { diff --git a/src/list/operation/higher/find.h b/src/list/operation/higher/find.h index aeb0c2a..e7ee9f2 100644 --- a/src/list/operation/higher/find.h +++ b/src/list/operation/higher/find.h @@ -1,10 +1,10 @@ #ifndef TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_FIND_H_ #define TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_FIND_H_ +#include "list/list.h" +#include "list_index.h" #include "utility/predicate.h" #include "function/apply.h" -#include "list/operation/nth.h" -#include "list_index.h" namespace tav { diff --git a/src/pair.h b/src/pair.h index 8234382..6b2fe28 100644 --- a/src/pair.h +++ b/src/pair.h @@ -3,6 +3,8 @@ #include +#include "type.h" + namespace tav { namespace detail { struct pair_tag { }; } -- cgit v1.2.3