ghc/compiler/tests/typecheck/should_fail/tcfail033.stderr

   1
   2 tcfail033.hs:4: Cannot construct the infinite type (occur check)
   3                     `t{-aKn-}' = `(t{-aKn-}, t{-aKq-})'
   4     Expected: `a{-aKs-} (t{-aKn-}, t{-aKq-})'
   5     Inferred: `a{-aKs-} t{-aKn-}'
   6     In a pattern binding:
   7         `buglet'
   8             =   `[ x |
   9                      (x, y) <- buglet ]'
  10
  11
  12 Compilation had errors