ghc/tests/typecheck/should_fail/tcfail005.stderr

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