[Git][monnier/typer][master] * src/opslexp.ml (check): Fix typo in last commit.
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
participants (1)
-
Stefan