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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds [t{-anb-}] [] [([t{-anb-}], f{-r3g,x-}, f_an4)]
   8     f_an4
   9         x_r3d   =   a_r3f
  10                 where
  11                     {- rec -}
  12                     AbsBinds [] [] [([], a_r3f, a_an8)]
  13                         a_an8
  14                             =   PrelBase.:{-55,p-}{i}
  15                                     t{-anb-}
  16                                     x_r3d a_an8
  17                     {- nonrec -}
  18 {- nonrec -}
  19 ghc: module version changed to 1; reason: no old .hi file
  20 _interface_ ShouldSucceed 1
  21 _instance_modules_
  22 ArrBase IO PrelNum
  23 _exports_
  24 ShouldSucceed f;
  25 _declarations_
  26 1 f _:_ _forall_ [a] => a -> [a] ;;