Problem typechecking higher-order functions #206
Description
function foo () -> (word) -> bool {
return lam (x:word) -> bool { return true; };
}
fails with an error
Types: word -> bool and t_lambda_impl01 do not unify
{{ message }}
function foo () -> (word) -> bool {
return lam (x:word) -> bool { return true; };
}
fails with an error
Types: word -> bool and t_lambda_impl01 do not unify