summaryrefslogtreecommitdiff
path: root/testsuite/tests/parser/should_fail/readFail003.stderr
blob: 2dca583aba7c930024a9f8201169586d9bdba779 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

readFail003.hs:4:27: error:
    • Occurs check: cannot construct the infinite type:
        a2 ~ (a2, [a1], [a])
    • In the expression: a
      In a pattern binding:
        ~(a, b, c)
          | nullity b = a
          | nullity c = a
          | otherwise = a
          where
              nullity = null
    • Relevant bindings include
        a :: a2 (bound at readFail003.hs:4:3)
        b :: [a1] (bound at readFail003.hs:4:5)
        c :: [a] (bound at readFail003.hs:4:7)