diff options
| author | Chimrod <> | 2023-11-03 10:19:29 +0100 |
|---|---|---|
| committer | Chimrod <> | 2023-11-03 10:19:29 +0100 |
| commit | 180529c30282d39f3506633716e3fe439db03309 (patch) | |
| tree | 4535ffa8574c2caf62ee087ca4e52d1db1e9e3d5 /lib/syntax/S.ml | |
| parent | fd02a44392304986a756e7d06f8142538b386529 (diff) | |
Extracting the report from the Location checker is now in it’s own function
Diffstat (limited to 'lib/syntax/S.ml')
| -rw-r--r-- | lib/syntax/S.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml index f7c3ebe..972e405 100644 --- a/lib/syntax/S.ml +++ b/lib/syntax/S.ml @@ -96,7 +96,8 @@ module type Location = sig type t type instruction - val location : pos -> instruction list -> t * Report.t list + val v : t -> Report.t list + val location : pos -> instruction list -> t end (** {1 Unified module used by the parser } *) |