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

enable unification of streams to alias atoms (#1823)

Browse Source
This commit is contained in:
Mark
2023-06-27 12:23:40 -06:00
parent b593fffc7d
commit 16f281e3d1
2 changed files with 205 additions and 182 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
src/machine/unify.rs
View File

@@ -494,6 +494,29 @@ pub(crate) trait Unifier: DerefMut<Target = MachineState> {
(ArenaHeaderTag::Rational, rat_ptr) => { (ArenaHeaderTag::Rational, rat_ptr) => {
Self::unify_big_num(self, rat_ptr, value); Self::unify_big_num(self, rat_ptr, value);
} }
(ArenaHeaderTag::Stream, stream) => {
read_heap_cell!(value,
(HeapCellValueTag::AttrVar | HeapCellValueTag::Var) => {
Self::bind(self, value.as_var().unwrap(), untyped_arena_ptr_as_cell!(ptr));
}
(HeapCellValueTag::Atom, (name, arity)) => {
if arity > 0 {
self.fail = true;
} else {
let stream_options = stream.options();
if let Some(alias) = stream_options.get_alias() {
self.fail = name != alias;
} else {
self.fail = true;
}
}
}
_ => {
self.fail = true;
}
);
}
_ => { _ => {
if let Some(r) = value.as_var() { if let Some(r) = value.as_var() {
Self::bind(self, r, untyped_arena_ptr_as_cell!(ptr)); Self::bind(self, r, untyped_arena_ptr_as_cell!(ptr));