Stefan pushed to branch master at Stefan / Typer

Commits: 630b1bf0 by Stefan Monnier at 2017-07-07T15:54:37-04:00 * src/elab.el (sform_lambda): Improve error message

- - - - -

1 changed file:

- src/elab.ml

Changes:

===================================== src/elab.ml ===================================== --- a/src/elab.ml +++ b/src/elab.ml @@ -1202,7 +1202,10 @@ let sform_lambda kind ctx loc sargs ot = | Inferred lt2 -> Inferred (mkArrow (kind, Some arg, lt1, loc, lt2)))

- | _ -> sexp_error loc "##lambda_->_ takes two arguments"; + | _ -> sexp_error loc ("##lambda_"^(match kind with Aexplicit -> "->" + | Aimplicit -> "=>" + | Aerasable -> "≡>") + ^"_ takes two arguments"; sform_dummy_ret loc

let rec sform_case ctx loc sargs ot = match sargs with

View it on GitLab: https://gitlab.com/monnier/typer/commit/630b1bf079bca7ee7e5b7a9df7e1673da805...

--- View it on GitLab: https://gitlab.com/monnier/typer/commit/630b1bf079bca7ee7e5b7a9df7e1673da805... You're receiving this email because of your account on gitlab.com.