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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds [a{-aG6-}] [d.Eq_aGl] [([a{-aG6-}], f{-r3e,x-}, f_aG3)]
   8     d.Eq_aGn =
   9         d.Eq_aGl
  10     ==_aGo =
  11         PrelBase.=={-8Y,p-}
  12             a{-aG6-}
  13             d.Eq_aGn
  14     f_aG3
  15         x_r3g   =   g_r3i x_r3g
  16                 where
  17                     {- nonrec -}
  18                     AbsBinds [] [] [([], g_r3i, g_aG8)]
  19                         g_aG8
  20                             y_r3k   =   if y_r3k ==_aGo x_r3g then
  21                                             PrelBase.[]{-5i,p-}{i}
  22                                                 a{-aG6-}
  23                                         else
  24                                             [y_r3k] (a{-aG6-})
  25                     {- nonrec -}
  26 {- nonrec -}
  27 ghc:junk old iface line?:section::interface ShouldSucceed where {
  28 ghc:junk old iface line?:section::import PreludeCore(Eq)
  29 ghc:junk old iface line?:section::f  ::  Eq a => a -> [a]
  30 ghc:junk old iface line?:section::}
  31 ghc: module version changed to 1; reason: usages changed
  32 _interface_ ShouldSucceed 1
  33 _instance_modules_
  34 ArrBase IO PrelNum
  35 _usages_
  36 PrelBase 1 :: $d15 1 $d27 1 $d32 1 $d7 1 Eq 1;
  37 PrelNum 1 :: $d18 1;
  38 _exports_
  39 ShouldSucceed f;
  40 _declarations_
  41 1 f _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] ;;