From 9900cd91f3bdf80d9864c160a44211d87b6bf6f7 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Wed, 8 Mar 2017 11:54:10 +0100
Subject: [PATCH] Report error on catching a cyclic term

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

diff --git a/samples/lambdacalc/languages/sample.fooblin/models/types.mps b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
index 3c0689f1..f3f65438 100644
--- a/samples/lambdacalc/languages/sample.fooblin/models/types.mps
+++ b/samples/lambdacalc/languages/sample.fooblin/models/types.mps
@@ -776,6 +776,76 @@
           </node>
         </node>
       </node>
+      <node concept="3Aq9E8" id="aBi$Bfs0cd" role="3otmyu">
+        <node concept="3NuqgR" id="aBi$Bfs0ce" role="3Nuqhd">
+          <node concept="aZer4" id="aBi$Bfs0cf" role="3XD1gS">
+            <property role="TrG5h" value="Q" />
+          </node>
+        </node>
+        <node concept="3NuqgR" id="aBi$Bfs0cg" role="3Nuqhd">
+          <node concept="aZer4" id="aBi$Bfs0ch" role="3XD1gS">
+            <property role="TrG5h" value="E" />
+          </node>
+          <node concept="17QB3L" id="aBi$Bfs0ci" role="3vLBG7" />
+        </node>
+        <node concept="3I6sU6" id="aBi$Bfs0cj" role="3Ip0Jz">
+          <node concept="3IrJb3" id="aBi$Bfs0ck" role="3I6sU7">
+            <node concept="3clFbS" id="aBi$Bfs0cl" role="3IrJb0">
+              <node concept="3Aqczg" id="aBi$Bfs0cm" role="3cqZAp">
+                <node concept="3wWvb2" id="aBi$Bfs0cn" role="3Aqpz8">
+                  <node concept="2YIFZM" id="aBi$Bfs0co" role="3wWo3s">
+                    <ref role="37wK5l" node="WBEjvSTnJK" resolve="formatError" />
+                    <ref role="1Pybhc" node="4dPZ2m2jfZE" resolve="Util" />
+                    <node concept="3A9UF8" id="aBi$Bfs0cp" role="37wK5m">
+                      <node concept="a7P8L" id="aBi$Bfs0cq" role="3A9W3M">
+                        <ref role="a7OzE" node="aBi$Bfs0ch" resolve="E" />
+                      </node>
+                    </node>
+                    <node concept="Xl_RD" id="aBi$Bfs0cr" role="37wK5m">
+                      <property role="Xl_RC" value="cannot unify '%s' and '%s'" />
+                    </node>
+                    <node concept="3A9UF8" id="aBi$Bfs0cs" role="37wK5m">
+                      <node concept="a7P8L" id="aBi$Bfs1eh" role="3A9W3M">
+                        <ref role="a7OzE" node="4rRw8_AveOc" resolve="T" />
+                      </node>
+                    </node>
+                    <node concept="3A9UF8" id="aBi$Bfs0cu" role="37wK5m">
+                      <node concept="a7P8L" id="aBi$Bfs1ki" role="3A9W3M">
+                        <ref role="a7OzE" node="4rRw8_AveOw" resolve="B" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aqczg" id="aBi$Bfs0cw" role="3cqZAp">
+                <node concept="3Aqt3T" id="aBi$Bfs0cx" role="3Aqpz8">
+                  <ref role="3AqCNq" node="WBEjvSTpuV" resolve="error" />
+                  <node concept="a7P8L" id="aBi$Bfs0cy" role="3AunhB">
+                    <ref role="a7OzE" node="aBi$Bfs0ch" resolve="E" />
+                  </node>
+                  <node concept="aYllk" id="aBi$Bfs0cz" role="3AunhB">
+                    <node concept="3A2sRY" id="aBi$Bfs1qr" role="aYrYs">
+                      <ref role="3A2yKK" node="4rRw8_Avdbv" resolve="var" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aqczg" id="aBi$Bfs0c_" role="3cqZAp">
+                <node concept="3XxkQB" id="aBi$Bfs0cA" role="3Aqpz8">
+                  <node concept="aYllk" id="aBi$Bfs0cB" role="3XxmmS">
+                    <node concept="3A2sRY" id="aBi$Bfs1sH" role="aYrYs">
+                      <ref role="3A2yKK" node="4rRw8_Avdbv" resolve="var" />
+                    </node>
+                  </node>
+                  <node concept="a7P8L" id="aBi$Bfs0cD" role="3Xxm5W">
+                    <ref role="a7OzE" node="aBi$Bfs0cf" resolve="Q" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
       <node concept="3Aq93q" id="4rRw8_AveO7" role="3orSU4">
         <property role="3ArMco" value="true" />
         <node concept="3NuqgR" id="4rRw8_AveOb" role="3Nuqhd">
@@ -1155,7 +1225,7 @@
       <node concept="3Aq9E8" id="N6wx6Hp2i_" role="3otmyu">
         <node concept="3NuqgR" id="N6wx6Hp31S" role="3Nuqhd">
           <node concept="aZer4" id="N6wx6Hp31T" role="3XD1gS">
-            <property role="TrG5h" value="T" />
+            <property role="TrG5h" value="Q" />
           </node>
         </node>
         <node concept="3NuqgR" id="WBEjvSTpvn" role="3Nuqhd">
@@ -1214,7 +1284,7 @@
                     </node>
                   </node>
                   <node concept="a7P8L" id="WBEjvSTqEi" role="3Xxm5W">
-                    <ref role="a7OzE" node="N6wx6Hp31T" resolve="T" />
+                    <ref role="a7OzE" node="N6wx6Hp31T" resolve="Q" />
                   </node>
                 </node>
               </node>