ghc/tests/typecheck/should_fail/tcfail012.stderr

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