Improve type error for recursive types slightly

5 files changed, 5 insertions, 5 deletions

diff --git a/test/typecheck/fail/struct_rec.expect b/test/typecheck/fail/struct_rec.expect
index 6daa067d..2b5b1852 100644
--- a/test/typecheck/fail/struct_rec.expect
+++ b/test/typecheck/fail/struct_rec.expect
@@ -9,5 +9,5 @@ Type error:
   |   |^-----------
   | 4 |}
   |   |^
-  |   | Recursive types are not allowed
+  |   | Types are not well-formed within this type definition. Note that recursive types are forbidden.
   | 
diff --git a/test/typecheck/fail/synonym_rec.expect b/test/typecheck/fail/synonym_rec.expect
index 5d205606..3d482f40 100644
--- a/test/typecheck/fail/synonym_rec.expect
+++ b/test/typecheck/fail/synonym_rec.expect
@@ -7,5 +7,5 @@ Type error:
   | [synonym_rec.sail]:2:0-10
   | 2 |type T = T
   |   |^--------^
-  |   | Recursive types are not allowed
+  |   | Types are not well-formed within this type definition. Note that recursive types are forbidden.
   | 
diff --git a/test/typecheck/fail/union_rec.expect b/test/typecheck/fail/union_rec.expect
index 2d50cea6..7fd07169 100644
--- a/test/typecheck/fail/union_rec.expect
+++ b/test/typecheck/fail/union_rec.expect
@@ -9,5 +9,5 @@ Type error:
   |   |^----------
   | 4 |}
   |   |^
-  |   | Recursive types are not allowed
+  |   | Types are not well-formed within this type definition. Note that recursive types are forbidden.
   | 
diff --git a/test/typecheck/fail/union_recf.expect b/test/typecheck/fail/union_recf.expect
index b07910ba..ec610ae6 100644
--- a/test/typecheck/fail/union_recf.expect
+++ b/test/typecheck/fail/union_recf.expect
@@ -9,5 +9,5 @@ Type error:
   |   |^----------
   | 4 |}
   |   |^
-  |   | Recursive types are not allowed
+  |   | Types are not well-formed within this type definition. Note that recursive types are forbidden.
   | 
diff --git a/test/typecheck/pass/constrained_struct/v1.expect b/test/typecheck/pass/constrained_struct/v1.expect
index bf498a36..0b0dda29 100644
--- a/test/typecheck/pass/constrained_struct/v1.expect
+++ b/test/typecheck/pass/constrained_struct/v1.expect
@@ -7,5 +7,5 @@ Type error:
    | [constrained_struct/v1.sail]:10:0-30
    | 10 |type MyStruct64 = MyStruct(65)
    |    |^----------------------------^
-   |    | Recursive types are not allowed
+   |    | Types are not well-formed within this type definition. Note that recursive types are forbidden.
    |