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.stderr18
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