natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Optimize typechecking of IInferredExpression

This commit is contained in:
Fedor Isakov 2024-09-30 12:59:06 +02:00
parent 11c78cad96
commit 074dc8c840
1 changed files with 45 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

75
samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
View File

@ -59510,45 +59510,60 @@
<node concept="1nLNMY" id="7o7XkDtsoc2" role="1nK1Vg"> <node concept="1nLNMY" id="7o7XkDtsoc2" role="1nK1Vg">
<property role="TrG5h" value="iInferredExpression" /> <property role="TrG5h" value="iInferredExpression" />
<node concept="3clFbS" id="7o7XkDtsoc3" role="1nLNMH"> <node concept="3clFbS" id="7o7XkDtsoc3" role="1nLNMH">
<node concept="Oftf1" id="7o7XkDtsosG" role="3cqZAp"> <node concept="3clFbJ" id="5ZROos5mKGa" role="3cqZAp">
<node concept="2OqwBi" id="7o7XkDtsoth" role="Oftjs"> <node concept="3clFbS" id="5ZROos5mKGc" role="3clFbx">
<node concept="2OqwBi" id="7o7XkDtsoti" role="2Oq$k0"> <node concept="1mebxG" id="5ZROos5iR5w" role="3cqZAp">
<node concept="2OqwBi" id="7o7XkDtsotj" role="2Oq$k0"> <node concept="2OqwBi" id="5ZROos5iRh5" role="1mebXD">
<node concept="3A2sRY" id="7o7XkDtsotk" role="2Oq$k0"> <node concept="2OqwBi" id="5ZROos5iRh6" role="2Oq$k0">
<ref role="3A2yKK" node="7o7XkDtsoc5" resolve="iie" /> <node concept="2OqwBi" id="5ZROos5iRh7" role="2Oq$k0">
</node> <node concept="2OqwBi" id="5ZROos5iRh8" role="2Oq$k0">
<node concept="z$bX8" id="7o7XkDtsotl" role="2OqNvi" /> <node concept="3A2sRY" id="5ZROos5iRh9" role="2Oq$k0">
</node> <ref role="3A2yKK" node="7o7XkDtsoc5" resolve="iie" />
<node concept="v3k3i" id="7o7XkDtsotm" role="2OqNvi">
<node concept="chp4Y" id="7o7XkDtsotn" role="v3oSu">
<ref role="cht4Q" to="tpee:JiVENj$YN9" resolve="IInferenceContextProvider" />
</node>
</node>
</node>
<node concept="3zZkjj" id="7o7XkDtsoto" role="2OqNvi">
<node concept="1bVj0M" id="7o7XkDtsotp" role="23t8la">
<node concept="3clFbS" id="7o7XkDtsotq" role="1bW5cS">
<node concept="3clFbF" id="7o7XkDtsotr" role="3cqZAp">
<node concept="2OqwBi" id="7o7XkDtsots" role="3clFbG">
<node concept="37vLTw" id="7o7XkDtsott" role="2Oq$k0">
<ref role="3cqZAo" node="7o7XkDtsotw" resolve="it" />
</node> </node>
<node concept="2qgKlT" id="7o7XkDtsotu" role="2OqNvi"> <node concept="z$bX8" id="5ZROos5iRha" role="2OqNvi" />
<ref role="37wK5l" to="tpek:JiVENj$Z0y" resolve="canProvideInferenceContext" /> </node>
<node concept="3A2sRY" id="7o7XkDtsouU" role="37wK5m"> <node concept="v3k3i" id="5ZROos5iRhb" role="2OqNvi">
<ref role="3A2yKK" node="7o7XkDtsoc5" resolve="iie" /> <node concept="chp4Y" id="5ZROos5iRhc" role="v3oSu">
<ref role="cht4Q" to="tpee:JiVENj$YN9" resolve="IInferenceContextProvider" />
</node>
</node>
</node>
<node concept="3zZkjj" id="5ZROos5iRhd" role="2OqNvi">
<node concept="1bVj0M" id="5ZROos5iRhe" role="23t8la">
<node concept="3clFbS" id="5ZROos5iRhf" role="1bW5cS">
<node concept="3clFbF" id="5ZROos5iRhg" role="3cqZAp">
<node concept="2OqwBi" id="5ZROos5iRhh" role="3clFbG">
<node concept="37vLTw" id="5ZROos5iRhi" role="2Oq$k0">
<ref role="3cqZAo" node="5ZROos5iRhl" resolve="it" />
</node>
<node concept="2qgKlT" id="5ZROos5iRhj" role="2OqNvi">
<ref role="37wK5l" to="tpek:JiVENj$Z0y" resolve="canProvideInferenceContext" />
<node concept="3A2sRY" id="5ZROos5iRhk" role="37wK5m">
<ref role="3A2yKK" node="7o7XkDtsoc5" resolve="iie" />
</node>
</node>
</node>
</node> </node>
</node> </node>
<node concept="gl6BB" id="5ZROos5iRhl" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="5ZROos5iRhm" role="1tU5fm" />
</node>
</node> </node>
</node> </node>
</node> </node>
<node concept="gl6BB" id="7o7XkDtsotw" role="1bW2Oz"> <node concept="1uHKPH" id="5ZROos5iRhn" role="2OqNvi" />
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="7o7XkDtsotx" role="1tU5fm" />
</node>
</node> </node>
</node> </node>
</node> </node>
<node concept="2OqwBi" id="5ZROos5mKZv" role="3clFbw">
<node concept="3A2sRY" id="5ZROos5mKQg" role="2Oq$k0">
<ref role="3A2yKK" node="7o7XkDtsoc5" resolve="iie" />
</node>
<node concept="2qgKlT" id="5ZROos5mLsR" role="2OqNvi">
<ref role="37wK5l" to="tpek:Q$FjPqwIoN" resolve="needInference" />
</node>
</node>
</node> </node>
</node> </node>
<node concept="2t___k" id="7o7XkDtsoc4" role="1nLNMg"> <node concept="2t___k" id="7o7XkDtsoc4" role="1nLNMg">