From b3dea01d1ad6803b96865a846b56494506ccc74e Mon Sep 17 00:00:00 2001 From: olpc user Date: Sun, 24 Nov 2019 00:51:53 -0800 Subject: changes didn't pan out; next change is big (merging statementevaluable with ref). saving work. --- starts/meaning-vm/main.cpp | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'starts/meaning-vm/main.cpp') diff --git a/starts/meaning-vm/main.cpp b/starts/meaning-vm/main.cpp index 6919791..1d25975 100644 --- a/starts/meaning-vm/main.cpp +++ b/starts/meaning-vm/main.cpp @@ -29,8 +29,11 @@ void dumpconcept(ref r) int main() { declrefs(make, linked, habit); - declrefs(A, B, C); + declrefs(structure, function, argument, position, provide); decllnks(needs, assumes, makes); + decllnks(A, B, C); + decllnks(is); + lnks(argument-position); // add a new unique link to a concept // given A, B, C @@ -40,7 +43,13 @@ int main() // change the needs structure to use a model for the ref, // with needed values specified as 'provided' make-linked = a(habit)[ - needs = and(avariable(A), avariable(B), avariable(C)), + needs = a(structure)[ + is = function-argument, + argument-position = vref(1), + avariable(A) = provide, + avariable(B) = provide, + avariable(C) = provide + ], assumes = not(A-B-C-linked = link(A, B, C)), makes = A-B-C-linked ]; -- cgit v1.2.3