diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-06-23 01:00:49 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-06-23 01:00:49 +0200 |
| commit | 403a326aea9a3931e433f581448578144ec5014f (patch) | |
| tree | 1501adbf7627f4e78f90d0b51f0cf16bd47b50b5 /tokenizer.sig | |
| parent | 9ccb3fce8e390f09fa5b812a77f7a65c10c5e4b1 (diff) | |
Unop type assignment
Diffstat (limited to 'tokenizer.sig')
| -rw-r--r-- | tokenizer.sig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tokenizer.sig b/tokenizer.sig index 5243642..958619a 100644 --- a/tokenizer.sig +++ b/tokenizer.sig @@ -11,7 +11,7 @@ signature TOKENIZER = sig Id of int | CharConst of int * Word64.word | Num of int | - Strlit of int | + Strlit of int * int | kwBreak | kwCase | |