Beginning of the preprocessor

1 files changed, 25 insertions, 0 deletions

diff --git a/cpp.sig b/cpp.sig
new file mode 100644
index 0000000..378a5d4
--- /dev/null
+++ b/cpp.sig
@@ -0,0 +1,25 @@
+signature CPP = sig
+  type t
+  type tkPos
+  type tkExpectedValue
+
+  exception TkExpected of tkExpectedValue
+
+  datatype tkExp =
+    Tk of Tokenizer.token |
+    Id |
+    NumConst |
+    StrLiteral |
+    UnOp |
+    BinOp |
+    Op
+
+  val create: string -> t
+  val getToken: t -> Tokenizer.token * t
+  val getLastPos: t -> tkPos
+
+  val prepAndRaise: t -> tkPos -> tkExp list -> 'a
+  val tkExpectedPrint: tkExpectedValue -> unit
+
+  val debugPrint: string -> unit
+end