ghc/tests/typecheck/should_fail/tcfail033.stderr

   1
   2 tcfail033.hs:4:
   3     Occurs check: cannot construct the infinite type: aM8 = (aM8, aMb)
   4     Expected: aMc (aM8, aMb)
   5     Inferred: aMc aM8
   6     In a pattern binding: buglet = [x | (x, y) <- buglet]
   7
   8
   9 Compilation had errors