ghc/tests/typecheck/should_fail/tcfail004.stderr

   1
   2 tcfail004.hs:3:
   3     Couldn't match the type `(a12F, a12I)' against `(a12K, a12M, a12O)'
   4     Expected: (a12E, a12H)
   5     Inferred: (a12K, a12M, a12O)
   6     In a pattern binding: (f, g) = (1, 2, 3)
   7
   8
   9 Compilation had errors