diff options
| author | Eduardo Julian | 2018-07-10 23:54:36 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-10 23:54:36 -0400 |
| commit | 5efe74b9eba910d5389e20be07b504b1dad69504 (patch) | |
| tree | de6240f98e5eb6a9a5c8a6dc827ea739c9cb11c9 /stdlib/source/lux/type/refinement.lux | |
| parent | 852410fda71621522f7707a80554140a5aac7f9c (diff) | |
- Improvements to import syntax [part 0].
Diffstat (limited to 'stdlib/source/lux/type/refinement.lux')
| -rw-r--r-- | stdlib/source/lux/type/refinement.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/type/refinement.lux b/stdlib/source/lux/type/refinement.lux index d7de1a67a..3652764d4 100644 --- a/stdlib/source/lux/type/refinement.lux +++ b/stdlib/source/lux/type/refinement.lux @@ -1,13 +1,13 @@ (.module: - [lux #- type] - (lux (control [predicate #+ Predicate] - [monad #+ do] + [lux (#- type)] + (lux (control [predicate (#+ Predicate)] + [monad (#+ do)] ["p" parser]) - (data ["e" error #+ Error]) + (data ["e" error (#+ Error)]) (language [type "type/" Equivalence<Type>]) (type abstract) [macro] - (macro ["s" syntax #+ syntax:] + (macro ["s" syntax (#+ syntax:)] [poly]))) (abstract: #export (Refined t r) |