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

Report error on catching a cyclic term

This commit is contained in:
Fedor Isakov 2017-03-08 11:54:10 +01:00
parent 8146709a68
commit 9900cd91f3
1 changed files with 72 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

74
samples/lambdacalc/languages/sample.fooblin/models/types.mps
View File

@ -776,6 +776,76 @@
</node>
</node>
</node>
<node concept="3Aq9E8" id="aBi$Bfs0cd" role="3otmyu">
<node concept="3NuqgR" id="aBi$Bfs0ce" role="3Nuqhd">
<node concept="aZer4" id="aBi$Bfs0cf" role="3XD1gS">
<property role="TrG5h" value="Q" />
</node>
</node>
<node concept="3NuqgR" id="aBi$Bfs0cg" role="3Nuqhd">
<node concept="aZer4" id="aBi$Bfs0ch" role="3XD1gS">
<property role="TrG5h" value="E" />
</node>
<node concept="17QB3L" id="aBi$Bfs0ci" role="3vLBG7" />
</node>
<node concept="3I6sU6" id="aBi$Bfs0cj" role="3Ip0Jz">
<node concept="3IrJb3" id="aBi$Bfs0ck" role="3I6sU7">
<node concept="3clFbS" id="aBi$Bfs0cl" role="3IrJb0">
<node concept="3Aqczg" id="aBi$Bfs0cm" role="3cqZAp">
<node concept="3wWvb2" id="aBi$Bfs0cn" role="3Aqpz8">
<node concept="2YIFZM" id="aBi$Bfs0co" role="3wWo3s">
<ref role="37wK5l" node="WBEjvSTnJK" resolve="formatError" />
<ref role="1Pybhc" node="4dPZ2m2jfZE" resolve="Util" />
<node concept="3A9UF8" id="aBi$Bfs0cp" role="37wK5m">
<node concept="a7P8L" id="aBi$Bfs0cq" role="3A9W3M">
<ref role="a7OzE" node="aBi$Bfs0ch" resolve="E" />
</node>
</node>
<node concept="Xl_RD" id="aBi$Bfs0cr" role="37wK5m">
<property role="Xl_RC" value="cannot unify '%s' and '%s'" />
</node>
<node concept="3A9UF8" id="aBi$Bfs0cs" role="37wK5m">
<node concept="a7P8L" id="aBi$Bfs1eh" role="3A9W3M">
<ref role="a7OzE" node="4rRw8_AveOc" resolve="T" />
</node>
</node>
<node concept="3A9UF8" id="aBi$Bfs0cu" role="37wK5m">
<node concept="a7P8L" id="aBi$Bfs1ki" role="3A9W3M">
<ref role="a7OzE" node="4rRw8_AveOw" resolve="B" />
</node>
</node>
</node>
</node>
</node>
<node concept="3Aqczg" id="aBi$Bfs0cw" role="3cqZAp">
<node concept="3Aqt3T" id="aBi$Bfs0cx" role="3Aqpz8">
<ref role="3AqCNq" node="WBEjvSTpuV" resolve="error" />
<node concept="a7P8L" id="aBi$Bfs0cy" role="3AunhB">
<ref role="a7OzE" node="aBi$Bfs0ch" resolve="E" />
</node>
<node concept="aYllk" id="aBi$Bfs0cz" role="3AunhB">
<node concept="3A2sRY" id="aBi$Bfs1qr" role="aYrYs">
<ref role="3A2yKK" node="4rRw8_Avdbv" resolve="var" />
</node>
</node>
</node>
</node>
<node concept="3Aqczg" id="aBi$Bfs0c_" role="3cqZAp">
<node concept="3XxkQB" id="aBi$Bfs0cA" role="3Aqpz8">
<node concept="aYllk" id="aBi$Bfs0cB" role="3XxmmS">
<node concept="3A2sRY" id="aBi$Bfs1sH" role="aYrYs">
<ref role="3A2yKK" node="4rRw8_Avdbv" resolve="var" />
</node>
</node>
<node concept="a7P8L" id="aBi$Bfs0cD" role="3Xxm5W">
<ref role="a7OzE" node="aBi$Bfs0cf" resolve="Q" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3Aq93q" id="4rRw8_AveO7" role="3orSU4">
<property role="3ArMco" value="true" />
<node concept="3NuqgR" id="4rRw8_AveOb" role="3Nuqhd">
@ -1155,7 +1225,7 @@
<node concept="3Aq9E8" id="N6wx6Hp2i_" role="3otmyu">
<node concept="3NuqgR" id="N6wx6Hp31S" role="3Nuqhd">
<node concept="aZer4" id="N6wx6Hp31T" role="3XD1gS">
<property role="TrG5h" value="T" />
<property role="TrG5h" value="Q" />
</node>
</node>
<node concept="3NuqgR" id="WBEjvSTpvn" role="3Nuqhd">
@ -1214,7 +1284,7 @@
</node>
</node>
<node concept="a7P8L" id="WBEjvSTqEi" role="3Xxm5W">
<ref role="a7OzE" node="N6wx6Hp31T" resolve="T" />
<ref role="a7OzE" node="N6wx6Hp31T" resolve="Q" />
</node>
</node>
</node>