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

Another example of an impossible (non-typeable) term.

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

25
samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
View File

@ -300,7 +300,7 @@
</node>
</node>
<node concept="1DVIrt" id="r_wVdZE8oW">
<property role="TrG5h" value="Tmp" />
<property role="TrG5h" value="Err1" />
<node concept="1DVJbV" id="r_wVdZE8p9" role="1DVIru">
<node concept="1DVIoH" id="r_wVdZE8pb" role="1DVJbU">
<property role="TrG5h" value="zzz" />
@ -411,5 +411,28 @@
</node>
</node>
</node>
<node concept="1DVIrt" id="nOeFRaGxm_">
<property role="TrG5h" value="Err2" />
<node concept="1DVJbV" id="nOeFRaGxmK" role="1DVIru">
<node concept="1DVIoH" id="nOeFRaGxmL" role="1DVJbU">
<property role="TrG5h" value="omega" />
</node>
<node concept="1DVIrU" id="nOeFRaGxmM" role="1DVJb$">
<node concept="1DVIo5" id="nOeFRaGxmN" role="1DVIrw">
<node concept="1DVIoH" id="nOeFRaGxmO" role="1DVIo4">
<property role="TrG5h" value="x" />
</node>
<node concept="1DVIoH" id="nOeFRaGxmP" role="1DVIo8">
<property role="TrG5h" value="x" />
</node>
</node>
<node concept="1DVIrB" id="nOeFRaGxmQ" role="1DVIr_">
<node concept="1DVIoH" id="nOeFRaGxmR" role="1DVIrA">
<property role="TrG5h" value="x" />
</node>
</node>
</node>
</node>
</node>
</model>