blob: 60dcb3e1215a809eea0ed003c31f6307b956642a (
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
|
T18127a.hs:5:5: error:
• Couldn't match expected type ‘(forall a. a) -> ()’
with actual type ‘a1’
Cannot instantiate unification variable ‘a1’
with a type involving polytypes: (forall a. a) -> ()
• In the expression: undefined
In an equation for ‘a’: a = undefined
T18127a.hs:8:5: error:
• Couldn't match expected type ‘(Show a => a) -> ()’
with actual type ‘a3’
Cannot instantiate unification variable ‘a3’
with a type involving polytypes: (Show a => a) -> ()
• In the expression: undefined
In an equation for ‘b’: b = undefined
• Relevant bindings include
b :: (Show a => a) -> () (bound at T18127a.hs:8:1)
T18127a.hs:12:5: error:
• Couldn't match expected type ‘C -> ()’ with actual type ‘a0’
Cannot instantiate unification variable ‘a0’
with a type involving polytypes: C -> ()
• In the expression: undefined
In an equation for ‘c’: c = undefined
T18127a.hs:16:5: error:
• Couldn't match expected type ‘D a -> ()’ with actual type ‘a2’
Cannot instantiate unification variable ‘a2’
with a type involving polytypes: D a -> ()
• In the expression: undefined
In an equation for ‘d’: d = undefined
• Relevant bindings include
d :: D a -> () (bound at T18127a.hs:16:1)
|