-"tcfail013.hs", line 3:
- Couldn't match type "[tt2]" against "Bool".
- Inside two equations or case alternatives:
- ... [] -> 1
- ... True -> 2
-Fail: Compilation errors found
+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'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors