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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 `d.Ord' =
   6     `PrelBase.$d6'
   7 `<=' =
   8     `PrelBase.<='
   9         `PrelBase.Int'
  10         `d.Ord'
  11 `d.Num' =
  12     `PrelBase.$d3'
  13 `fromInt' =
  14     `PrelBase.fromInt'
  15         `PrelBase.Int'
  16         `d.Num'
  17 `lit' =
  18     `fromInt'
  19         `PrelBase.I#'
  20             1#
  21 `d.Integral' =
  22     `PrelNum.$d36'
  23 `div' =
  24     `PrelNum.div'
  25         `PrelBase.Int'
  26         `d.Integral'
  27 `fromInt' =
  28     `fromInt'
  29 `lit' =
  30     `fromInt'
  31         `PrelBase.I#'
  32             2#
  33 AbsBinds
  34 [`a{-a121-}']
  35 []
  36 [([`a{-a121-}'], `init_last', `init_last')]
  37     `init_last'
  38         `a' `b' =   `(a, a)'
  39 AbsBinds
  40 [`a{-a12a-}']
  41 [`d.Ord']
  42 [([`a{-a12a-}'], `merge', `merge')]
  43     `merge'
  44         `xs' `ys'
  45                 =   `xs'
  46 AbsBinds [`a{-a12l-}'] [`d.Ord'] [([`a{-a12l-}'], `sort', `sort')]
  47     `d.Ord' =
  48         `d.Ord'
  49     `sort'
  50         `xs'    =   `s   xs
  51                          PrelList.length
  52                              a{-a12l-}
  53                              xs'
  54                 where
  55                     AbsBinds [`b{-a12s-}'] [`d.Ord'] [([`b{-a12s-}'], `s', `s')]
  56                         `d.Ord' =
  57                             `d.Ord'
  58                         `merge' =
  59                             `merge'
  60                                 `b{-a12s-}'
  61                                 `d.Ord'
  62                         `d.Ord' =
  63                             `d.Ord'
  64                         `sort' =
  65                             `sort'
  66                                 `b{-a12s-}'
  67                                 `d.Ord'
  68                         `sort' =
  69                             `sort'
  70                         `s' `xs' `k'
  71                                     =   `if k <= lit then
  72                                              xs
  73                                          else
  74                                              merge
  75                                                  sort
  76                                                      ys
  77                                                  sort
  78                                                      zs'
  79                                     where
  80                                         AbsBinds [] [] [([], `ys', `ys'), ([], `zs', `zs')]
  81                                             (`ys', `zs')
  82                                                 =   `init_last
  83                                                          b{-a12s-}
  84                                                          xs k div lit'
  85                     `s' =
  86                         `s' `a{-a12l-}'
  87                             `d.Ord'