+++ /dev/null
-
-tcfail033.hs:4: Cannot construct the infinite type (occur check)
- `t{-aKn-}' = `(t{-aKn-}, t{-aKq-})'
- Expected: `a{-aKs-} (t{-aKn-}, t{-aKq-})'
- Inferred: `a{-aKs-} t{-aKn-}'
- In a pattern binding:
- `buglet'
- = `[ x |
- (x, y) <- buglet ]'
-
-
-Compilation had errors