Add test for issue 2756

mthom · Jan 7, 2025 · 0f1d816 · 0f1d816
1 parent 2a0e3b2
commit 0f1d816
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/tests-pl/issue2756-load-context.pl b/tests-pl/issue2756-load-context.pl
@@ -0,0 +1 @@
+:- initialization((M = user, loader:load_context(M))).
diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs
@@ -25,3 +25,10 @@ fn issue2588_load_html() {
 fn call_qualification() {
     load_module_test("tests-pl/issue2361-call-qualified.pl", "");
 }
+
+#[serial]
+#[test]
+#[cfg_attr(miri, ignore = "it takes too long to run")]
+fn issue2756_load_context_unreachable() {
+    load_module_test("tests-pl/issue2756-load-context.pl", "");
+}
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		:- initialization((M = user, loader:load_context(M))).