From eeda30881aaf17d199b2b887c4052f689b36d958 Mon Sep 17 00:00:00 2001 From: Toine Hartman Date: Thu, 5 Feb 2026 11:41:45 +0100 Subject: [PATCH] Add syntax field use/def test. --- .../lang/rascalcore/check/tests/UseDefTests.rsc | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/check/tests/UseDefTests.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/check/tests/UseDefTests.rsc index eb11cc05d5..1063a59e08 100644 --- a/src/org/rascalmpl/compiler/lang/rascalcore/check/tests/UseDefTests.rsc +++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/tests/UseDefTests.rsc @@ -65,7 +65,17 @@ test bool overloadedField() { && useDefOK(mtext, ("n": <1, {3}>)) // check uses of second declaration of n ; } - + +test bool syntaxField1() = + useDefOK("module Field + syntax D = d: N n; + syntax N = \"n\"; + value main(){ + x = [D] \"n\"; + return x.n; + }", + ("n": <0, {1}>)); + @ignore{to be fixed in typechecker} test bool kwfield1() =