progs/tests/wrong_params.sy


1
2
3
4
5
6
7

start :: fn {

    f : fn -> int = fn a: int -> int {}
    f
}

// errors: [ErrorKind::TypeMismatch(_, _), ErrorKind::TypeMismatch(Type::Int, Type::Void)]