From 0fb0771ad75b2cbc1cf731c33e337fdf60e7ae34 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Sat, 2 Feb 2019 16:11:38 +0100
Subject: [PATCH] Ensure parent of varRef is included into typechecking. This
 fixes some locally inferred types mismatch.

---
 .../languages/samples.lambdacalc/models/types.mps         | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
index e7da3167..b86c3bc3 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
@@ -2673,6 +2673,14 @@
     <node concept="1nLNMY" id="6$MtiK8IMVF" role="1nK1Vg">
       <property role="TrG5h" value="typeOf_VarRef" />
       <node concept="3clFbS" id="6$MtiK8IMVG" role="1nLNMH">
+        <node concept="1mebxG" id="4ZGicUZkYFc" role="3cqZAp">
+          <node concept="2OqwBi" id="4ZGicUZkYOF" role="1mebXD">
+            <node concept="3A2sRY" id="4ZGicUZkYFZ" role="2Oq$k0">
+              <ref role="3A2yKK" node="3TFdEPZe4bq" resolve="varRef" />
+            </node>
+            <node concept="1mfA1w" id="4ZGicUZkZib" role="2OqNvi" />
+          </node>
+        </node>
         <node concept="1mebxG" id="6EwjVjWo_kt" role="3cqZAp">
           <node concept="2OqwBi" id="6EwjVjWoBxM" role="1mebXD">
             <node concept="3A2sRY" id="6EwjVjWo_lt" role="2Oq$k0">