diff options
| author | Eduardo Julian | 2018-07-21 23:57:21 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-21 23:57:21 -0400 |
| commit | 9671d6064dd02dfe6c32492f5b9907b096e5bd89 (patch) | |
| tree | db89e3908dedd606ce5838096bc5df9ebcc9b1c4 /stdlib/source/lux/type/quotient.lux | |
| parent | 22d10692d87ac1c07fc14f6100917b913bb0f8b3 (diff) | |
Re-named "seq" to "and" and "alt" to "or".
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}) |