decision { for eq XValue 2 }
non_relevant
decision { for member_at Y ?YKey ?YValue }
- failure_dependencies { CONTENTS_OF 0.Y; TYPE_OF 0.YKey; CONTENTS_OF 0.YValue }
+ failure_dependencies {
+ CONTENTS_OF 0.Y
+ TYPE_OF 0.YKey
+ CONTENTS_OF 0.YValue
+ }
decision { for member_at X ?XKey ?XValue }
non_relevant
decision { for eq ?Y {{ d 1 e 2 f 3 }} }
- failure_dependencies { CONTENTS_OF 0.Y; TYPE_OF 0.YKey; CONTENTS_OF 0.YValue }
+ failure_dependencies {
+ CONTENTS_OF 0.Y
+ TYPE_OF 0.YKey
+ CONTENTS_OF 0.YValue
+ }
decision { for eq ?X {{ a 1 b 2 c 3 }} }
non_relevant
exhaustion
[ symbol => 'backtrack' ],
[ 'enter_block' ]
] ];
- trace backtrack => [ statement => [
- [ symbol => 'failure_dependencies' ],
+ trace backtrack => [ word_and_body => [
+ 'failure_dependencies',
format_deps($rspace->geometry_depends_on)
] ];
my $dmap = DX::DependencyMap->new_empty
$dmap = $dmap->with_dependencies_for(
backtrack => $rspace_was->geometry_depends_on
);
- trace backtrack => [ statement => [
- [ symbol => 'failure_dependencies' ],
+ trace backtrack => [ word_and_body => [
+ 'failure_dependencies',
format_deps(compact_deps($dmap->dependencies_for('backtrack')))
] ];
next DECISION;