switch next predicate to mutating searchstate instead of using alt_step

[scpubgit/DX.git] / fragment.output / bind

$ #trace +step +search
$ ?
? dict ?X
SetValue 0.X {{ }}
? eq ?Y X
BindValue 0.Y 0.X
? qact
SetValue 0.X {{ }}
BindValue 0.Y 0.X
? eq Y {{ foo 1 }}
SetBoundValue 0.Y {{ foo 1 }}
SetValue 0.X {{ foo 1 }}
? qact
SetValue 0.X {{ }}
SetValue 0.X {{ foo 1 }}
BindValue 0.Y 0.X
? .
{{ X {{ foo 1 }} Y {{ foo 1 }} }}
$ ?
? dict ?X {{ foo {{ bar 1 }} }}
SetValue 0.X {{ foo {{ bar 1 }} }}
? member_at X 'foo' ?Y
BindValue 0.Y 0.X.foo
? member_at Y 'bar' ?Z
BindValue 0.Z 0.Y.bar
? eq Z 2
SetBoundValue 0.Z 2
SetBoundValue 0.Y.bar 2
SetValue 0.X.foo.bar 2
? member_at Y 'baz' 4
AddBoundValue 0.Y.baz 4
AddValue 0.X.foo.baz 4
? qact
SetValue 0.X {{ foo {{ bar 1 }} }}
SetValue 0.X.foo.bar 2
BindValue 0.Z 0.Y.bar
AddValue 0.X.foo.baz 4
BindValue 0.Y 0.X.foo
? .
{{ X {{ foo {{ bar 2 baz 4 }} }} Y {{ bar 2 baz 4 }} Z 2 }}