summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T11514.stderr
blob: ed05b81e3eb728972eedf49a1976f5336109d427 (plain)
1
2
3
4
5
6
7
8
9
10

T11514.hs:6:7: error: [GHC-91028]
    • 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)