1 files changed, 36 insertions, 0 deletions
diff --git a/testsuite/tests/parser/should_fail/readFail003.stderr b/testsuite/tests/parser/should_fail/readFail003.stderr
new file mode 100644
index 0000000000..fe8ce00577
--- /dev/null
+++ b/testsuite/tests/parser/should_fail/readFail003.stderr
@@ -0,0 +1,36 @@
+
+readFail003.hs:4:27:
+    Occurs check: cannot construct the infinite type:
+      t0 = (t0, [a0], [a1])
+    In the expression: a
+    In a pattern binding:
+      ~(a, b, c)
+        | nullity b = a
+        | nullity c = a
+        | otherwise = a
+        where
+            nullity = null
+
+readFail003.hs:5:27:
+    Occurs check: cannot construct the infinite type:
+      t0 = (t0, [a0], [a1])
+    In the expression: a
+    In a pattern binding:
+      ~(a, b, c)
+        | nullity b = a
+        | nullity c = a
+        | otherwise = a
+        where
+            nullity = null
+
+readFail003.hs:6:27:
+    Occurs check: cannot construct the infinite type:
+      t0 = (t0, [a0], [a1])
+    In the expression: a
+    In a pattern binding:
+      ~(a, b, c)
+        | nullity b = a
+        | nullity c = a
+        | otherwise = a
+        where
+            nullity = null