From 52a6f8656e8a600a2c59fa2802fb46fafb30de45 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Mon, 12 May 2025 01:51:27 +0200 Subject: Object-like macros --- ppc.sig | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 ppc.sig (limited to 'ppc.sig') diff --git a/ppc.sig b/ppc.sig new file mode 100644 index 0000000..10b90d4 --- /dev/null +++ b/ppc.sig @@ -0,0 +1,31 @@ +signature PPC = sig + + structure T: TOKENIZER + + type t + type tkErrorVal + type tkErrorExpVal + type tkPos + + exception TkError of tkErrorVal + exception TkErrorExp of tkErrorExpVal + + datatype expTk = + ExpTk of T.token | + ExpId | + ExpConst | + ExpUnop | + ExpBinop | + ExpOp + + + val create: { fname: string, incDirs: string list } -> t + val debugPrint: string -> string list -> unit + + + val raiseTkError: string -> tkPos -> 'a + val tkErrorPrint: tkErrorVal -> unit + + val raiseTkErrorExp: tkPos -> expTk list -> 'a + val tkErrorExpPrint: tkErrorExpVal -> unit +end -- cgit v1.2.3