diff options
Diffstat (limited to 'stdlib/source/lux/macro/poly/equivalence.lux')
-rw-r--r-- | stdlib/source/lux/macro/poly/equivalence.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/macro/poly/equivalence.lux b/stdlib/source/lux/macro/poly/equivalence.lux index ae910874c..8c2f8dd21 100644 --- a/stdlib/source/lux/macro/poly/equivalence.lux +++ b/stdlib/source/lux/macro/poly/equivalence.lux @@ -50,12 +50,12 @@ <eq>))))] [(poly.exactly Any) (function ((~ g!_) (~ g!_) (~ g!_)) #1)] - [(poly.similar Bit) bit.Equivalence<Bit>] - [(poly.similar Nat) number.Equivalence<Nat>] - [(poly.similar Int) number.Equivalence<Int>] - [(poly.similar Rev) number.Equivalence<Rev>] - [(poly.similar Frac) number.Equivalence<Frac>] - [(poly.similar Text) text.Equivalence<Text>])) + [(poly.sub Bit) bit.Equivalence<Bit>] + [(poly.sub Nat) number.Equivalence<Nat>] + [(poly.sub Int) number.Equivalence<Int>] + [(poly.sub Rev) number.Equivalence<Rev>] + [(poly.sub Frac) number.Equivalence<Frac>] + [(poly.sub Text) text.Equivalence<Text>])) ## Composite types (~~ (do-template [<name> <eq>] [(do @ |