tc141.stderr 1.64 KB
Newer Older
 batterseapower committed May 15, 2012 1 2 3 4 5 6 7 8 9 10 11 12 13 14 `````` tc141.hs:11:12: You cannot bind scoped type variable `a' in a pattern binding signature In the pattern: p :: a In the pattern: (p :: a, q :: a) In a pattern binding: (p :: a, q :: a) = x tc141.hs:11:31: Couldn't match expected type `a1' with actual type `a' `a1' is a rigid type variable bound by an expression type signature: a1 at tc141.hs:11:31 `a' is a rigid type variable bound by the inferred type of f :: (a, a) -> (t, a) at tc141.hs:11:1 `````` Simon Peyton Jones committed Sep 21, 2012 15 16 17 18 19 `````` Relevant bindings include f :: (a, a) -> (t, a) (bound at tc141.hs:11:1) x :: (a, a) (bound at tc141.hs:11:3) q :: a (bound at tc141.hs:11:17) p :: a (bound at tc141.hs:11:12) `````` batterseapower committed May 15, 2012 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 `````` In the expression: q :: a In the expression: (q :: a, p) In the expression: let (p :: a, q :: a) = x in (q :: a, p) tc141.hs:13:13: You cannot bind scoped type variable `a' in a pattern binding signature In the pattern: y :: a In a pattern binding: y :: a = a In the expression: let y :: a = a in let v :: a v = b in v tc141.hs:15:18: Couldn't match expected type `a2' with actual type `t' `a2' is a rigid type variable bound by the type signature for v :: a2 at tc141.hs:14:19 `t' is a rigid type variable bound by the inferred type of g :: a -> t -> a1 at tc141.hs:13:1 `````` Simon Peyton Jones committed Sep 21, 2012 42 43 44 45 `````` Relevant bindings include g :: a -> t -> a1 (bound at tc141.hs:13:1) b :: t (bound at tc141.hs:13:5) v :: a2 (bound at tc141.hs:15:14) `````` batterseapower committed May 15, 2012 46 47 48 49 50 51 52 `````` In the expression: b In an equation for `v': v = b In the expression: let v :: a v = b in v``````