add test for load_html

2024-10-04 19:09:35 +02:00
parent 126d7bba57
commit 442636c131
2 changed files with 10 additions and 0 deletions
--- a/tests-pl/issue2588.pl
+++ b/tests-pl/issue2588.pl
@@ -0,0 +1,5 @@
+:- use_module(library(sgml)).
+
+test :- load_html("<html><head><title>Hello!</title></head></html>", Es, []), write(Es).
+
+:- initialization(test).
--- a/tests/scryer/issues.rs
+++ b/tests/scryer/issues.rs
@@ -170,3 +170,8 @@ fn call_0() {
        "   error(existence_error(procedure,call/0),call/0).\n",
    );
 }
+
+#[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,[],[])])]");
+}