summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/parser/should_fail/readFail003.stderr
blob: fe8ce005774084c8b9049373e5b5a73425decb25 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

readFail003.hs:4:27:
    Occurs check: cannot construct the infinite type:
      t0 = (t0, [a0], [a1])
    In the expression: a
    In a pattern binding:
      ~(a, b, c)
        | nullity b = a
        | nullity c = a
        | otherwise = a
        where
            nullity = null

readFail003.hs:5:27:
    Occurs check: cannot construct the infinite type:
      t0 = (t0, [a0], [a1])
    In the expression: a
    In a pattern binding:
      ~(a, b, c)
        | nullity b = a
        | nullity c = a
        | otherwise = a
        where
            nullity = null

readFail003.hs:6:27:
    Occurs check: cannot construct the infinite type:
      t0 = (t0, [a0], [a1])
    In the expression: a
    In a pattern binding:
      ~(a, b, c)
        | nullity b = a
        | nullity c = a
        | otherwise = a
        where
            nullity = null