From d3444a45d289e75e64037d2b402dde18db6aa04f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 15 Apr 2019 18:30:37 -0400
Subject: Ported the synthesis tests to the new format.

---
 stdlib/source/test/lux.lux | 33 +++++++++------------------------
 1 file changed, 9 insertions(+), 24 deletions(-)

(limited to 'stdlib/source/test/lux.lux')

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index bad2e5500..99276bcf1 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -81,9 +81,7 @@
      ##    ["._" multi]]]
      ##  [text
      ##   ["._" buffer]]]
-     ## ["._" macro
-     ##  [poly
-     ##   ["._" json]]]
+     ## ["._" macro]
      ## [type
      ##  ["._" unit]
      ##  ["._" refinement]
@@ -96,14 +94,7 @@
      ##  ["._" default
      ##   ["._" evaluation]
      ##   [phase
-     ##    ["._" generation
-     ##     [scheme
-     ##      ["._scheme" function]
-     ##      ["._scheme" loop]
-     ##      ["._scheme" case]
-     ##      ["._scheme" extension]
-     ##      ["._scheme" extension/common]
-     ##      ["._scheme" expression]]]
+     ##    ["._" generation]
      ##    [extension
      ##     ["._" statement]]]
      ##   ["._default" cache]]
@@ -339,24 +330,18 @@
               ..templates)
           (<| (_.context "Cross-platform support.")
               ..cross-platform-support)
-          (<| (_.context "/abstract")
-              /abstract.test)
-          (<| (_.context "/control")
-              /control.test)
-          (<| (_.context "/data")
-              /data.test)
+          /abstract.test
+          /control.test
+          /data.test
           /macro.test
           /math.test
-          (<| (_.context "/time")
-              /time.test)
+          /time.test
           /tool.test
           /type.test
           /world.test
-          (<| (_.context "/host")
-              ($_ _.and
-                  /host.test
-                  (<| (_.context "/jvm")
-                      /host/jvm.test)))
+          ($_ _.and
+              /host.test
+              /host/jvm.test)
           )))
 
 (program: args
-- 
cgit v1.2.3