summaryrefslogtreecommitdiff
path: root/parser.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-08-10 02:03:50 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-08-10 02:03:50 +0200
commit9edb2b8dbd99636cf2d98d3253a0316f74720894 (patch)
tree2618d33ef9b846fdd4340f8aacb41c9e8dea0a34 /parser.sig
parent89cbdbe9e4cb6f142154292cac462e2d130d912a (diff)
Instruction selection for multiplication and division
Diffstat (limited to 'parser.sig')
-rw-r--r--parser.sig1
1 files changed, 1 insertions, 0 deletions
diff --git a/parser.sig b/parser.sig
index 6040800..38e1877 100644
--- a/parser.sig
+++ b/parser.sig
@@ -169,6 +169,7 @@ signature PARSER = sig
val getT: exprAug -> ctype
val funcParts: ctype -> ctype * ctype list
+ val Pctype: (ctype, 'a, 'b, 'c) a1printer
val getFieldInfo: ctype -> nid -> (word * ctype) option
val finalize: ctx -> ctx