From 1f31e550385cfa64a36167a5f3f9ec780baaad86 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Wed, 14 May 2025 17:16:25 +0200 Subject: Proper ppc.tkPos --- ppc.sig | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'ppc.sig') diff --git a/ppc.sig b/ppc.sig index 10b90d4..d32061b 100644 --- a/ppc.sig +++ b/ppc.sig @@ -4,20 +4,20 @@ signature PPC = sig type t type tkErrorVal - type tkErrorExpVal + type tkClassErrorVal type tkPos exception TkError of tkErrorVal - exception TkErrorExp of tkErrorExpVal + exception TkClassError of tkClassErrorVal - datatype expTk = - ExpTk of T.token | - ExpId | - ExpConst | - ExpUnop | - ExpBinop | - ExpOp + datatype tkClass = + Ctk of T.token | + Cid | + Cconst | + Cunop | + Cbinop | + Cop val create: { fname: string, incDirs: string list } -> t val debugPrint: string -> string list -> unit @@ -26,6 +26,6 @@ signature PPC = sig val raiseTkError: string -> tkPos -> 'a val tkErrorPrint: tkErrorVal -> unit - val raiseTkErrorExp: tkPos -> expTk list -> 'a - val tkErrorExpPrint: tkErrorExpVal -> unit + val raiseTkClassError: tkPos -> tkClass list -> 'a + val tkClassErrorPrint: tkClassErrorVal -> unit end -- cgit v1.2.3