diff options
| author | Chimrod <> | 2023-10-01 19:07:17 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-01 19:07:17 +0200 |
| commit | 622bbf897af29ec6f7d533f915b0170d3a9c899f (patch) | |
| tree | f985dc2f40c8ca9938e93b75fb266fe2b12330ae /syntax | |
| parent | 2e41a214e4c2a2984ad3b2afa3d80178d227927f (diff) | |
Added some test for syntax errors
Diffstat (limited to 'syntax')
| -rw-r--r-- | syntax/report.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/syntax/report.ml b/syntax/report.ml index 0c7d731..9ad24c3 100644 --- a/syntax/report.ml +++ b/syntax/report.ml @@ -1,7 +1,7 @@ (** Report built over the differents analysis in the file *) type level = Error | Warn | Debug -[@@deriving show { with_path = false }, enum] +[@@deriving show { with_path = false }, enum, eq] type pos = Lexing.position * Lexing.position |