diff options
author | Eduardo Julian | 2016-12-15 00:36:58 -0400 |
---|---|---|
committer | Eduardo Julian | 2016-12-15 00:36:58 -0400 |
commit | 35832f8e115e087a949cc5c7b0832cdef43f2d41 (patch) | |
tree | b3b41e425aababdf78055c60277a30cb00a70446 /stdlib/test/tests.lux | |
parent | 70c30b91b83426c04ff3c5f1f54e2dde993f2302 (diff) |
- Updated tests for lux/type.
- Added tests for lux/type/check and lux/type/auto.
Diffstat (limited to '')
-rw-r--r-- | stdlib/test/tests.lux | 16 |
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] |