diff options
Diffstat (limited to 'cpp.sig')
-rw-r--r-- | cpp.sig | 25 |
1 files changed, 25 insertions, 0 deletions
@@ -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 |