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

   1
   2 tcfail012.hs:3: Couldn't match the type
   3                     `PrelBase.Bool' against `[t{-amB-}]'
   4     Expected: `PrelBase.Bool'
   5     Inferred: `[t{-amB-}]'
   6     In a pattern binding:
   7         `PrelBase.True'
   8             =   `PrelBase.[]'
   9
  10
  11 Compilation had errors