diff options
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) |