summaryrefslogtreecommitdiff
path: root/ppc.sig
diff options
context:
space:
mode:
Diffstat (limited to 'ppc.sig')
-rw-r--r--ppc.sig4
1 files changed, 3 insertions, 1 deletions
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)))