More explicit error message printing.

2023-01-21 11:10:24 +01:00 · 2023-01-21 11:10:24 +01:00 · 8a0af5091e
parent 5cbc45ca55
commit 8a0af5091e
1 changed files with 2 additions and 2 deletions
--- a/client/FPrinter.ml
+++ b/client/FPrinter.ml
@ -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."