From d474f256c7dfde3af9ef089ad9de5b7ff01f2d9f Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 5 Nov 2019 18:55:59 +0000
Subject: Improve type error for recursive types slightly

---
 test/typecheck/fail/struct_rec.expect            | 2 +-
 test/typecheck/fail/synonym_rec.expect           | 2 +-
 test/typecheck/fail/union_rec.expect             | 2 +-
 test/typecheck/fail/union_recf.expect            | 2 +-
 test/typecheck/pass/constrained_struct/v1.expect | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'test')

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.
    | 
-- 
cgit v1.2.3