diff options
Diffstat (limited to 'cpp.sig')
| -rw-r--r-- | cpp.sig | 15 |
1 files changed, 9 insertions, 6 deletions
@@ -3,9 +3,12 @@ signature CPP = sig type t type tkPos - type tkExpectedValue - exception TkExpected of tkExpectedValue + type tkExpectedVal + exception TkExpected of tkExpectedVal + + type tkErrorVal + exception TkError of tkErrorVal datatype tkExp = Tk of T.token | @@ -16,12 +19,12 @@ signature CPP = sig BinOp | Op - val create: string -> t + val create: string -> string list -> t val getToken: t -> T.token * t val getLastPos: t -> tkPos - val prepAndRaise: t -> tkPos -> tkExp list -> 'a - val tkExpectedPrint: tkExpectedValue -> unit + val tkExpectedPrint: tkExpectedVal -> unit + val tkErrorPrint: tkErrorVal -> unit - val debugPrint: string -> unit + val debugPrint: t -> unit end |