summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/T3651.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/gadt/T3651.stderr')
-rw-r--r--testsuite/tests/gadt/T3651.stderr42
1 files changed, 21 insertions, 21 deletions
diff --git a/testsuite/tests/gadt/T3651.stderr b/testsuite/tests/gadt/T3651.stderr
index db723c8d50..14216eb149 100644
--- a/testsuite/tests/gadt/T3651.stderr
+++ b/testsuite/tests/gadt/T3651.stderr
@@ -1,21 +1,21 @@
-
-T3651.hs:11:11:
- Couldn't match type ‘Bool’ with ‘()’
- Inaccessible code in
- a pattern with constructor: U :: Z (), in an equation for ‘unsafe1’
- In the pattern: U
- In an equation for ‘unsafe1’: unsafe1 B U = ()
-
-T3651.hs:14:11:
- Couldn't match type ‘Bool’ with ‘()’
- Inaccessible code in
- a pattern with constructor: U :: Z (), in an equation for ‘unsafe2’
- In the pattern: U
- In an equation for ‘unsafe2’: unsafe2 B U = ()
-
-T3651.hs:17:11:
- Couldn't match type ‘Bool’ with ‘()’
- Inaccessible code in
- a pattern with constructor: U :: Z (), in an equation for ‘unsafe3’
- In the pattern: U
- In an equation for ‘unsafe3’: unsafe3 B U = True
+
+T3651.hs:11:11: error:
+ • Couldn't match type ‘Bool’ with ‘()’
+ Inaccessible code in
+ a pattern with constructor: U :: Z (), in an equation for ‘unsafe1’
+ • In the pattern: U
+ In an equation for ‘unsafe1’: unsafe1 B U = ()
+
+T3651.hs:14:11: error:
+ • Couldn't match type ‘Bool’ with ‘()’
+ Inaccessible code in
+ a pattern with constructor: U :: Z (), in an equation for ‘unsafe2’
+ • In the pattern: U
+ In an equation for ‘unsafe2’: unsafe2 B U = ()
+
+T3651.hs:17:11: error:
+ • Couldn't match type ‘Bool’ with ‘()’
+ Inaccessible code in
+ a pattern with constructor: U :: Z (), in an equation for ‘unsafe3’
+ • In the pattern: U
+ In an equation for ‘unsafe3’: unsafe3 B U = True