diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/type/refinement.lux')
| -rw-r--r-- | stdlib/source/library/lux/meta/type/refinement.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/meta/type/refinement.lux b/stdlib/source/library/lux/meta/type/refinement.lux index fb7553897..3ccaf066d 100644 --- a/stdlib/source/library/lux/meta/type/refinement.lux +++ b/stdlib/source/library/lux/meta/type/refinement.lux @@ -10,9 +10,9 @@ ["[0]" macro (.only) [syntax (.only syntax)]]]]] ["[0]" // (.only) - [primitive (.except)]]) + ["[0]" primitive (.except def)]]) -(primitive .public (Refined t %) +(primitive.def .public (Refined t %) (Record [#value t #predicate (Predicate t)]) |