From aa3dcb411db1bfbf41ca59c334c6c792b9e40d0c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 31 May 2017 21:35:39 -0400
Subject: - Implemented some synthesis algorithms and tests for primitives,
 structures, procedures and function application. - Some refactoring.

---
 new-luxc/test/tests.lux | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

(limited to 'new-luxc/test/tests.lux')

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
-- 
cgit v1.2.3