Stefan pushed to branch master at Stefan / Typer
Commits: d75bf004 by Stefan Monnier at 2016-11-21T13:11:25-05:00 * src/opslexp.ml (check): Fix typo in last commit.
- - - - -
1 changed file:
- src/opslexp.ml
Changes:
===================================== src/opslexp.ml ===================================== --- a/src/opslexp.ml +++ b/src/opslexp.ml @@ -284,7 +284,7 @@ let rec check meta_ctx ctx e = | Sort (l, Stype e) -> let t = check ctx e in assert_type ctx e t B.type_level; - Sort (l, Stype (SortLevel (SLsucc t))) + Sort (l, Stype (SortLevel (SLsucc e))) | Sort (_, StypeLevel) -> B.type_omega | Sort (_, StypeOmega) -> (U.msg_error "TC" (lexp_location e) "Reached Unreachable sorts!";
View it on GitLab: https://gitlab.com/monnier/typer/commit/d75bf00409392ef25d2091d5d8163d4578a7...
Afficher les réponses par date