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.