aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/meta/type/quotient.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/meta/type/quotient.lux')
-rw-r--r--stdlib/source/library/lux/meta/type/quotient.lux6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/meta/type/quotient.lux b/stdlib/source/library/lux/meta/type/quotient.lux
index 04058c1e1..99a63d400 100644
--- a/stdlib/source/library/lux/meta/type/quotient.lux
+++ b/stdlib/source/library/lux/meta/type/quotient.lux
@@ -9,9 +9,9 @@
[macro (.only with_symbols)
[syntax (.only syntax)]]]]]
["[0]" // (.only)
- [primitive (.except)]])
+ ["[0]" primitive (.except def)]])
-(primitive .public (Class t c %)
+(primitive.def .public (Class t c %)
(-> t c)
(def .public class
@@ -20,7 +20,7 @@
(-> (-> t c) (Class t c %))))
(|>> abstraction))
- (primitive .public (Quotient t c %)
+ (primitive.def .public (Quotient t c %)
(Record
[#value t
#label c])