From 5a18a66763bcc19de117cb83293d7bd25a0ea10c Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Tue, 3 Oct 2023 18:19:15 +0200 Subject: Switched the keyword from string to a sum type --- lib/syntax/S.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/syntax/S.ml') 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 -- cgit v1.2.3