diff options
| author | Eduardo Julian | 2019-06-19 22:37:28 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-06-19 22:37:28 -0400 |
| commit | 252e17e22d3e61e08c01e14ca5365d8195cc51b4 (patch) | |
| tree | d9284c9cf80b3feedfb2bce0da9caf5e7ac162d6 /stdlib/source/lux/abstract | |
| parent | 932a1d5941bb80a41cbb11944d67d7366351c89a (diff) | |
Various fixes.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/abstract/equivalence.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/lux/abstract/equivalence.lux b/stdlib/source/lux/abstract/equivalence.lux index b773505de..d23f37942 100644 --- a/stdlib/source/lux/abstract/equivalence.lux +++ b/stdlib/source/lux/abstract/equivalence.lux @@ -18,16 +18,16 @@ (def: #export (sum left right) (All [l r] (-> (Equivalence l) (Equivalence r) (Equivalence (| l r)))) (structure - (def: (= a|b x|y) - (case [a|b x|y] - [(0 a) (0 x)] - (:: left = a x) + (def: (= reference sample) + (case [reference sample] + [(#.Left reference) (#.Left sample)] + (:: left = reference sample) - [(1 b) (1 y)] - (:: right = b y) + [(#.Right reference) (#.Right sample)] + (:: right = reference sample) _ - #0)))) + false)))) (def: #export (rec sub) (All [a] (-> (-> (Equivalence a) (Equivalence a)) (Equivalence a))) |