test(melange): add test exercising ocaml#7104

Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/dune

@@ -0,0 +1,11 @@
+(executable
+ (name ml)
+ (modules ml)
+ (libraries vlib impl_ml))
+
+(melange.emit
+ (target output)
+ (alias melange)
+ (entries mel)
+ (libraries vlib impl_melange)
+ (module_system commonjs))

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/dune-project

@@ -0,0 +1,3 @@
+(lang dune 3.8)
+
+(using melange 0.1)

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/impl_melange/dune

@@ -0,0 +1,4 @@
+(library
+ (name impl_melange)
+ (modes melange)
+ (implements vlib))

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/impl_melange/virt.ml

@@ -0,0 +1 @@
+let t = "melange"

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/impl_ml/dune

@@ -0,0 +1,3 @@
+(library
+ (name impl_ml)
+ (implements vlib))

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/impl_ml/virt.ml

@@ -0,0 +1 @@
+let t = "ml"

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/mel.ml

@@ -0,0 +1 @@
+print_endline Virt.t

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/ml.ml

@@ -0,0 +1 @@
+let () = print_endline Virt.t

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/run.t

@@ -0,0 +1,42 @@
+Test virtual lib in an exe / melange environment
+
+  $ dune build @melange --display=short
+      ocamldep impl_melange/.impl_melange.objs/virt.impl.d
+      ocamldep vlib/.vlib.objs/shared.impl.d
+      ocamldep vlib/.vlib.objs/virt.intf.d
+      ocamldep vlib/.vlib.objs/vlib_impl.impl.d
+          melc vlib/.vlib.objs/melange/virt.{cmi,cmti}
+          melc vlib/.vlib.objs/melange/vlib_impl.{cmi,cmj,cmt}
+          melc vlib/.vlib.objs/melange/shared.{cmi,cmj,cmt}
+          melc output/vlib/vlib_impl.js
+          melc impl_melange/.impl_melange.objs/melange/virt.{cmj,cmt}
+          melc output/vlib/shared.js
+          melc .output.mobjs/melange/melange__Mel.{cmi,cmj,cmt}
+          melc output/impl_melange/virt.js
+          melc output/mel.js
+  $ output=_build/default/output/mel.js
+  $ test -f "$output" && node "$output"
+  melange
+
+  $ dune exec ./ml.exe --display=short
+      ocamldep impl_ml/.impl_ml.objs/virt.impl.d
+        ocamlc vlib/.vlib.objs/byte/virt.{cmi,cmti}
+        ocamlc vlib/.vlib.objs/byte/vlib_impl.{cmi,cmo,cmt}
+      ocamlopt vlib/.vlib.objs/native/vlib_impl.{cmx,o}
+        ocamlc vlib/.vlib.objs/byte/shared.{cmi,cmo,cmt}
+        ocamlc .ml.eobjs/byte/dune__exe__Ml.{cmi,cmti}
+      ocamlopt vlib/.vlib.objs/native/shared.{cmx,o}
+      ocamlopt impl_ml/.impl_ml.objs/native/virt.{cmx,o}
+      ocamlopt .ml.eobjs/native/dune__exe__Ml.{cmx,o}
+      ocamlopt impl_ml/impl_ml.{a,cmxa}
+      ocamlopt ml.exe
+  ml
+  $ ls _build/default/vlib/.vlib.objs/byte
+  shared.cmi
+  shared.cmo
+  shared.cmt
+  virt.cmi
+  virt.cmti
+  vlib_impl.cmi
+  vlib_impl.cmo
+  vlib_impl.cmt

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/vlib/dune

@@ -0,0 +1,5 @@
+(library
+ (name vlib)
+ (wrapped false)
+ (modes :standard melange)
+ (virtual_modules virt))

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/vlib/shared.ml

@@ -0,0 +1 @@
+let t = Vlib_impl.hello

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/vlib/virt.mli

@@ -0,0 +1 @@
+val t : string

test/blackbox-tests/test-cases/melange/virtual_lib_compilation.t/vlib/vlib_impl.ml

@@ -0,0 +1 @@
+let hello = "Hello from " ^ Virt.t