summaryrefslogtreecommitdiff
path: root/il.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-08-04 22:13:17 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-08-04 22:13:17 +0200
commita4c60603f61dd1a9f0ce420be9067965586dd694 (patch)
treec5f48221a8291b817d6eec0fd3f70eeb8c26a300 /il.sig
parent396ebf0c76153e5e1e9dc77371bdd02b4d3d85d1 (diff)
Object assembly
Diffstat (limited to 'il.sig')
-rw-r--r--il.sig15
1 files changed, 15 insertions, 0 deletions
diff --git a/il.sig b/il.sig
new file mode 100644
index 0000000..767c9b5
--- /dev/null
+++ b/il.sig
@@ -0,0 +1,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