From 39f96ec4232cebaa5eee43c43c2fc061f0fb7316 Mon Sep 17 00:00:00 2001 From: paulklint Date: Fri, 23 Feb 2024 10:46:24 +0100 Subject: [PATCH] Ignore test for compiler: annotations not supported as keyword field --- .../library/lang/rascal/tests/functionality/Annotation.rsc | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/org/rascalmpl/library/lang/rascal/tests/functionality/Annotation.rsc b/src/org/rascalmpl/library/lang/rascal/tests/functionality/Annotation.rsc index 3c16fb1b6f7..ef5934d502a 100644 --- a/src/org/rascalmpl/library/lang/rascal/tests/functionality/Annotation.rsc +++ b/src/org/rascalmpl/library/lang/rascal/tests/functionality/Annotation.rsc @@ -41,24 +41,28 @@ 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(); @@ -66,6 +70,7 @@ test bool KeywordFieldUpdateVisibleAsAnno(){ return example[pos=3]@\pos == 3; } +@ignoreCompiler{Annotations are not supported as keyword field} test bool KeywordAssignVisibleViaAnno1(){ F example = f(); example@pos = 1; @@ -73,6 +78,7 @@ test bool KeywordAssignVisibleViaAnno1(){ return example@pos == 4; } +@ignoreCompiler{Annotations are not supported as keyword field} test bool KeywordAssignVisibleViaAnno2(){ F example = f(); example@pos = 1;