- Implemented some synthesis algorithms and tests for primitives, structures, procedures and function application.

- Some refactoring.

1 files changed, 11 insertions, 8 deletions

diff --git a/new-luxc/test/tests.lux b/new-luxc/test/tests.lux
index 26ec28743..114768c2d 100644
--- a/new-luxc/test/tests.lux
+++ b/new-luxc/test/tests.lux
@@ -5,14 +5,17 @@
        (concurrency [promise])
        [cli #+ program:]
        [test])
-  (test (luxc ["_;" parser]
-              (analyser ["_;" primitive]
-                        ["_;" structure]
-                        ["_;" reference]
-                        ["_;" case]
-                        ["_;" function]
-                        (procedure ["_;" common])
-                        ))))
+  (test (luxc ["_;P" parser]
+              (analyser ["_;A" primitive]
+                        ["_;A" structure]
+                        ["_;A" reference]
+                        ["_;A" case]
+                        ["_;A" function]
+                        (procedure ["_;A" common]))
+              (synthesizer ["_;S" primitive]
+                           ["_;S" structure]
+                           ["_;S" function]
+                           ["_;S" procedure]))))
 
 ## [Program]
 (program: args