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

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