diff options
| -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 |