diff options
| author | Chimrod <> | 2024-02-04 10:37:04 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-02-08 14:12:45 +0100 |
| commit | 6fd720c07e3e361932e01bfbdbe4637c8f610649 (patch) | |
| tree | 26f983295d8674a08fc9367aaac820c0ace675bc /lib/syntax/check.mli | |
| parent | 35ef1827a216a1deb6d15f916ff197b0c75bc83e (diff) | |
Added a general context for each test
Diffstat (limited to 'lib/syntax/check.mli')
| -rw-r--r-- | lib/syntax/check.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/syntax/check.mli b/lib/syntax/check.mli index daacf47..25075c8 100644 --- a/lib/syntax/check.mli +++ b/lib/syntax/check.mli @@ -28,7 +28,8 @@ val build : and type Expression.t' = _ and type Instruction.t = _ and type Instruction.t' = _ - and type Location.t = 'a) -> + and type Location.t = 'a + and type context = _) -> 'a Id.typeid * t (** Build a new check from a module following S.Analyzer signature. |