From 25e8e5fd78cdc23ad94f0e46b67c8c3c2fbf5bee Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Tue, 15 Sep 2020 13:32:25 +0200
Subject: [PATCH] Clear shared caches on releasing queries for generator.

---
 ...ains.mps.coderules.typechecking.plugin.mps | 50 +++++++++++++---
 ...ins.mps.coderules.typechecking.service.mps | 58 +++++--------------
 2 files changed, 55 insertions(+), 53 deletions(-)

diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
index bcfd99dc..51a842e9 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps
@@ -2052,18 +2052,50 @@
           </node>
         </node>
         <node concept="3clFbS" id="6l3eCxofJGT" role="3clF47">
-          <node concept="3clFbF" id="1z4$59j6KuM" role="3cqZAp">
-            <node concept="2OqwBi" id="1z4$59j6L77" role="3clFbG">
-              <node concept="37vLTw" id="1z4$59j6KuK" role="2Oq$k0">
-                <ref role="3cqZAo" node="1z4$59j5F_5" resolve="typecheckingService" />
-              </node>
-              <node concept="liA8E" id="1z4$59j6LAx" role="2OqNvi">
-                <ref role="37wK5l" to="tj24:4duYm8_j5Ga" resolve="clearCache" />
-                <node concept="37vLTw" id="1z4$59j6NEW" role="37wK5m">
-                  <ref role="3cqZAo" node="6l3eCxofJGR" resolve="node" />
+          <node concept="3clFbJ" id="3DPJ8QJpx$8" role="3cqZAp">
+            <node concept="3clFbS" id="3DPJ8QJpx$a" role="3clFbx">
+              <node concept="3clFbF" id="1z4$59j6KuM" role="3cqZAp">
+                <node concept="2OqwBi" id="1z4$59j6L77" role="3clFbG">
+                  <node concept="37vLTw" id="1z4$59j6KuK" role="2Oq$k0">
+                    <ref role="3cqZAo" node="1z4$59j5F_5" resolve="typecheckingService" />
+                  </node>
+                  <node concept="liA8E" id="1z4$59j6LAx" role="2OqNvi">
+                    <ref role="37wK5l" to="tj24:4duYm8_j5Ga" resolve="clearCache" />
+                    <node concept="37vLTw" id="1z4$59j6NEW" role="37wK5m">
+                      <ref role="3cqZAo" node="6l3eCxofJGR" resolve="node" />
+                    </node>
+                  </node>
                 </node>
               </node>
             </node>
+            <node concept="3y3z36" id="3DPJ8QJpz3r" role="3clFbw">
+              <node concept="10Nm6u" id="3DPJ8QJpzAI" role="3uHU7w" />
+              <node concept="37vLTw" id="3DPJ8QJpB_9" role="3uHU7B">
+                <ref role="3cqZAo" node="6l3eCxofJGR" resolve="node" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbJ" id="3DPJ8QJqIEE" role="3cqZAp">
+            <node concept="3clFbS" id="3DPJ8QJqIEG" role="3clFbx">
+              <node concept="3clFbF" id="3DPJ8QJqJ5v" role="3cqZAp">
+                <node concept="2OqwBi" id="3DPJ8QJqJ5w" role="3clFbG">
+                  <node concept="37vLTw" id="3DPJ8QJqJ5x" role="2Oq$k0">
+                    <ref role="3cqZAo" node="1z4$59j5F_5" resolve="typecheckingService" />
+                  </node>
+                  <node concept="liA8E" id="3DPJ8QJqJ5y" role="2OqNvi">
+                    <ref role="37wK5l" to="tj24:3DPJ8QJpC3_" resolve="clearSharedCache" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="2OqwBi" id="3DPJ8QJqIL1" role="3clFbw">
+              <node concept="37vLTw" id="3DPJ8QJqIL2" role="2Oq$k0">
+                <ref role="3cqZAo" node="61G6TdCXYz$" resolve="flags" />
+              </node>
+              <node concept="liA8E" id="3DPJ8QJqIL3" role="2OqNvi">
+                <ref role="37wK5l" to="1ka:~TypecheckingSession$Flags.isGenerator()" resolve="isGenerator" />
+              </node>
+            </node>
           </node>
         </node>
         <node concept="2AHcQZ" id="6l3eCxofJGU" role="2AJF6D">
diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
index 3b184c7c..7599e388 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
@@ -7280,51 +7280,21 @@
             </node>
           </node>
         </node>
-        <node concept="3SKdUt" id="7gMIJIyCEQU" role="3cqZAp">
-          <node concept="1PaTwC" id="7gMIJIyCEQV" role="1aUNEU">
-            <node concept="3oM_SD" id="7gMIJIyCET4" role="1PaTwD">
-              <property role="3oM_SC" value="FIXME" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="3DPJ8QJpIYH" role="jymVt" />
+    <node concept="3clFb_" id="3DPJ8QJpC3_" role="jymVt">
+      <property role="TrG5h" value="clearSharedCache" />
+      <node concept="3cqZAl" id="3DPJ8QJpC3C" role="3clF45" />
+      <node concept="3Tm1VV" id="3DPJ8QJpC3D" role="1B3o_S" />
+      <node concept="3clFbS" id="3DPJ8QJpC3E" role="3clF47">
+        <node concept="3clFbF" id="3DPJ8QJpC44" role="3cqZAp">
+          <node concept="2OqwBi" id="3DPJ8QJpC45" role="3clFbG">
+            <node concept="37vLTw" id="3DPJ8QJpC46" role="2Oq$k0">
+              <ref role="3cqZAo" node="1z4$59jKKYm" resolve="state" />
             </node>
-            <node concept="3oM_SD" id="7gMIJIyCET6" role="1PaTwD">
-              <property role="3oM_SC" value="not" />
-            </node>
-            <node concept="3oM_SD" id="7gMIJIyCETp" role="1PaTwD">
-              <property role="3oM_SC" value="clearing" />
-            </node>
-            <node concept="3oM_SD" id="7gMIJIyCEUK" role="1PaTwD">
-              <property role="3oM_SC" value="&quot;shared&quot;" />
-            </node>
-            <node concept="3oM_SD" id="7gMIJIyCEUP" role="1PaTwD">
-              <property role="3oM_SC" value="(per-repo)" />
-            </node>
-            <node concept="3oM_SD" id="7gMIJIyCEVj" role="1PaTwD">
-              <property role="3oM_SC" value="cache" />
-            </node>
-            <node concept="3oM_SD" id="7gMIJIyCEVU" role="1PaTwD">
-              <property role="3oM_SC" value="because" />
-            </node>
-            <node concept="3oM_SD" id="7gMIJIyCEWy" role="1PaTwD">
-              <property role="3oM_SC" value="of" />
-            </node>
-            <node concept="3oM_SD" id="7gMIJIyCEXj" role="1PaTwD">
-              <property role="3oM_SC" value="significant" />
-            </node>
-            <node concept="3oM_SD" id="7gMIJIyCEYl" role="1PaTwD">
-              <property role="3oM_SC" value="slowdown" />
-            </node>
-          </node>
-        </node>
-        <node concept="1X3_iC" id="7gMIJIy7lq8" role="lGtFl">
-          <property role="3V$3am" value="statement" />
-          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
-          <node concept="3clFbF" id="7gMIJIy6nS4" role="8Wnug">
-            <node concept="2OqwBi" id="7gMIJIy6o1W" role="3clFbG">
-              <node concept="37vLTw" id="7gMIJIy6nS2" role="2Oq$k0">
-                <ref role="3cqZAo" node="1z4$59jKKYm" resolve="state" />
-              </node>
-              <node concept="liA8E" id="7gMIJIy6pac" role="2OqNvi">
-                <ref role="37wK5l" node="7gMIJIy66LK" resolve="clearSharedCache" />
-              </node>
+            <node concept="liA8E" id="3DPJ8QJpC47" role="2OqNvi">
+              <ref role="37wK5l" node="7gMIJIy66LK" resolve="clearSharedCache" />
             </node>
           </node>
         </node>