Update stdlib to use polymorphic eq
foldl = Promise(forall a. (a -> Dyn -> a) -> a -> List -> a,
fun f fst l =>
- if isZero (length l) then
+ if length l == 0 then
fst
else
let rest = foldl f fst (tail l) in
fold = Promise(forall a. (Dyn -> a -> a) -> List -> a -> a,
fun f l fst =>
- if isZero (length l) then
+ if length l == 0 then
fst
else
f (head l) (fold f (tail l) fst));
