ghc/tests/typecheck/should_fail/tcfail005.stderr

   1
   2 tcfail005.hs:3:
   3     Couldn't match the type `[a12u]' against `(a12y, a12A)'
   4     Expected: [a12u]
   5     Inferred: (a12y, a12A)
   6     In a pattern binding: (h : i) = (1, ('a'))
   7
   8
   9 Compilation had errors