Add test

Signed-off-by: Nicolás Ojeda Bär <[email protected]>
ocaml · Sep 14, 2023 · 7a3bf06 · 7a3bf06
1 parent d8a59d2
commit 7a3bf06
Show file tree

Hide file tree

Showing 6 changed files with 17 additions and 0 deletions.
diff --git a/test/blackbox-tests/test-cases/utop/utop-stubs.t/dune-project b/test/blackbox-tests/test-cases/utop/utop-stubs.t/dune-project
@@ -0,0 +1 @@
+(lang dune 3.0)
diff --git a/test/blackbox-tests/test-cases/utop/utop-stubs.t/forutop/dune b/test/blackbox-tests/test-cases/utop/utop-stubs.t/forutop/dune
@@ -0,0 +1,5 @@
+(library
+ (name forutop)
+ (foreign_stubs
+  (language c)
+  (names forutop_stubs)))
diff --git a/test/blackbox-tests/test-cases/utop/utop-stubs.t/forutop/forutop.ml b/test/blackbox-tests/test-cases/utop/utop-stubs.t/forutop/forutop.ml
@@ -0,0 +1,2 @@
+external hello_in_utop: unit -> string = "hello_in_utop"
+let run () = print_endline (hello_in_utop ())
diff --git a/test/blackbox-tests/test-cases/utop/utop-stubs.t/forutop/forutop_stubs.c b/test/blackbox-tests/test-cases/utop/utop-stubs.t/forutop/forutop_stubs.c
@@ -0,0 +1,6 @@
+#include <caml/alloc.h>
+
+value hello_in_utop(value v_unit)
+{
+  return caml_copy_string("hello in utop");
+}
diff --git a/test/blackbox-tests/test-cases/utop/utop-stubs.t/init_forutop.ml b/test/blackbox-tests/test-cases/utop/utop-stubs.t/init_forutop.ml
@@ -0,0 +1 @@
+Forutop.run ();;
diff --git a/test/blackbox-tests/test-cases/utop/utop-stubs.t/run.t b/test/blackbox-tests/test-cases/utop/utop-stubs.t/run.t
@@ -0,0 +1,2 @@
+  $ dune utop forutop -- init_forutop.ml
+  hello in utop
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		external hello_in_utop: unit -> string = "hello_in_utop"
		let run () = print_endline (hello_in_utop ())
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		$ dune utop forutop -- init_forutop.ml
		hello in utop