[Git][monnier/typer][master] * src/elab.el (sform_lambda): Improve error message
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.
Afficher les réponses par date
participants (1)
-
Stefan