blob: dd940a36b179a86422dbdfbf6d18c76ec481d5e4 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T11514.hs:6:7: error:
• Couldn't match expected type ‘(Show a => a -> a) -> ()’
with actual type ‘a0’
Cannot instantiate unification variable ‘a0’
with a type involving polytypes: (Show a => a -> a) -> ()
• In the expression: undefined
In an equation for ‘foo’: foo = undefined
• Relevant bindings include
foo :: (Show a => a -> a) -> () (bound at T11514.hs:6:1)
|