summaryrefslogtreecommitdiff
path: root/ppc.sig
diff options
context:
space:
mode:
Diffstat (limited to 'ppc.sig')
-rw-r--r--ppc.sig31
1 files changed, 31 insertions, 0 deletions
diff --git a/ppc.sig b/ppc.sig
new file mode 100644
index 0000000..10b90d4
--- /dev/null
+++ b/ppc.sig
@@ -0,0 +1,31 @@
+signature PPC = sig
+
+ structure T: TOKENIZER
+
+ type t
+ type tkErrorVal
+ type tkErrorExpVal
+ type tkPos
+
+ exception TkError of tkErrorVal
+ exception TkErrorExp of tkErrorExpVal
+
+ datatype expTk =
+ ExpTk of T.token |
+ ExpId |
+ ExpConst |
+ ExpUnop |
+ ExpBinop |
+ ExpOp
+
+
+ val create: { fname: string, incDirs: string list } -> t
+ val debugPrint: string -> string list -> unit
+
+
+ val raiseTkError: string -> tkPos -> 'a
+ val tkErrorPrint: tkErrorVal -> unit
+
+ val raiseTkErrorExp: tkPos -> expTk list -> 'a
+ val tkErrorExpPrint: tkErrorExpVal -> unit
+end