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