ghc/compiler/tests/typecheck/should_fail/tcfail013.stderr

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