diff options
| author | Eduardo Julian | 2017-12-25 00:24:18 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-12-25 00:24:18 -0400 |
| commit | a4c4a5b8c744eae8108c02e402600a61fdc74d02 (patch) | |
| tree | 8b11a6c4a6adc3dd28e289426c3a923449b7e0d0 /stdlib/test/test | |
| parent | 342cc20371fd43a6d6ac93620283072dbdcc26ac (diff) | |
- Added module for predicates.
- Added refinement types.
- Small refactorings and fixes.
- Added the capacity to unquote expressions inside the 'lux.type' macro.
Diffstat (limited to 'stdlib/test/test')
| -rw-r--r-- | stdlib/test/test/lux/math/modular.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/test/test/lux/math/modular.lux b/stdlib/test/test/lux/math/modular.lux index 76d56cbc2..1adc737a4 100644 --- a/stdlib/test/test/lux/math/modular.lux +++ b/stdlib/test/test/lux/math/modular.lux @@ -11,7 +11,7 @@ lux/test) (def: %3 (/.modulus 3)) -(def: Mod3 Type (type-of %3)) +(type: Mod3 (~ (type-of %3))) (def: modulusR (r.Random Int) |