Skip to content

Commit 4e3c8db

Browse files
committed
Type analysis: fix type of float comparisons
The generated code was less efficient since normalization code could be inserted.
1 parent bd83c41 commit 4e3c8db

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

compiler/lib-wasm/typing.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -233,7 +233,7 @@ let prim_type ~approx prim args =
233233
| "caml_ge_float"
234234
| "caml_le_float"
235235
| "caml_gt_float"
236-
| "caml_lt_float"
236+
| "caml_lt_float" -> Int Normalized
237237
| "caml_int_of_float" -> Int Unnormalized
238238
| "caml_float_of_int"
239239
| "caml_cos_float"

0 commit comments

Comments
 (0)