ghc/compiler/tests/typecheck/should_fail/tcfail069.stderr

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