blob: 28054f1f92495c2d275c71f0d695906b5e5c56c3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T7368a.hs:8:6: error: [GHC-18872]
• Couldn't match kind ‘* -> *’ with ‘*’
When matching types
f :: * -> *
Bad :: (* -> *) -> *
Expected: f (Bad f)
Actual: Bad w0
• In the pattern: Bad x
In an equation for ‘fun’: fun (Bad x) = True
• Relevant bindings include
fun :: f (Bad f) -> Bool (bound at T7368a.hs:8:1)
|
