diff options
| author | Chimrod <> | 2023-10-03 18:19:15 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-15 19:04:36 +0200 |
| commit | 5a18a66763bcc19de117cb83293d7bd25a0ea10c (patch) | |
| tree | 1627ae50da1a87e5952b5fab21b7290b0555041e /lib/syntax/S.ml | |
| parent | 49f69c1ab4d3d8716f30d7bd36a66a4241e16d33 (diff) | |
Switched the keyword from string to a sum type
Diffstat (limited to 'lib/syntax/S.ml')
| -rw-r--r-- | lib/syntax/S.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml index 3873eed..63fcd08 100644 --- a/lib/syntax/S.ml +++ b/lib/syntax/S.ml @@ -53,7 +53,7 @@ module type Instruction = sig type expression type variable - val call : pos -> string -> expression list -> repr + val call : pos -> T.keywords -> expression list -> repr (** Call for an instruction like [GT] or [*CLR] *) val location : pos -> string -> repr |