diff options
| author | Chimrod <> | 2023-09-29 09:39:59 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-09-29 10:35:04 +0200 |
| commit | 7296d72aaec9186cd0d0f2c46b226a38059dc3eb (patch) | |
| tree | 1e566a5ca03c3ff917a9c8cdb544ce2584d0e67b | |
| parent | 7de7b756e6e3168a5bfb579470031d999a6e8585 (diff) | |
Improved the error message in comparaisons
| -rw-r--r-- | syntax/type_of.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/syntax/type_of.ml b/syntax/type_of.ml index 0a6bf34..a9e1e79 100644 --- a/syntax/type_of.ml +++ b/syntax/type_of.ml @@ -268,7 +268,9 @@ module Expression = struct else let d = Helper.(Dynamic (dyn_type ())) in let expected = [ d; d ] in - let report = Helper.compare_args pos expected types report in + let report = + Helper.compare_args pos expected (List.rev types) report + in { result = Bool; report; pos; empty = false } | Lt | Gte | Lte | Gt -> let d = Helper.(Dynamic (dyn_type ())) in |