natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Replace error annotation with suppress error annotation to indicate an expected constraint violation.

This commit is contained in:
Fedor Isakov 2019-02-01 14:17:57 +01:00
parent e0b856634c
commit ebada478c6
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps
View File

@ -1293,9 +1293,6 @@
</node>
<node concept="t0$VC" id="3TFdEPZheq9" role="1DVIo8">
<ref role="t0$VJ" node="2jleysRX4dp" resolve="x" />
<node concept="1U20sH" id="1Lr58WG9UYh" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
<node concept="1DVIoH" id="2jleysRX4dp" role="1DVIrJ">
@ -1308,6 +1305,9 @@
</node>
</node>
</node>
<node concept="15s5l7" id="5NV6AIIt152" role="lGtFl">
<property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;reference scopes (reference scopes)&quot;;FLAVOUR_MESSAGE=&quot;reference x (def) is out of search scope&quot;;FLAVOUR_NODE_FEATURE=&quot;def&quot;;FLAVOUR_RULE_ID=&quot;[r:49af371c-e432-4e5a-a3df-e689ebe20a8d(samples.lambdacalc.constraints)/8747055848970356303]&quot;;" />
</node>
</node>
<node concept="1DVJbV" id="1YCbHn1AbJG" role="1DVIru">
<node concept="1DVIrG" id="1YCbHn1AbJI" role="j9CMd">