Merge pull request #40 from ocaml-wasm/fix-partial-app

Partial application fix

compiler/lib/wasm/wa_generate.ml

@@ -112,9 +112,10 @@ module Generate (Target : Wa_target_sig.S) = struct
                 match kind, funct with
                 | `Index, W.ConstSym (V g, 0) | `Ref _, W.RefFunc g ->
                     (* Functions with constant closures ignore their
-                       environment *)
-                    let* unit = Value.unit in
-                    return (W.Call (g, List.rev (unit :: acc)))
+                       environment. In case of partial application, we
+                       still need the closure. *)
+                    let* cl = if exact then Value.unit else return closure in
+                    return (W.Call (g, List.rev (cl :: acc)))
                 | `Index, _ ->
                     return
                       (W.Call_indirect

compiler/tests-wasm_of_ocaml/dune

@@ -0,0 +1,13 @@
+(executables
+ (names gh38)
+ (modes js)
+ (js_of_ocaml (flags :standard --disable optcall)))
+
+(rule
+ (target gh38.actual)
+ (enabled_if (= %{profile} wasm))
+ (alias runtest)
+ (action
+  (with-outputs-to
+   %{target}
+   (run node %{dep:gh38.bc.js}))))

compiler/tests-wasm_of_ocaml/gh38.ml

@@ -0,0 +1,3 @@
+let f () () = ()
+
+let (_ : _ -> _) = f ()