blob: a0f8d7e36c7595910c9a7691ccce29478c21e35c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T11672.hs:9:10: error:
• Couldn't match kind ‘*’ with ‘Symbol’
When matching types
a0 :: Symbol
Int -> Bool :: *
Expected: Proxy a0
Actual: Proxy (Int -> Bool)
• In the first argument of ‘f’, namely
‘(Proxy :: Proxy (Int -> Bool))’
In the expression: f (Proxy :: Proxy (Int -> Bool))
In an equation for ‘f’: f _ = f (Proxy :: Proxy (Int -> Bool))
|
