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 1a58127c1..670951182 100644 --- a/stdlib/source/lux/data/sum.lux +++ b/stdlib/source/lux/data/sum.lux @@ -14,7 +14,7 @@ (All [a b c] (-> (-> a c) (-> b c) (-> (| a b) c))) - (function [input] + (function (_ input) (case input (+0 l) (fl l) (+1 r) (fr r)))) @@ -23,7 +23,7 @@ (All [l l' r r'] (-> (-> l l') (-> r r') (-> (| l r) (| l' r')))) - (function [input] + (function (_ input) (case input (+0 l) (+0 (fl l)) (+1 r) (+1 (fr r))))) |