Hello,

I added an STG exporter to my modified GHC to do experiments with the STG representation of the program.

I noticed that there are multiple top-level binders for Main.main function.

Is this a convention or a bug?

Regards,

Csaba Hruska

Here is an example code snippet of the exported STG of the Main module:

Main.main2 =
  closure (F:) (B:) {
  case Main.$wupto 1# 10000000#
  of sat.s16537 {
    DEFAULT ->
      case Main.$wxsum 0# sat.s16537
      of ww.s16538 {
        DEFAULT ->
          case GHC.Show.$wshowSignedInt
                 0# ww.s16538 GHC.Types.[]
          of ww4.s16539 {
            GHC.Prim.(#,#) ww5.s16540 ww6.s16541 ->
              GHC.Types.:
                ww5.s16540 ww6.s16541
          }
      }
  }}

Main.main1 =
  closure (F:) (B: void.040) {
  GHC.IO.Handle.Text.hPutStr2
    GHC.IO.Handle.FD.stdout
    Main.main2
    GHC.Types.True
    GHC.Prim.void#}

Main.main =
  closure (F:) (B: void.040) {
  Main.main1 GHC.Prim.void#}

Main.main3 =
  closure (F:) (B: void.040) {
  GHC.TopHandler.runMainIO1
    Main.main1 GHC.Prim.void#}

Main.main =
  closure (F:) (B: void.040) {
  Main.main3 GHC.Prim.void#}