- Updated tests for lux/type.

- Added tests for lux/type/check and lux/type/auto.

1 files changed, 8 insertions, 8 deletions

diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index e225e1f28..ef94dca90 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -59,17 +59,17 @@
              (macro ["_;" ast]
                     ["_;" syntax]
                     ["_;" template])
-             ## [type]
-             ## (type [check] [auto])
-             ## (control ...)
+             ["_;" type]
+             (type ["_;" check]
+                   ["_;" auto])
+             ## (control [effect])
              )
         )
   ## (lux (codata [cont])
-  ## (macro [poly]
-  ##        (poly ["poly_;" eq]
-  ##              ["poly_;" text-encoder]
-  ##              ["poly_;" functor]))
-  ##      (control [effect]))
+  ##      (macro [poly]
+  ##             (poly ["poly_;" eq]
+  ##                   ["poly_;" text-encoder]
+  ##                   ["poly_;" functor])))
   )
 
 ## [Program]