diff --git a/tests/data/iterations.ccl b/tests/data/iterations.ccl index f17e4ae05f3b8c69c16e6b8c5e25f069cdaca90d..90b520b666a372e96169b8b3f43254e4d641034c 100644 --- a/tests/data/iterations.ccl +++ b/tests/data/iterations.ccl @@ -9,3 +9,52 @@ llook(0, end, $V, False) False V=nowhere +--- +position=0 +rlook(0,end,$P, + inter(class[$P], {subst}) +) + +True +P=3 +--- +position=3 +rlook(0,end,$P, + inter(class[$P], {subst}) +) + +True +P=0 +--- +position=4 +rlook(0,end,$P, + inter(class[$P], {subst}) +) + +True +P=8 +--- +position=19 +rlook(0,end,$P,inter(class[$P], {subst})) + +False +P=nowhere +--- +position=26 +llook(0,begin,$NomAcc, equal(cas[$NomAcc],{nom,acc})) + +True +NomAcc=-1 +--- +position=12 +llook(0,begin,$NomAcc, equal(cas[$NomAcc],{nom,acc})) + +True +NomAcc=-4 +--- +position=2 +llook(0,begin,$NomAcc, equal(cas[$NomAcc],{nom,acc})) + +False +NomAcc=nowhere +---