ghc/tests/typecheck/should_fail/tcfail013.stderr

   1
   2 tcfail013.hs:4: Couldn't match the type
   3                     `[taBB]' against `PrelBase.Bool'
   4     Expected: `[taBB] -> taBD'
   5     Inferred: `PrelBase.Bool -> taBG'
   6     In an equation for function `f': `f PrelBase.True = 2'
   7
   8
   9 Compilation had errors