Improve error message

miking-lang · Sep 8, 2023 · 812582f · 812582f
1 parent 97d9246
commit 812582f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/stdlib/mexpr/type-check.mc b/stdlib/mexpr/type-check.mc
@@ -934,8 +934,8 @@ lang DataTypeCheck = TypeCheck + DataAst + FunTypeAst + ResolveType
     else
       let msg = join [
         "* Invalid type of constructor: ", nameGetStr ident, "\n",
-        "* The constructor should be given a type A -> B such that B\n",
-        "  determines the constructor type.\n",
+        "* The constructor should be given type A -> B, where B\n",
+        "  is a fully applied datatype in scope.\n",
         "* When type checking the expression\n"
       ] in
       errorSingle [info] msg