ghc/tests/typecheck/should_fail/tcfail069.stderr

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