ghc/tests/typecheck/should_fail/tcfail013.stderr

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