More explicit error message printing.

This commit is contained in:
Olivier 2023-01-21 11:10:24 +01:00
parent 98ea579c6a
commit 0debfbb71b
1 changed files with 2 additions and 2 deletions

View File

@ -213,5 +213,5 @@ let print_type_error e =
str "Scope error." ++
str "The variable %s is bound twice in a pattern." x
| ContextNotAbsurd ->
str "Type error." ++
str "The context is not absurd"
str "Type error." ++
str "The type equations in the typing environment are not contradictory."