diff options
Diffstat (limited to 'testsuite/tests/gadt/T3651.stderr')
-rw-r--r-- | testsuite/tests/gadt/T3651.stderr | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/testsuite/tests/gadt/T3651.stderr b/testsuite/tests/gadt/T3651.stderr index 5d5a4923b5..e9230a4538 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 ‛()’
+ Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
- a pattern with constructor U :: Z (), in an equation for ‛unsafe1’
+ a pattern with constructor U :: Z (), in an equation for ‘unsafe1’
In the pattern: U
- In an equation for ‛unsafe1’: unsafe1 B U = ()
+ In an equation for ‘unsafe1’: unsafe1 B U = ()
T3651.hs:14:11:
- Couldn't match type ‛Bool’ with ‛()’
+ Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
- a pattern with constructor U :: Z (), in an equation for ‛unsafe2’
+ a pattern with constructor U :: Z (), in an equation for ‘unsafe2’
In the pattern: U
- In an equation for ‛unsafe2’: unsafe2 B U = ()
+ In an equation for ‘unsafe2’: unsafe2 B U = ()
T3651.hs:17:11:
- Couldn't match type ‛Bool’ with ‛()’
+ Couldn't match type ‘Bool’ with ‘()’
Inaccessible code in
- a pattern with constructor U :: Z (), in an equation for ‛unsafe3’
+ a pattern with constructor U :: Z (), in an equation for ‘unsafe3’
In the pattern: U
- In an equation for ‛unsafe3’: unsafe3 B U = True
+ In an equation for ‘unsafe3’: unsafe3 B U = True
|