From 3af6cf93b063903e26bf2e3ab43a8474f776c024 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Thu, 18 Nov 2021 12:29:08 +0100
Subject: [PATCH] Fix missing effect

---
 ...ins.mps.coderules.typechecking.service.mps | 65 +++++++++++++++++--
 1 file changed, 58 insertions(+), 7 deletions(-)

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 0047fef7..c63b0959 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
@@ -6041,14 +6041,65 @@
             </node>
           </node>
         </node>
-        <node concept="3clFbF" id="1PN9XOHG6wO" role="3cqZAp">
-          <node concept="3nyPlj" id="1PN9XOHG6wQ" role="3clFbG">
-            <ref role="37wK5l" to="1yqb:51ek2rQHqMS" resolve="schedule" />
-            <node concept="37vLTw" id="1PN9XOHG6wR" role="37wK5m">
-              <ref role="3cqZAo" node="51ek2rQxWHt" resolve="preconfigure" />
+        <node concept="3clFbF" id="1PN9XOI2wp7" role="3cqZAp">
+          <node concept="1rXfSq" id="1PN9XOI2wp5" role="3clFbG">
+            <ref role="37wK5l" to="1yqb:51ek2rQHvJ1" resolve="composeEffect" />
+            <node concept="3nyPlj" id="1PN9XOHG6wQ" role="37wK5m">
+              <ref role="37wK5l" to="1yqb:51ek2rQHqMS" resolve="schedule" />
+              <node concept="37vLTw" id="1PN9XOHG6wR" role="37wK5m">
+                <ref role="3cqZAo" node="51ek2rQxWHt" resolve="preconfigure" />
+              </node>
+              <node concept="37vLTw" id="1PN9XOHG6wS" role="37wK5m">
+                <ref role="3cqZAo" node="RZQG98YN6n" resolve="subscribeScheduler" />
+              </node>
             </node>
-            <node concept="37vLTw" id="1PN9XOHG6wS" role="37wK5m">
-              <ref role="3cqZAo" node="RZQG98YN6n" resolve="subscribeScheduler" />
+            <node concept="1bVj0M" id="1PN9XOI2Azb" role="37wK5m">
+              <node concept="37vLTG" id="1PN9XOI2BWu" role="1bW2Oz">
+                <property role="TrG5h" value="inEff" />
+                <node concept="3uibUv" id="1PN9XOI2DF1" role="1tU5fm">
+                  <ref role="3uigEE" to="1yqb:2daneBOWXQd" resolve="Effect" />
+                </node>
+              </node>
+              <node concept="3clFbS" id="1PN9XOI2Azd" role="1bW5cS">
+                <node concept="3clFbF" id="1PN9XOI2M5R" role="3cqZAp">
+                  <node concept="2OqwBi" id="1PN9XOI2Nmj" role="3clFbG">
+                    <node concept="37vLTw" id="1PN9XOI2M5P" role="2Oq$k0">
+                      <ref role="3cqZAo" node="1PN9XOI2BWu" resolve="inEff" />
+                    </node>
+                    <node concept="liA8E" id="1PN9XOI2P28" role="2OqNvi">
+                      <ref role="37wK5l" to="1yqb:51ek2rQD9Pw" resolve="compose" />
+                      <node concept="1bVj0M" id="1PN9XOI2QZ0" role="37wK5m">
+                        <node concept="3clFbS" id="1PN9XOI2QZ1" role="1bW5cS">
+                          <node concept="3clFbF" id="1PN9XOI31Rb" role="3cqZAp">
+                            <node concept="2YIFZM" id="1PN9XOI35Cm" role="3clFbG">
+                              <ref role="1Pybhc" to="1yqb:2daneBOWXQd" resolve="Effect" />
+                              <ref role="37wK5l" to="1yqb:6BMBBPCQBuH" resolve="of" />
+                              <node concept="Xl_RD" id="1PN9XOI38Xc" role="37wK5m">
+                                <property role="Xl_RC" value="typechecking" />
+                              </node>
+                              <node concept="2OqwBi" id="1PN9XOI3hq_" role="37wK5m">
+                                <node concept="37vLTw" id="1PN9XOI3fE6" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="2daneBP_Jiy" resolve="REPORT_ITEMS" />
+                                </node>
+                                <node concept="liA8E" id="1PN9XOI3jCC" role="2OqNvi">
+                                  <ref role="37wK5l" to="1yqb:6BMBBPCRIcz" resolve="is" />
+                                  <node concept="2OqwBi" id="1PN9XOI3oDg" role="37wK5m">
+                                    <node concept="37vLTw" id="1PN9XOI3lWk" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="1FOQehx3Ss8" resolve="reportItems" />
+                                    </node>
+                                    <node concept="26Dbio" id="1PN9XOI3r9c" role="2OqNvi" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3clFbH" id="1PN9XOI2Jt1" role="3cqZAp" />
+              </node>
             </node>
           </node>
         </node>