tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail099.stderr
1
2 tcfail099.hs:9:20: error:
3     • Couldn't match expected type ‘a’ with actual type ‘p’
4         because type variable ‘a’ would escape its scope
5       This (rigid, skolem) type variable is bound by
6         a pattern with constructor: C :: forall a. (a -> Int) -> DS,
7         in an equation for ‘call’
8         at tcfail099.hs:9:7-9
9     • In the first argument of ‘f’, namely ‘arg’
10       In the expression: f arg
11       In an equation for ‘call’: call (C f) arg = f arg
12     • Relevant bindings include
13         arg :: p (bound at tcfail099.hs:9:12)
14         f :: a -> Int (bound at tcfail099.hs:9:9)
15         call :: DS -> p -> Int (bound at tcfail099.hs:9:1)