diff options
| author | Eduardo Julian | 2017-12-28 19:54:06 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-12-28 19:54:06 -0400 |
| commit | 52d1159dbedd7ccf158fa53578d1916032a662ce (patch) | |
| tree | 58db00f2549b98ed1b82e2a29e45f62e5fe0f3c1 /stdlib/test/tests.lux | |
| parent | a4c4a5b8c744eae8108c02e402600a61fdc74d02 (diff) | |
- Added quotient types.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/test/tests.lux | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux index 12ab83fc0..b5dcf571a 100644 --- a/stdlib/test/tests.lux +++ b/stdlib/test/tests.lux @@ -87,7 +87,8 @@ [macro] (macro (poly [json])) (type [unit] - [refinement]) + [refinement] + [quotient]) [world/env] [world/console]) ) |