diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-04 20:53:56 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-04 20:53:56 +0200 |
| commit | 9d724f17e813fa344d485329d33b5f5ecf8197a3 (patch) | |
| tree | 5061e604ea88a379db975b13c1d20688007cacc8 /cpp.sig | |
| parent | 7b29b31648fd737e7bbc007f480b799add91bc6b (diff) | |
Functorization
Diffstat (limited to 'cpp.sig')
| -rw-r--r-- | cpp.sig | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -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 |