ghc/tests/typecheck/should_fail/tcfail004.stderr

   1
   2 tcfail004.hs:3:
   3     Couldn't match the type `(a13f, a13i)' against `(a13k, a13m, a13o)'
   4     Expected: (a13e, a13h)
   5     Inferred: (a13k, a13m, a13o)
   6     In a pattern binding: (f, g) = (1, 2, 3)
   7
   8
   9 Compilation had errors