ghc/tests/typecheck/should_fail/tcfail013.stderr

   1
   2 tcfail013.hs:4:
   3     Couldn't match `[t]' against `Bool'
   4         Expected type: [t]
   5         Inferred type: Bool
   6     In the pattern: True
   7     In an equation for function `f': f True = 2