summaryrefslogtreecommitdiff
path: root/parser.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-08-11 16:23:42 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-08-11 16:23:42 +0200
commit47ce22ee86ad9fb329585e7d9ae2052772248c95 (patch)
treedb983bdf1f48338f87603249db4b93fa5d846653 /parser.sig
parent69cf1be454c7caae026107e645c5343365b1be19 (diff)
IrJmpc
Diffstat (limited to 'parser.sig')
-rw-r--r--parser.sig4
1 files changed, 3 insertions, 1 deletions
diff --git a/parser.sig b/parser.sig
index 0577d36..0406052 100644
--- a/parser.sig
+++ b/parser.sig
@@ -90,7 +90,7 @@ signature PARSER = sig
| Nfloat of Real32.real
| Ndouble of Real64.real
- and id = Lid of int | Gid of int * bool
+ and id = Lid of int | Gid of int
and expr =
Eid of int * id option |
@@ -152,10 +152,12 @@ signature PARSER = sig
val alignOfType: ctype -> word
val sizeOfType: ctype -> word
+ val isFunc: ctype -> bool
val isSigned: ctype -> bool
val isPointer: ctype -> bool
val pointsTo: ctype -> ctype
val isArray: ctype -> bool
+ val elementType: ctype -> ctype
val typeRank: ctype -> int
val resolveType: ctype -> ctype