From 35832f8e115e087a949cc5c7b0832cdef43f2d41 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 15 Dec 2016 00:36:58 -0400
Subject: - Updated tests for lux/type. - Added tests for lux/type/check and
 lux/type/auto.

---
 stdlib/test/tests.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

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

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