blob: b6611936556188e900ccb15c1e4092782ad67058 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T3330c.hs:25:43: error:
• Couldn't match kind ‘*’ with ‘* -> *’
When matching types
f1 :: * -> *
f1 x :: *
Expected: Der ((->) x) (Der f1 x)
Actual: R f1
• In the first argument of ‘plug’, namely ‘rf’
In the first argument of ‘Inl’, namely ‘(plug rf df x)’
In the expression: Inl (plug rf df x)
• Relevant bindings include
x :: x (bound at T3330c.hs:25:29)
df :: Der f1 x (bound at T3330c.hs:25:25)
rf :: R f1 (bound at T3330c.hs:25:13)
plug' :: R f -> Der f x -> x -> f x (bound at T3330c.hs:25:1)
|
