diff options
-rw-r--r-- | starts/meaning-vm/habit-starts/rhythm.cpp | 17 | ||||
-rw-r--r-- | starts/meaning-vm/level-2/common.hpp | 9 | ||||
-rw-r--r-- | starts/meaning-vm/level-2/funcs.cpp | 9 | ||||
-rw-r--r-- | starts/meaning-vm/level-2/sugar.hpp | 8 | ||||
-rw-r--r-- | starts/meaning-vm/makefile | 4 |
5 files changed, 30 insertions, 17 deletions
diff --git a/starts/meaning-vm/habit-starts/rhythm.cpp b/starts/meaning-vm/habit-starts/rhythm.cpp index 33e102a..7afb8ed 100644 --- a/starts/meaning-vm/habit-starts/rhythm.cpp +++ b/starts/meaning-vm/habit-starts/rhythm.cpp @@ -34,22 +34,22 @@ int main() #undef self ahabit(next-habit, { - ref n = ctx.get(active-habit).get(next); + ref n = ctx[active-habit].get(next); ctx.set(active-habit, n); - return n(ctx); + return n(); }); ahabit(start-habit, { - ref s = ctx.get(start); + ref s = ctx[start]; ctx.set(active-habit, s); - return s(ctx); + return s(); }); ahabit(keep-doing-habit, { - (start-habit)(ctx); + (start-habit)(); while (true) { - (next-habit)(ctx); + (next-habit)(); } }); @@ -124,7 +124,6 @@ int main() }); - a(context, habit-context); - (habit-context).set(start, start-beat); - (keep-doing-habit)(habit-context); + ref::context().set(start, start-beat); + (keep-doing-habit)(); } diff --git a/starts/meaning-vm/level-2/common.hpp b/starts/meaning-vm/level-2/common.hpp index 6f70f09..aac072e 100644 --- a/starts/meaning-vm/level-2/common.hpp +++ b/starts/meaning-vm/level-2/common.hpp @@ -1 +1,10 @@ #pragma once + +namespace intellect { +namespace level2 { + +template <typename T> struct baseref; +struct ref; + +} +} diff --git a/starts/meaning-vm/level-2/funcs.cpp b/starts/meaning-vm/level-2/funcs.cpp index 4ee02a4..c25ead2 100644 --- a/starts/meaning-vm/level-2/funcs.cpp +++ b/starts/meaning-vm/level-2/funcs.cpp @@ -1,13 +1,16 @@ -#include "funcs.hp" +#include "funcs.hpp" #include "../level-1/sugar.hpp" +#include "ref.hpp" + namespace intellect { +using namespace level1; namespace level2 { -level2::ref context() +ref context() { - static thread_local level1::ref ctx = level1::a("context"); + static thread_local auto ctx = a("context"); return ctx; } diff --git a/starts/meaning-vm/level-2/sugar.hpp b/starts/meaning-vm/level-2/sugar.hpp index 3e94c97..6734eae 100644 --- a/starts/meaning-vm/level-2/sugar.hpp +++ b/starts/meaning-vm/level-2/sugar.hpp @@ -11,12 +11,12 @@ #undef self #define ahabit(name, ...) \ a(habit, name); \ - (name).fun((std::function<ref(ref)>) \ - [=](ref ctx) -> ref\ + (name).fun((std::function<void()>) \ + [=]() -> ref\ { \ habitdelay; \ - ref self = name; \ - (void)self; \ + ref self = name; (void)self; \ + ref ctx = intellect::level2::ref::context(); (void) ctx;\ __VA_ARGS__ \ return intellect::level1::concepts::nothing; \ }); diff --git a/starts/meaning-vm/makefile b/starts/meaning-vm/makefile index dba9eac..fbb8a57 100644 --- a/starts/meaning-vm/makefile +++ b/starts/meaning-vm/makefile @@ -6,8 +6,10 @@ level0: level0.o liblevel0.a liblevel0.a: $(patsubst %.cpp,%.o,$(wildcard level-0/*.cpp)) level1: level1.o liblevel1.a liblevel1.a: $(patsubst %.cpp,%.o,$(wildcard level-0/*.cpp)) $(patsubst %.cpp,%.o,$(wildcard level-1/*.cpp)) +level2: liblevel2.a +liblevel2.a: $(patsubst %.cpp,%.o,$(wildcard level-0/*.cpp)) $(patsubst %.cpp,%.o,$(wildcard level-1/*.cpp)) $(patsubst %.cpp,%.o,$(wildcard level-2/*.cpp)) -habit-starts/rhythm: habit-starts/rhythm.o liblevel1.a +habit-starts/rhythm: habit-starts/rhythm.o liblevel2.a liblevel%.a: level-%/*.hpp %.a: |