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

Don't generalize the type of let-bound variable.

This commit is contained in:
Fedor Isakov 2017-05-29 15:19:43 +02:00
parent 9d83b265eb
commit ec840b0ee7
1 changed files with 2 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -706,23 +706,7 @@
<node concept="AVZhu" id="10BVPEVK4MV" role="3ArX_J">
<property role="TrG5h" value="typeOf_LetVarBind" />
<node concept="3Aq9E8" id="10BVPEVK64G" role="3otmyu">
<node concept="3NuqgR" id="10BVPEVK64K" role="3Nuqhd">
<node concept="aZer4" id="10BVPEVK64L" role="3XD1gS">
<property role="TrG5h" value="G" />
</node>
</node>
<node concept="3I6sU6" id="10BVPEVK64H" role="3Ip0Jz">
<node concept="3I6s7M" id="2dQK04Iu_k9" role="3I6sU7">
<node concept="3Aqt3T" id="2dQK04Iu_k5" role="3I6s78">
<ref role="3AqCNq" node="12dHl3ZCEwE" resolve="gen" />
<node concept="a7P8L" id="2dQK04Iu_kk" role="3AunhB">
<ref role="a7OzE" node="10BVPEVK64L" resolve="G" />
</node>
<node concept="a7P8L" id="2dQK04Iu_ks" role="3AunhB">
<ref role="a7OzE" node="10BVPEVK64u" resolve="E" />
</node>
</node>
</node>
<node concept="3I6s7M" id="10BVPEVK65K" role="3I6sU7">
<node concept="3XxkQB" id="10BVPEVK65C" role="3I6s78">
<node concept="aYllk" id="10BVPEVK65E" role="3XxmmS">
@ -735,8 +719,8 @@
</node>
</node>
</node>
<node concept="a7P8L" id="10BVPEVK6rC" role="3Xxm5W">
<ref role="a7OzE" node="10BVPEVK64L" resolve="G" />
<node concept="a7P8L" id="76U9gs656JV" role="3Xxm5W">
<ref role="a7OzE" node="10BVPEVK64u" resolve="E" />
</node>
</node>
</node>