diff options
Diffstat (limited to 'stdlib/source/library/lux/data/product.lux')
-rw-r--r-- | stdlib/source/library/lux/data/product.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/data/product.lux b/stdlib/source/library/lux/data/product.lux index 2221052bf..669f58e4f 100644 --- a/stdlib/source/library/lux/data/product.lux +++ b/stdlib/source/library/lux/data/product.lux @@ -53,16 +53,16 @@ (All (_ l r) (-> (Equivalence l) (Equivalence r) (Equivalence [l r]))) (def: (= [rl rr] [sl sr]) - (and (# left = rl sl) - (# right = rr sr)))) + (and (at left = rl sl) + (at right = rr sr)))) (def: .public (hash left right) (All (_ l r) (-> (Hash l) (Hash r) (Hash [l r]))) (implementation (def: equivalence - (..equivalence (# left equivalence) - (# right equivalence))) + (..equivalence (at left equivalence) + (at right equivalence))) (def: (hash [leftV rightV]) ("lux i64 +" - (# left hash leftV) - (# right hash rightV))))) + (at left hash leftV) + (at right hash rightV))))) |