ghc/tests/typecheck/should_fail/tcfail005.stderr

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