Render \t as 8 spaces in caret diagnostics
[ghc.git] / testsuite / tests / warnings / should_fail / CaretDiagnostics1.stderr
1
2 CaretDiagnostics1.hs:(5,3)-(7,16): error:
3     • Couldn't match expected type ‘IO a1’ with actual type ‘Int’
4     • In a stmt of a 'do' block:
5         10000000000000000000000000000000000000 + 2 + (3 :: Int)
6       In the expression:
7         do 10000000000000000000000000000000000000 + 2 + (3 :: Int)
8            pure ("this is not an IO" + ())
9       In an equation for ‘main’:
10           main
11             = do 10000000000000000000000000000000000000 + 2 + (3 :: Int)
12                  pure ("this is not an IO" + ())
13             where
14                 _ = case id of { "γηξ" -> () '0' }
15   |
16 5 |   10000000000000000000000000000000000000 +
17   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
18
19 CaretDiagnostics1.hs:8:3-45: error:
20     • Couldn't match type ‘[Char]’ with ‘()’
21       Expected type: IO ()
22         Actual type: IO [Char]
23     • In a stmt of a 'do' block: pure ("this is not an IO" + ())
24       In the expression:
25         do 10000000000000000000000000000000000000 + 2 + (3 :: Int)
26            pure ("this is not an IO" + ())
27       In an equation for ‘main’:
28           main
29             = do 10000000000000000000000000000000000000 + 2 + (3 :: Int)
30                  pure ("this is not an IO" + ())
31             where
32                 _ = case id of { "γηξ" -> () '0' }
33   |
34 8 |   pure ("this is not an IO" + (            ))
35   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
36
37 CaretDiagnostics1.hs:8:31-44: error:
38     • Couldn't match expected type ‘[Char]’ with actual type ‘()’
39     • In the second argument of ‘(+)’, namely ‘()’
40       In the first argument of ‘pure’, namely
41         ‘("this is not an IO" + ())’
42       In a stmt of a 'do' block: pure ("this is not an IO" + ())
43   |
44 8 |   pure ("this is not an IO" + (            ))
45   |                               ^^^^^^^^^^^^^^
46
47 CaretDiagnostics1.hs:13:7-11: error:
48     • Couldn't match expected type ‘a0 -> a0’ with actual type ‘[Char]’
49     • In the pattern: "γηξ"
50       In a case alternative: "γηξ" -> () '0'
51       In the expression: case id of { "γηξ" -> () '0' }
52    |
53 13 |       "γηξ" -> (
54    |       ^^^^^
55
56 CaretDiagnostics1.hs:(13,16)-(14,13): error:
57     • Couldn't match expected type ‘Char -> p0’ with actual type ‘()’
58     • The function ‘()’ is applied to one argument,
59       but its type ‘()’ has none
60       In the expression: () '0'
61       In a case alternative: "γηξ" -> () '0'
62    |
63 13 |       "γηξ" -> (
64    |                ^...
65
66 CaretDiagnostics1.hs:17:7-8: error:
67     • Couldn't match expected type ‘Int’ with actual type ‘()’
68     • In the expression: ()
69       In an equation for ‘fóo’: fóo = ()
70    |
71 17 | fóo = ()
72    |       ^^
73
74 CaretDiagnostics1.hs:20:17-18: error:
75     • Couldn't match expected type ‘Int’ with actual type ‘()’
76     • In the expression: ()
77       In an equation for ‘tabby’: tabby = ()
78    |
79 20 | tabby =         ()
80    |                 ^^