ghc/compiler/tests/typecheck/should_succeed/tc047.stderr

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds
   8 [t{-aBv-}, t{-aBy-}]
   9 []
  10 [([t{-aBv-}, t{-aBy-}], sd{-r3y,x-}, sd_aBq)]
  11     sd_aBq
  12         (f_r3u, s_r3v)
  13                 =   s_r3v
  14 {- nonrec -}
  15 {- rec -}
  16 AbsBinds
  17 [t{-aBI-}, t{-aBK-}]
  18 []
  19 [([t{-aBI-}, t{-aBK-}], mp{-r3z,x-}, mp_aBC)]
  20     mp_aBC
  21         f_r3m PrelBase.[]{-5i,p-}{i}
  22                 =   PrelBase.[]{-5i,p-}{i}
  23                         t{-aBK-}
  24     mp_aBC
  25         f_r3p (x_r3r PrelBase.:{-55,p-}{i} xs_r3s)
  26                 =   PrelBase.:{-55,p-}{i}
  27                         t{-aBK-}
  28                         (f_r3p x_r3r) (mp_aBC f_r3p xs_r3s)
  29 {- nonrec -}
  30 {- nonrec -}
  31 AbsBinds
  32 [t{-aCo-}, t{-aCk-}, t{-aCm-}]
  33 []
  34 [([t{-aCo-}, t{-aCk-}, t{-aCm-}], f{-r3A,x-}, f_aC0)]
  35     f_aC0
  36         x_r3g   =   ranOAL_r3i
  37                         [t{-aCk-}, t{-aCm-}]
  38                 where
  39                     {- nonrec -}
  40                     AbsBinds
  41                     [t{-aCb-}, t{-aCd-}]
  42                     []
  43                     [([t{-aCb-}, t{-aCd-}], ranOAL_r3i, ranOAL_aC4)]
  44                         ranOAL_aC4
  45                             xs_r3k  =   mp{-r3z,x-}
  46                                             [(t{-aCb-}, t{-aCd-}), t{-aCd-}] sd{-r3y,x-}
  47                                                                                  [t{-aCb-}, t{-aCd-}]
  48                                                                              xs_r3k
  49                     {- nonrec -}
  50 {- nonrec -}
  51 ghc: module version changed to 1; reason: no old .hi file
  52 _interface_ ShouldSucceed 1
  53 _instance_modules_
  54 ArrBase IO PrelNum
  55 _exports_
  56 ShouldSucceed f mp sd OL;
  57 _declarations_
  58 1 type OL r3x = [r3x] ;
  59 1 f _:_ _forall_ [a b c] => a -> [(b, c)] -> [c] ;;
  60 1 mp _:_ _forall_ [a b] => (a -> b) -> [a] -> [b] ;;
  61 1 sd _:_ _forall_ [a b] => (a, b) -> b ;;