From 246df63a73a1a583284e38e61f94ed4ac0874ece Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Fri, 30 May 2025 15:49:48 +0200 Subject: Statements --- ppc.sig | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'ppc.sig') diff --git a/ppc.sig b/ppc.sig index c82c600..53d4ed2 100644 --- a/ppc.sig +++ b/ppc.sig @@ -9,9 +9,11 @@ signature PPC = sig Ctk of T.token | Cid | Cconst | + Cstrlit | Cunop | Cbinop | - Cop + Cop | + Cexpr val clerror: tkPos -> tkClass list -> 'a val error: tkPos -> ((bool * ((string -> unit) * (unit -> unit))) -- cgit v1.2.3