diff options
| author | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
| commit | 376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch) | |
| tree | bc76d7aeff4f2b889ae262a64dc8d26b0476068d /stdlib/source/library/lux/type/refinement.lux | |
| parent | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff) | |
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to 'stdlib/source/library/lux/type/refinement.lux')
| -rw-r--r-- | stdlib/source/library/lux/type/refinement.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux index 8e4f23952..52421e0a1 100644 --- a/stdlib/source/library/lux/type/refinement.lux +++ b/stdlib/source/library/lux/type/refinement.lux @@ -1,13 +1,13 @@ (.module: [library - [lux {"-" [type]} + [lux {"-" type} [abstract - [predicate {"+" [Predicate]}]] + [predicate {"+" Predicate}]] [control [parser ["<[0]>" code]]] ["[0]" macro - [syntax {"+" [syntax:]}]] + [syntax {"+" syntax:}]] ["[0]" type abstract]]]) |