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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds [t{-ana-}] [] [([t{-ana-}], iD{-r3f,x-}, iD_an4)]
   8     iD_an4
   9         x_r3e   =   x_r3e
  10 {- nonrec -}
  11 {- nonrec -}
  12 AbsBinds [t{-anh-}] [] [([t{-anh-}], main{-r3g,x-}, main_anc)]
  13     main_anc
  14         =   iD{-r3f,x-}
  15                 (t{-anh-} -> t{-anh-}) iD{-r3f,x-}
  16                                            t{-anh-}
  17 {- nonrec -}
  18 ghc: module version changed to 1; reason: no old .hi file
  19 _interface_ ShouldSucceed 1
  20 _instance_modules_
  21 ArrBase IO PrelNum
  22 _exports_
  23 ShouldSucceed iD main;
  24 _declarations_
  25 1 iD _:_ _forall_ [a] => a -> a ;;
  26 1 main _:_ _forall_ [a] => a -> a ;;