diff options
Diffstat (limited to 'stdlib/source/lux/type/quotient.lux')
-rw-r--r-- | stdlib/source/lux/type/quotient.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/type/quotient.lux b/stdlib/source/lux/type/quotient.lux index 03119d865..17780e622 100644 --- a/stdlib/source/lux/type/quotient.lux +++ b/stdlib/source/lux/type/quotient.lux @@ -55,7 +55,7 @@ (<| (poly.run constructor-type) (do p.Monad<Parser> [[valueT classT quotient-ex] (<| poly.apply (p.after (poly.exactly ..Class)) - ($_ p.seq poly.any poly.any poly.existential))] + ($_ p.and poly.any poly.any poly.existential))] (wrap (.type (..Quotient valueT classT (:~ (#.Ex quotient-ex)))))))) (syntax: #export (type {quotient s.identifier}) |