From ec840b0ee7cd07793ef7fd29bae529e9b70c3120 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 29 May 2017 15:19:43 +0200
Subject: [PATCH] Don't generalize the type of let-bound variable.

---
 .../languages/sample.fooblin/models/types.mps | 20 ++-----------------
 1 file changed, 2 insertions(+), 18 deletions(-)

diff --git a/samples/lambdacalc/languages/sample.fooblin/models/types.mps b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
index 4a7e2e10..2cc4b49b 100644
--- a/samples/lambdacalc/languages/sample.fooblin/models/types.mps
+++ b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
@@ -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>