diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/type/quotient.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/type/quotient.lux b/stdlib/source/library/lux/type/quotient.lux index b872e6ff1..d4250a02f 100644 --- a/stdlib/source/library/lux/type/quotient.lux +++ b/stdlib/source/library/lux/type/quotient.lux @@ -41,13 +41,13 @@ (syntax: #export (type class) (with_gensyms [g!t g!c g!%] - (wrap (list (` ((~! type.:by_example) - [(~ g!t) (~ g!c) (~ g!%)] + (in (list (` ((~! type.:by_example) + [(~ g!t) (~ g!c) (~ g!%)] - (..Class (~ g!t) (~ g!c) (~ g!%)) - (~ class) - - (..Quotient (~ g!t) (~ g!c) (~ g!%)))))))) + (..Class (~ g!t) (~ g!c) (~ g!%)) + (~ class) + + (..Quotient (~ g!t) (~ g!c) (~ g!%)))))))) (implementation: #export (equivalence super) (All [t c %] (-> (Equivalence c) (Equivalence (..Quotient t c %)))) |