[Git][monnier/typer][master] -
Stefan pushed to branch master at Stefan / Typer Commits: 5ae615da by Stefan Monnier at 2017-09-06T07:58:55-04:00 - - - - - - 1 changed file: - src/elab.ml Changes: ===================================== src/elab.ml ===================================== --- a/src/elab.ml +++ b/src/elab.ml @@ -274,7 +274,7 @@ let elab_varref ctx ((loc, name) as id) (* Infer or check, as the case may be. *) let rec elaborate ctx se ot = match se with - (* Rewrite SYM to `typr-identifier SYM`. *) + (* Rewrite SYM to `typer-identifier SYM`. *) | Symbol ((loc, name) as id) -> if not (name = "typer-identifier") then elaborate ctx (Node (Symbol (loc, "typer-identifier"), [se])) ot View it on GitLab: https://gitlab.com/monnier/typer/commit/5ae615dad5a534092f84b2e6c9314aad0288... --- View it on GitLab: https://gitlab.com/monnier/typer/commit/5ae615dad5a534092f84b2e6c9314aad0288... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Stefan