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

throw instantiation_error on variables from (#1283)

Browse Source
This commit is contained in:
Mark Thom
2022-02-18 19:33:16 -07:00
parent 55d8de1b23
commit d3583276b3
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/machine/system_calls.rs
View File

@@ -2925,8 +2925,14 @@ impl Machine {
let key = (self.machine_st.atom_tbl.build_with(&c.to_string()), narity); let key = (self.machine_st.atom_tbl.build_with(&c.to_string()), narity);
Ok((module_name, key)) Ok((module_name, key))
} }
(HeapCellValueTag::AttrVar | HeapCellValueTag::StackVar | HeapCellValueTag::Var) => {
let stub = functor_stub(atom!("call"), 1);
let err = self.machine_st.instantiation_error();
Err(self.machine_st.error_form(err, stub))
}
_ => { _ => {
let stub = functor_stub(atom!("(:)"), 2); let stub = functor_stub(atom!("call"), narity);
let err = self.machine_st.type_error(ValidType::Callable, addr); let err = self.machine_st.type_error(ValidType::Callable, addr);
Err(self.machine_st.error_form(err, stub)) Err(self.machine_st.error_form(err, stub))