From 183a4420d2f2a985dd26d76e63c2cdcaafedc5ad Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Sun, 18 May 2025 12:07:58 +0200 Subject: Conditional inclusion --- ppc.sig | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'ppc.sig') diff --git a/ppc.sig b/ppc.sig index 32f9256..ba61742 100644 --- a/ppc.sig +++ b/ppc.sig @@ -22,8 +22,9 @@ signature PPC = sig val create: { fname: string, incDirs: string list, debugMode: bool } -> t val debugPrint: string -> string list -> unit + val getClass: t -> tkClass list -> T.token * tkPos * t - val raiseTkError: string -> tkPos -> 'a + val raiseTkError: tkPos -> string -> 'a val tkErrorPrint: tkErrorVal -> unit val raiseTkClassError: tkPos -> tkClass list -> 'a -- cgit v1.2.3