Skip to content

Commit

Permalink
Ignore test for compiler: annotations not supported as keyword field
Browse files Browse the repository at this point in the history
  • Loading branch information
PaulKlint committed Feb 25, 2024
1 parent a53a0f5 commit 39f96ec
Showing 1 changed file with 6 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -41,38 +41,44 @@ test bool boolannotations8() = true || /*documentation of old behavior: */ f(5)
//test bool annotationsInSets5() = true || /*documentation of old behavior: */ {f() [@pos=1]} + {g(2) [@pos=2]} == {f(), g(2)};
//test bool annotationsInSets6() = true || /*documentation of old behavior: */ {X = {f() [@pos=1]} + {f() [@pos=2]}; {F elem} := X && (elem@pos == 2 || elem@pos == 1);};

@ignoreCompiler{Annotations are not supported as keyword field}
test bool accessAnnoAsKeywordField(){
F example = f();
example@pos = 1;
return example.pos == 1;
}

@ignoreCompiler{Annotations are not supported as keyword field}
test bool accessAnnoUpdateAsKeywordField(){
F example = f();
example@pos = 1;
return example[@pos=2].pos == 2;
}

@ignoreCompiler{Annotations are not supported as keyword field}
test bool checkAnnoExistsAsKeywordField(){
F example = f();
example@pos = 1;
return example.pos?;
}

@ignoreCompiler{Annotations are not supported as keyword field}
@ignoreInterpreter{TODO: JV this still fails}
test bool KeywordFieldUpdateVisibleAsAnno(){
F example = f();
// keyword updates are visible to anno projection
return example[pos=3]@\pos == 3;
}

@ignoreCompiler{Annotations are not supported as keyword field}
test bool KeywordAssignVisibleViaAnno1(){
F example = f();
example@pos = 1;
example.pos = 4;
return example@pos == 4;
}

@ignoreCompiler{Annotations are not supported as keyword field}
test bool KeywordAssignVisibleViaAnno2(){
F example = f();
example@pos = 1;
Expand Down

0 comments on commit 39f96ec

Please sign in to comment.