ghc/tests/typecheck/should_fail/tcfail012.stderr

   1
   2 tcfail012.hs:3:
   3     Couldn't match `Bool' against `[t]'
   4         Expected type: Bool
   5         Inferred type: [t]
   6     In the right-hand side of a pattern binding: []