From 812582fe8c40f1f245d25f2adf75d75697876256 Mon Sep 17 00:00:00 2001
From: Lars Hummelgren <larshum@kth.se>
Date: Fri, 8 Sep 2023 13:45:15 +0200
Subject: [PATCH] Improve error message

---
 stdlib/mexpr/type-check.mc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/stdlib/mexpr/type-check.mc b/stdlib/mexpr/type-check.mc
index b8ada456f..844d159a6 100644
--- 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