add a test case

Author: bobzhang

jscomp/test/build.ninja

@@ -297,6 +297,9 @@ build test/gpr_3609_test.cmi test/gpr_3609_test.cmj : cc test/gpr_3609_test.ml |
 build test/gpr_3697_test.cmi test/gpr_3697_test.cmj : cc test/gpr_3697_test.ml | $stdlib
 build test/gpr_373_test.cmi test/gpr_373_test.cmj : cc test/gpr_373_test.ml | $stdlib
 build test/gpr_3770_test.cmi test/gpr_3770_test.cmj : cc test/gpr_3770_test.ml | $stdlib
+build test/gpr_3865.cmi test/gpr_3865.cmj : cc test/gpr_3865.re | test/gpr_3865_bar.cmj test/gpr_3865_foo.cmj $stdlib
+build test/gpr_3865_bar.cmi test/gpr_3865_bar.cmj : cc test/gpr_3865_bar.re | $stdlib
+build test/gpr_3865_foo.cmi test/gpr_3865_foo.cmj : cc test/gpr_3865_foo.re | $stdlib
 build test/gpr_405_test.cmj : cc_cmi test/gpr_405_test.ml | test/gpr_405_test.cmi $stdlib
 build test/gpr_405_test.cmi : cc test/gpr_405_test.mli | $stdlib
 build test/gpr_441.cmi test/gpr_441.cmj : cc test/gpr_441.ml | $stdlib

jscomp/test/gpr_3865.js

@@ -0,0 +1,17 @@
+'use strict';
+
+var Gpr_3865_foo = require("./gpr_3865_foo.js");
+
+var B = {
+  $$return: Gpr_3865_foo.$$return
+};
+
+console.log(Gpr_3865_foo.$$return);
+
+console.log(Gpr_3865_foo.$$return);
+
+var F = 0;
+
+exports.F = F;
+exports.B = B;
+/*  Not a pure module */

jscomp/test/gpr_3865.re

@@ -0,0 +1,5 @@
+module F = Gpr_3865_foo;
+module B = Gpr_3865_bar.Make(Gpr_3865_foo);
+
+Js.log(F.return);
+Js.log(B.return);

jscomp/test/gpr_3865_bar.js

@@ -0,0 +1,11 @@
+'use strict';
+
+
+function Make(M) {
+  return {
+          $$return: M.$$return
+        };
+}
+
+exports.Make = Make;
+/* No side effect */

jscomp/test/gpr_3865_bar.re

@@ -0,0 +1,7 @@
+module type S = {
+  let return: int;
+}
+
+module Make = (M: S) => {
+  include M;
+}

jscomp/test/gpr_3865_foo.js

@@ -0,0 +1,7 @@
+'use strict';
+
+
+var $$return = 5;
+
+exports.$$return = $$return;
+/* No side effect */

jscomp/test/gpr_3865_foo.re

@@ -0,0 +1 @@
+let return = 5;