aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux.lux
diff options
context:
space:
mode:
authorEduardo Julian2019-04-15 18:30:37 -0400
committerEduardo Julian2019-04-15 18:30:37 -0400
commitd3444a45d289e75e64037d2b402dde18db6aa04f (patch)
tree72f8ccd771abc3f3f7e4155808fd7cd284088059 /stdlib/source/test/lux.lux
parentefde1a8f5d7cd94a921f3964dd504709791db75e (diff)
Ported the synthesis tests to the new format.
Diffstat (limited to 'stdlib/source/test/lux.lux')
-rw-r--r--stdlib/source/test/lux.lux33
1 files changed, 9 insertions, 24 deletions
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