diff options
Diffstat (limited to 'testsuite/tests/gadt/T3651.stderr')
| -rw-r--r-- | testsuite/tests/gadt/T3651.stderr | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testsuite/tests/gadt/T3651.stderr b/testsuite/tests/gadt/T3651.stderr index 778fe0febf..8f53dc05ef 100644 --- a/testsuite/tests/gadt/T3651.stderr +++ b/testsuite/tests/gadt/T3651.stderr @@ -1,35 +1,35 @@ 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:11:15: - Couldn't match type `Bool' with `()' + Couldn't match type ‛Bool’ with ‛()’ Expected type: a Actual type: () In the expression: () - 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:14:15: - Couldn't match type `Bool' with `()' + Couldn't match type ‛Bool’ with ‛()’ Expected type: a Actual type: () In the expression: () - 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 |