From 6c16c4a8f2f6f505eb70e638ccdd9562cb6350cd Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Wed, 8 Mar 2017 11:54:46 +0100
Subject: [PATCH] Another example of an impossible (non-typeable) term.

---
 .../models/sample/demo/fooblah.mps            | 25 ++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps b/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
index 402536bc..e53a1b82 100644
--- a/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
+++ b/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
@@ -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>