-
-tcfail013.hs:4:
- Couldn't match the type `[aG8]' against `Bool'
- Expected: Bool
- Inferred: [aG8]
- In an equation for function `f': f True = 2
-
-Compilation had errors
+tcfail013.hs:4:
+ Couldn't match `[t]' against `Bool'
+ Expected type: [t]
+ Inferred type: Bool
+ In the pattern: True
+ In an equation for function `f': f True = 2