blob: 7b1f5bc0e0af07351d114f453685df8e2558de62 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
tcfail099.hs:9:20:
Couldn't match expected type ‘a’ with actual type ‘t’
because type variable ‘a’ would escape its scope
This (rigid, skolem) type variable is bound by
a pattern with constructor
C :: forall a. (a -> Int) -> DS,
in an equation for ‘call’
at tcfail099.hs:9:7-9
Relevant bindings include
arg :: t (bound at tcfail099.hs:9:12)
f :: a -> Int (bound at tcfail099.hs:9:9)
call :: DS -> t -> Int (bound at tcfail099.hs:9:1)
In the first argument of ‘f’, namely ‘arg’
In the expression: f arg
|