still with #1 problem :-(

leouk · Mar 22, 2023 · 71d10c6 · 71d10c6
1 parent e4b1b71
commit 71d10c6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/plugins/vdm-antlr/src/test/resources/vdmslScenario/Precedence.vdmsl b/plugins/vdm-antlr/src/test/resources/vdmslScenario/Precedence.vdmsl
@@ -9,4 +9,7 @@ values
     v4: set of nat = {1} union {2} \ {1};
     v4': set of nat = ({1} union {2}) \ {1};
     --$x: nat = 10;
+    v5: nat * nat = mk_(1,2);
+    v51: nat = v5.#1;
+    v52: nat = mk_(1,2).#1;
 end Precedence