From e99a8dc48ede26696be2ba75a8cb0d5122d94598 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Fri, 11 Apr 2025 21:54:16 +0200 Subject: #include directive --- cpp.sig | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) (limited to 'cpp.sig') diff --git a/cpp.sig b/cpp.sig index beed8c2..e842e13 100644 --- a/cpp.sig +++ b/cpp.sig @@ -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 -- cgit v1.2.3