add types to FailRecheck step
[scpubgit/DX.git] / fragments / bind
1 #trace +step +search
2 ?
3 dict ?X
4 eq ?Y X
5 qact
6 eq Y {{ foo 1 }}
7 qact
8 .
9 ?
10 dict ?X {{ foo {{ bar 1 }} }}
11 member_at X 'foo' ?Y
12 member_at Y 'bar' ?Z
13 eq Z 2
14 member_at Y 'baz' ?U
15 eq U 4
16 qact
17 .