Add an edge test case

Author: bobzhang

jscomp/test/build.ninja

@@ -479,6 +479,7 @@ build test/record_debug_test.cmi test/record_debug_test.cmj : cc test/record_deb
 build test/record_with_test.cmi test/record_with_test.cmj : cc test/record_with_test.ml | test/mt.cmj $stdlib
 build test/recursive_module.cmi test/recursive_module.cmj : cc test/recursive_module.ml | test/mt.cmj $stdlib
 build test/recursive_module_test.cmi test/recursive_module_test.cmj : cc test/recursive_module_test.ml | test/mt.cmj $stdlib
+build test/recursive_unbound_module_test.cmi test/recursive_unbound_module_test.cmj : cc test/recursive_unbound_module_test.ml | $stdlib
 build test/regression_print.cmi test/regression_print.cmj : cc test/regression_print.ml | $stdlib
 build test/relative_path.cmi test/relative_path.cmj : cc test/relative_path.ml | $stdlib
 build test/return_check.cmi test/return_check.cmj : cc test/return_check.ml | $stdlib

jscomp/test/recursive_unbound_module_test.js

@@ -0,0 +1,32 @@
+'use strict';
+
+var Caml_module = require("../../lib/js/caml_module.js");
+
+function Make(X) {
+  var f = function (param) {
+    return /* () */0;
+  };
+  var M = /* module */[/* f */f];
+  return /* module */[/* M */M];
+}
+
+var B = Caml_module.init_mod([
+      "recursive_unbound_module_test.ml",
+      15,
+      0
+    ], [[[[0]]]]);
+
+function f(param) {
+  return /* () */0;
+}
+
+var M = /* module */[/* f */f];
+
+Caml_module.update_mod([[[[0]]]], B, /* module */[/* M */M]);
+
+var A = /* () */0;
+
+exports.Make = Make;
+exports.A = A;
+exports.B = B;
+/* B Not a pure module */

jscomp/test/recursive_unbound_module_test.ml

@@ -0,0 +1,21 @@
+
+
+
+module type S =
+sig
+  module M : sig val f : unit -> unit end
+end
+
+module Make (X : sig end) =
+struct
+  module M = struct let f () = () end
+end
+
+module rec A : sig end =
+struct
+end
+and B : S =
+struct
+  module C = Make(A)
+  include C
+end