summaryrefslogtreecommitdiff
path: root/il.sig
blob: 767c9b572ca546491bfe5bf3583941d3fc1ea904 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
signature IL = sig

  structure P: PARSER

  datatype ctx = Ctx of {
    objs: P.objDef list,
    objsZI: P.objDef list,
    extSyms: P.nid list,
    globSyms: P.nid list,
    funcs: P.funcInfo list,
    strlits: int list
  }

  val createCtx: P.progInfo -> ctx
end