rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix acceptance of invalid syntax, update iso_conformity_tests.pl (#2270)

Browse Source
This commit is contained in:
Mark
2024-01-04 13:14:50 -07:00
parent ff010678c3
commit ec97ee5d41
2 changed files with 13 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/parser/parser.rs
View File

@@ -885,11 +885,7 @@ impl<'a, R: CharRead> Parser<'a, R> {
.push(Term::Literal(Cell::default(), Literal::Atom(atom))); .push(Term::Literal(Cell::default(), Literal::Atom(atom)));
} }
self.stack[idx].spec = if self.stack[idx].priority > 0 { self.stack[idx].spec = BTERM;
TERM
} else {
BTERM
};
self.stack[idx].tt = TokenType::Term; self.stack[idx].tt = TokenType::Term;
self.stack[idx].priority = 0; self.stack[idx].priority = 0;

12
tests-pl/iso-conformity-tests.pl
View File

@@ -1005,6 +1005,18 @@ test_311 :- test_syntax_error("Finis ().", syntax_error(incomplete_reduction)).
test_318 :- writeq_term_to_chars(+((1*2)^3), C), test_318 :- writeq_term_to_chars(+((1*2)^3), C),
C == "+ (1*2)^3". C == "+ (1*2)^3".
test_320 :- writeq_term_to_chars([a|\+2], C),
C == "[a|\\+2]".
test_321 :- test_syntax_error("writeq((a)(b)).", syntax_error(incomplete_reduction)).
test_324 :- writeq_term_to_chars('%', C),
C == "'%'".
test_325 :- test_syntax_error("writeq({[y}]).", syntax_error(incomplete_reduction)).
test_326 :- test_syntax_error("(>)(1,2).", syntax_error(incomplete_reduction)).
run_tests([Test|Tests]) --> run_tests([Test|Tests]) -->
( { call(Test) } -> ( { call(Test) } ->
[] []