ghc/tests/typecheck/should_fail/tcfail033.stderr

   1
   2 tcfail033.hs:4:
   3     Occurs check: cannot construct the infinite type: t = (t, t1)
   4         Expected type: (t, t1)
   5         Inferred type: t
   6     in a `list comprension' pattern binding: x