BModule = ref TJSGen

PGlobals = ref object
  typeInfo, constants*, code*: Rope
  typeInfoGenerated: IntSet
  dataGenerated: IntSet
  unique: int
  requestArrayConstr: bool   ## used for deferring registration of the ``arrayConstr`` proc
  names: Table[int, string]  ## maps a symbol IDs to the symbol's JavaScript name
  procs: SeqMap[ProcedureId, string] ## the JavaScript name for each procedure
  consts: SeqMap[ConstId, Loc]
  globals: SeqMap[GlobalId, Loc]
  env*: MirEnv               ## the project-wide MIR environment
  

PProc = ref TProc

TProc = object
  prc: PSym
  fullBody*: Body            ## the procedure's full body
  defs, body: Rope
  options: TOptions
  module: BModule
  g: PGlobals
  unique: int
  blocks: seq[BlockInfo] ## enclosing exception handlers, finallys, and labeled blocks. Used
                         ## for correcting wrong control-flow paths and tracking where the
                         ## current exception needs to be restored
  numHandlers: int ## number of enclosing 'catch' clauses. The name of the
                   ## exception local is derived from this counter
  extraIndent: int
  locals: OrdinalSeq[LocalId, Loc] ## stores all relevant code generator state for the procedure's
                                   ## locals
  addrTaken: PackedSet[LocalId] ## locals that have their address taken at some point
  

NonMagics = {mAbsI, mDotDot, mParseBiggestFloat, mExit}

sfModuleInit = sfMainModule

proc defineGlobal(globals: PGlobals; m: BModule; id: GlobalId) {.
    ...raises: [KeyError, Exception, ERecoverableError],
    tags: [ReadDirEffect, RootEffect].}

proc finishProc(p: PProc): string {....raises: [KeyError, Exception,
    ERecoverableError], tags: [ReadDirEffect, RootEffect].}

proc genConstant(g: PGlobals; m: BModule; id: ConstId) {.
    ...raises: [KeyError, Exception, ERecoverableError],
    tags: [ReadDirEffect, RootEffect].}

proc genHeader(): Rope {....raises: [ValueError], tags: [].}

proc genPartial(p: PProc; n: CgNode) {....raises: [KeyError, Exception,
    ERecoverableError], tags: [ReadDirEffect, RootEffect].}

proc genProc(g: PGlobals; module: BModule; id: ProcedureId; body: sink Body): Rope {.
    ...raises: [KeyError, Exception, ERecoverableError],
    tags: [ReadDirEffect, RootEffect].}

proc genTopLevelStmt(globals: PGlobals; m: BModule; body: sink Body) {.
    ...raises: [Exception, ERecoverableError, KeyError],
    tags: [RootEffect, ReadDirEffect].}

proc newGlobals(g: ModuleGraph): PGlobals {.
    ...raises: [KeyError, Exception, ERecoverableError],
    tags: [ReadDirEffect, RootEffect].}

proc newModule(g: ModuleGraph; module: PSym): BModule {....raises: [], tags: [].}

proc startProc(g: PGlobals; module: BModule; id: ProcedureId; body: sink Body): PProc {.
    ...raises: [], tags: [].}

proc wholeCode(globals: PGlobals): Rope {....raises: [], tags: [].}

template config(p: PProc): ConfigRef

template env(p: PProc): untyped