From 49f81cbd9bbf6e7f9e2c1ec1f0210d3762679f28 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 20 Jul 2020 16:26:59 +0200
Subject: [PATCH] Fix Show Type action to use checkTypeLocally() and report
 trace/errors properly.

---
 ...s.mps.coderules.typechecking.ui.plugin.mps | 46 ++++++++++++++++---
 1 file changed, 40 insertions(+), 6 deletions(-)

diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
index ab6862c3..6fe52e33 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.ui/models/jetbrains.mps.coderules.typechecking.ui.plugin.mps
@@ -2631,15 +2631,48 @@
                     <property role="TrG5h" value="typeNode" />
                     <node concept="3Tqbb2" id="2cnGCY$o4BH" role="1tU5fm" />
                     <node concept="2OqwBi" id="2cnGCY$rSBu" role="33vP2m">
-                      <node concept="2YIFZM" id="2cnGCY$rQEE" role="2Oq$k0">
-                        <ref role="37wK5l" to="tj24:1FOQehxzbI0" resolve="forRepository" />
-                        <ref role="1Pybhc" to="tj24:7kaxm0sEy3e" resolve="TypecheckingService" />
-                        <node concept="37vLTw" id="2cnGCY$rSlc" role="37wK5m">
-                          <ref role="3cqZAo" node="2cnGCY$rO2g" resolve="repository" />
+                      <node concept="2OqwBi" id="61G6TdDEvB7" role="2Oq$k0">
+                        <node concept="2OqwBi" id="61G6TdDEuyK" role="2Oq$k0">
+                          <node concept="2OqwBi" id="61G6TdDF0xn" role="2Oq$k0">
+                            <node concept="2YIFZM" id="2cnGCY$rQEE" role="2Oq$k0">
+                              <ref role="37wK5l" to="tj24:1FOQehxzbI0" resolve="forRepository" />
+                              <ref role="1Pybhc" to="tj24:7kaxm0sEy3e" resolve="TypecheckingService" />
+                              <node concept="37vLTw" id="2cnGCY$rSlc" role="37wK5m">
+                                <ref role="3cqZAo" node="2cnGCY$rO2g" resolve="repository" />
+                              </node>
+                            </node>
+                            <node concept="liA8E" id="61G6TdDF1oc" role="2OqNvi">
+                              <ref role="37wK5l" to="tj24:2xx8OBydcrE" resolve="withArgs" />
+                              <node concept="2OqwBi" id="61G6TdDF3eG" role="37wK5m">
+                                <node concept="37vLTw" id="61G6TdDF1Yt" role="2Oq$k0">
+                                  <ref role="3cqZAo" node="6hqFpWnfpcc" resolve="nodes" />
+                                </node>
+                                <node concept="1uHKPH" id="61G6TdDF5cr" role="2OqNvi" />
+                              </node>
+                            </node>
+                          </node>
+                          <node concept="liA8E" id="61G6TdCY3U2" role="2OqNvi">
+                            <ref role="37wK5l" to="tj24:1G9Y_Qvby8B" resolve="withTraceObject" />
+                            <node concept="2ShNRf" id="61G6TdCY3U3" role="37wK5m">
+                              <node concept="HV5vD" id="61G6TdCY3U4" role="2ShVmc">
+                                <ref role="HV5vE" to="1yqb:1G9Y_Qvb1CP" resolve="TraceObject" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="liA8E" id="61G6TdCY3TT" role="2OqNvi">
+                          <ref role="37wK5l" to="tj24:2Y70AYEd10O" resolve="withMessageHandler" />
+                          <node concept="2YIFZM" id="61G6TdCY3TU" role="37wK5m">
+                            <ref role="1Pybhc" to="31yc:4MaHsBDdlvx" resolve="MessageLog" />
+                            <ref role="37wK5l" to="31yc:2mhJggjuVj0" resolve="get" />
+                            <node concept="37vLTw" id="61G6TdCY3TV" role="37wK5m">
+                              <ref role="3cqZAo" node="6hqFpWnfkNg" resolve="mpsProject" />
+                            </node>
+                          </node>
                         </node>
                       </node>
                       <node concept="liA8E" id="2cnGCY$rT84" role="2OqNvi">
-                        <ref role="37wK5l" to="tj24:3IIf9O_tkwF" resolve="getTypeOf" />
+                        <ref role="37wK5l" to="tj24:1FOQehxnxRH" resolve="calcTypeLocally" />
                         <node concept="2OqwBi" id="2cnGCY$rUzz" role="37wK5m">
                           <node concept="37vLTw" id="2cnGCY$rTTO" role="2Oq$k0">
                             <ref role="3cqZAo" node="6hqFpWnfpcc" resolve="nodes" />
@@ -2650,6 +2683,7 @@
                     </node>
                   </node>
                 </node>
+                <node concept="3clFbH" id="61G6TdDEwDI" role="3cqZAp" />
                 <node concept="3clFbJ" id="2cnGCY$oyx1" role="3cqZAp">
                   <node concept="3clFbS" id="2cnGCY$oyx2" role="3clFbx">
                     <node concept="3cpWs8" id="2cnGCY$oyx3" role="3cqZAp">