tc141.stderr 1.45 KB
Newer Older
1
2

tc141.hs:11:12:
3
    You cannot bind scoped type variable ‘a’
4
5
6
7
8
9
      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:
10
11
    Couldn't match expected type ‘a1’ with actual type ‘a’
      because type variable ‘a1’ would escape its scope
12
13
14
    This (rigid, skolem) type variable is bound by
      an expression type signature: a1
      at tc141.hs:11:31-34
15
16
    In the expression: q :: a
    In the expression: (q :: a, p)
17
18
    Relevant bindings include
      p :: a (bound at tc141.hs:11:12)
Simon Peyton Jones's avatar
Simon Peyton Jones committed
19
20
21
      q :: a (bound at tc141.hs:11:17)
      x :: (a, a) (bound at tc141.hs:11:3)
      f :: (a, a) -> (t, a) (bound at tc141.hs:11:1)
22
23

tc141.hs:13:13:
24
    You cannot bind scoped type variable ‘a’
25
26
27
28
29
30
31
32
33
34
35
      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:
36
37
    Couldn't match expected type ‘a2’ with actual type ‘t’
      because type variable ‘a2’ would escape its scope
38
    This (rigid, skolem) type variable is bound by
39
      the type signature for: v :: a2
40
      at tc141.hs:14:19
41
42
    In the expression: b
    In an equation for ‘v’: v = b
43
44
    Relevant bindings include
      v :: a2 (bound at tc141.hs:15:14)
Simon Peyton Jones's avatar
Simon Peyton Jones committed
45
46
      b :: t (bound at tc141.hs:13:5)
      g :: a -> t -> a1 (bound at tc141.hs:13:1)