+++ /dev/null
-
-tcfail013.hs:4: Couldn't match the type
- `[t{-aHg-}]' against `PrelBase.Bool'
- Expected: `[t{-aHg-}] -> t{-aHi-}'
- Inferred: `PrelBase.Bool -> t{-aHl-}'
- In an equation for function `f':
- `f PrelBase.True
- = 2'
-
-
-Compilation had errors