Object-like macros

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