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.