From: Bennet Bleßmann <bb-github@t-online.de>
Date: Fri, 4 Oct 2024 17:11:26 +0000 (+0200)
Subject: Merge remote-tracking branch 'upstream/master' into issue-2588
X-Git-Tag: v0.10.0~109^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8f41c1aa7eba7ca84c9d5cc38859a04a840e2bd8;p=scryer-prolog.git

Merge remote-tracking branch 'upstream/master' into issue-2588
---

8f41c1aa7eba7ca84c9d5cc38859a04a840e2bd8
diff --cc tests/scryer/issues.rs
index 24600d5d,5e21577e..f5b58a0f
--- a/tests/scryer/issues.rs
+++ b/tests/scryer/issues.rs
@@@ -171,7 -12,10 +12,15 @@@ fn call_0() 
      );
  }
  
 +#[test]
 +fn issue2588_load_html() {
 +    load_module_test("tests-pl/issue2588.pl", "[element(html,[],[element(head,[],[element(title,[],[[H,e,l,l,o,!]])]),element(body,[],[])])]");
 +}
++
+ // issue #2361
+ #[serial]
+ #[test]
+ #[cfg_attr(miri, ignore = "it takes too long to run")]
+ fn call_qualification() {
+     load_module_test("tests-pl/issue2361-call-qualified.pl", "");
+ }