ghc/tests/typecheck/should_fail/tcfail069.stderr

   1
   2 tcfail069.hs:21: Couldn't match the type `(,) taAi' against `[]'
   3     Expected: `[taAm]'
   4     Inferred: `([Int], [Int])'
   5     In a "case" branch: `[]' -> `error "foo"'
   6     In the case expression `case (list1, (list2)) of [] -> error "foo"'
   7     In an equation for function `too_much':
   8         `too_much ds ((k, m) : q1) s0
   9                   = case (list1, (list2)) of [] -> error "foo"
  10                   where
  11                       list2 = ds
  12                       list1 = ds'
  13
  14 Compilation had errors