New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Confusing errors when mistaking the amount of arguments #1553

Open
mtzguido opened this Issue Oct 4, 2018 · 0 comments

Comments

Projects
None yet
1 participant
@mtzguido
Contributor

mtzguido commented Oct 4, 2018

All the errors point to the body of the let, which makes them even more confusing

(* Expected expression of type "int"; got expression "fun _ -> x" of type "y: (*?u0*) _ -> Prims.Tot int" *)
val f : int -> int
let f x y = x

(* Failed to resolve implicit argument ?0 of type Type introduced for user-provided implicit term *)
val g : #a:Type -> a -> a
let g #_ x y = x

(* Failed to resolve implicit argument ?0 of type Type introduced for user-provided implicit term *)
val h : #a:Type -> a -> a
let h #_ x y = y
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment