diff options
Diffstat (limited to 'testsuite/tests/gadt/T3651.stderr')
-rw-r--r-- | testsuite/tests/gadt/T3651.stderr | 42 |
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 |