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

Represent atom [] as empty list

Browse Source
This commit is contained in:
bakaq
2024-08-16 00:01:25 -03:00
parent 12aaae5fc0
commit 7afc08af47
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/machine/parsed_results.rs
View File

@@ -302,7 +302,12 @@ impl Value {
*/ */
if arity == 0 { if arity == 0 {
term_stack.push(Value::Atom(name.as_str().to_string())); let atom_name = name.as_str().to_string();
if atom_name == "[]" {
term_stack.push(Value::List(vec![]));
} else {
term_stack.push(Value::Atom(atom_name));
}
} else { } else {
let subterms = term_stack let subterms = term_stack
.drain(term_stack.len() - arity ..) .drain(term_stack.len() - arity ..)