ghc/tests/typecheck/should_fail/tcfail033.stderr

   1
   2 tcfail033.hs:4: Cannot construct the infinite type (occur check)
   3                     `taIc' = `(taIc, taIf)'
   4     Expected: `aaIh taIc'
   5     Inferred: `aaIh (taIc, taIf)'
   6     In a pattern binding: `buglet = [x | (x, y) <- buglet]'
   7
   8 Compilation had errors