summaryrefslogtreecommitdiff
path: root/parser.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-08-08 23:51:31 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-08-08 23:51:31 +0200
commitffee5da4dab26c8500add63da540ee252545370f (patch)
tree0306ad055672bb684687e342b318745df1e057ce /parser.sig
parenta417225089fd78d53d73ad63cd79f57d1a4a8ff1 (diff)
Variadic function declarations and calls
Diffstat (limited to 'parser.sig')
-rw-r--r--parser.sig3
1 files changed, 2 insertions, 1 deletions
diff --git a/parser.sig b/parser.sig
index f536e41..6040800 100644
--- a/parser.sig
+++ b/parser.sig
@@ -22,7 +22,7 @@ signature PARSER = sig
ulonglong_t |
pointer_t of int * ctype |
- function_t of ctype * ctype list |
+ function_t of ctype * ctype list * bool |
array_t of Word64.word * ctype |
struct_t of
{ name: nid, size: word, alignment: word,
@@ -155,6 +155,7 @@ signature PARSER = sig
val isSigned: ctype -> bool
val isPointer: ctype -> bool
val pointsTo: ctype -> ctype
+ val isArray: ctype -> bool
val typeRank: ctype -> int
val resolveType: ctype -> ctype