Merge pull request #3258 from no382001/fix_load_xml/3

load_xml was returning a single term instead of a list of nodes
This commit is contained in:
Mark Thom
2026-03-14 22:46:03 -07:00
committed by GitHub
3 changed files with 20 additions and 1 deletions

View File

@@ -20,6 +20,15 @@ fn issue2588_load_html() {
load_module_test("tests-pl/issue2588.pl", "[element(html,[],[element(head,[],[element(title,[],[[H,e,l,l,o,!]])]),element(body,[],[])])]");
}
#[test]
#[cfg_attr(miri, ignore = "unsupported operation when isolation is enabled")]
fn issue3256_load_xml_returns_list() {
load_module_test(
"tests-pl/issue3256.pl",
"[element(foo,[],[element(bar,[],[[h,e,l,l,o]])])]",
);
}
#[test]
#[cfg_attr(miri, ignore = "unsupported operation when isolation is enabled")]
fn issue2949_load_html() {