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
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)
20
21
22
23
    In the expression: q :: a
    In the expression: (q :: a, p)

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
39
40
    This (rigid, skolem) type variable is bound by
      the type signature for v :: a2
      at tc141.hs:14:19
41
42
43
44
    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)
45
    In the expression: b
46
    In an equation for ‛v’: v = b