fix: provide type to select instruction

grain-lang · Dec 29, 2020 · 7e02a71 · 7e02a71
1 parent f4338bd
commit 7e02a71
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/expression.ml b/src/expression.ml
@@ -63,7 +63,9 @@ external unary : Module.t -> Op.t -> t -> t = "caml_binaryen_unary"
 
 external binary : Module.t -> Op.t -> t -> t -> t = "caml_binaryen_binary"
 
-external select : Module.t -> t -> t -> t -> t = "caml_binaryen_select"
+external select : Module.t -> t -> t -> t -> Type.t -> t = "caml_binaryen_select"
+let select wasm_mod cond tru fals =
+  select wasm_mod cond tru fals Type.auto
 (** Module, condition, true branch, false branch. *)
 
 external drop : Module.t -> t -> t = "caml_binaryen_drop"