diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/sum.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/data/sum.lux b/stdlib/source/lux/data/sum.lux index 1a39d770b..bb0e6d0e7 100644 --- a/stdlib/source/lux/data/sum.lux +++ b/stdlib/source/lux/data/sum.lux @@ -62,7 +62,7 @@ (def: #export (equivalence left right) (All [l r] (-> (Equivalence l) (Equivalence r) (Equivalence (| l r)))) - (structure + (implementation (def: (= reference sample) (case [reference sample] [(#.Left reference) (#.Left sample)] @@ -76,7 +76,7 @@ (def: #export (hash left right) (All [l r] (-> (Hash l) (Hash r) (Hash (| l r)))) - (structure + (implementation (def: &equivalence (..equivalence (\ left &equivalence) (\ right &equivalence))) |