summaryrefslogtreecommitdiff
path: root/parser.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-08-07 01:14:26 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-08-07 01:14:26 +0200
commit0c40c8d8844bbb71999c7b5bd0bee24d24a972e0 (patch)
treeac1d65e602f7f8ebc244303bc1200d4afe0ea0f0 /parser.sig
parent3a3220a049b9fef67ca0f85542654ab0a9de0914 (diff)
Constant propagation
Diffstat (limited to 'parser.sig')
-rw-r--r--parser.sig4
1 files changed, 4 insertions, 0 deletions
diff --git a/parser.sig b/parser.sig
index 2dea29f..17dbeaa 100644
--- a/parser.sig
+++ b/parser.sig
@@ -161,7 +161,11 @@ signature PARSER = sig
val getLayoutSize: int -> word
+ val extz: word -> word -> word
+ val exts: word -> word -> word
+
val getT: exprAug -> ctype
+ val funcParts: ctype -> ctype * ctype list
val getFieldInfo: ctype -> nid -> (word * ctype) option