From 9d724f17e813fa344d485329d33b5f5ecf8197a3 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Fri, 4 Apr 2025 20:53:56 +0200 Subject: Functorization --- cpp.sig | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'cpp.sig') diff --git a/cpp.sig b/cpp.sig index 378a5d4..beed8c2 100644 --- a/cpp.sig +++ b/cpp.sig @@ -1,4 +1,6 @@ signature CPP = sig + structure T: TOKENIZER + type t type tkPos type tkExpectedValue @@ -6,7 +8,7 @@ signature CPP = sig exception TkExpected of tkExpectedValue datatype tkExp = - Tk of Tokenizer.token | + Tk of T.token | Id | NumConst | StrLiteral | @@ -15,7 +17,7 @@ signature CPP = sig Op val create: string -> t - val getToken: t -> Tokenizer.token * t + val getToken: t -> T.token * t val getLastPos: t -> tkPos val prepAndRaise: t -> tkPos -> tkExp list -> 'a -- cgit v1.2.3