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

Fix closures types: observe function type's inherent variance

This commit is contained in:
Fedor Isakov 2021-05-09 09:09:24 +02:00
parent 7e4eff91de
commit fc7d97f015
1 changed files with 87 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

91
samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps
View File

@ -6239,6 +6239,21 @@
</node>
<node concept="32pEOW" id="53tmmMtoTc6" role="3vLBG7" />
</node>
<node concept="3NuqgR" id="7XekScW7T7L" role="0Rg$4">
<node concept="aZer4" id="7XekScW7T7M" role="3XD1gS">
<property role="TrG5h" value="StripParamsT" />
<node concept="2OqwBi" id="7XekScW7T7N" role="3gj$pD">
<node concept="37vLTw" id="7XekScW7T7O" role="2Oq$k0">
<ref role="3cqZAo" node="554EtBH_$Cg" resolve="paramTypes" />
</node>
<node concept="34oBXx" id="7XekScW7T7P" role="2OqNvi" />
</node>
</node>
<node concept="aZer4" id="7XekScW7T7Q" role="3XD1gS">
<property role="TrG5h" value="StripRetT" />
</node>
<node concept="32pEOW" id="7XekScW7T7R" role="3vLBG7" />
</node>
<node concept="3xSepi" id="554EtBH_$D7" role="3xSepv">
<node concept="3Aq9E8" id="554EtBH_$D8" role="3xSepj">
<node concept="3I6sU6" id="554EtBH_$D9" role="3Ip0Jz">
@ -6309,6 +6324,74 @@
</node>
</node>
</node>
<node concept="3Aqczg" id="7XekScW7T9_" role="3cqZAp">
<node concept="3Aqt3T" id="7XekScW7T9z" role="3Aqpz8">
<ref role="3AqCNq" to="kqnc:7XekScW7Slx" resolve="stripUpper" />
<node concept="a7P8L" id="7XekScW7Ta$" role="3AunhB">
<ref role="a7OzE" node="7XekScW7T7Q" resolve="StripRetT" />
</node>
<node concept="a7P8L" id="7XekScW7TaI" role="3AunhB">
<ref role="a7OzE" node="53tmmMtoLly" resolve="RetT" />
</node>
</node>
</node>
<node concept="3SKdUt" id="7XekScWqall" role="3cqZAp">
<node concept="1PaTwC" id="7XekScWqalm" role="1aUNEU">
<node concept="3oM_SD" id="7XekScWqamy" role="1PaTwD">
<property role="3oM_SC" value="FIXME" />
</node>
<node concept="3oM_SD" id="7XekScWqam$" role="1PaTwD">
<property role="3oM_SC" value="need" />
</node>
<node concept="3oM_SD" id="7XekScWqamB" role="1PaTwD">
<property role="3oM_SC" value="a" />
</node>
<node concept="3oM_SD" id="7XekScWqamF" role="1PaTwD">
<property role="3oM_SC" value="way" />
</node>
<node concept="3oM_SD" id="7XekScWqamK" role="1PaTwD">
<property role="3oM_SC" value="to" />
</node>
<node concept="3oM_SD" id="7XekScWqano" role="1PaTwD">
<property role="3oM_SC" value="use" />
</node>
<node concept="3oM_SD" id="7XekScWqamQ" role="1PaTwD">
<property role="3oM_SC" value="pass" />
</node>
<node concept="3oM_SD" id="7XekScWqamX" role="1PaTwD">
<property role="3oM_SC" value="term" />
</node>
<node concept="3oM_SD" id="7XekScWqan5" role="1PaTwD">
<property role="3oM_SC" value="list" />
</node>
<node concept="3oM_SD" id="7XekScWqane" role="1PaTwD">
<property role="3oM_SC" value="directly" />
</node>
</node>
</node>
<node concept="3Aqczg" id="7XekScW7TaP" role="3cqZAp">
<node concept="3Aqt3T" id="7XekScW7TaQ" role="3Aqpz8">
<ref role="3AqCNq" to="kqnc:7XekScW7SL3" resolve="stripLowerAll" />
<node concept="Hz6ka" id="7XekScWqajl" role="3AunhB">
<node concept="1Pxxm1" id="7XekScWqajk" role="Hz6kd">
<node concept="3wAshV" id="7XekScWqajy" role="1Pxxm2">
<node concept="a7P8L" id="7XekScWqajx" role="3wAq21">
<ref role="a7OzE" node="7XekScW7T7M" resolve="StripParamsT" />
</node>
</node>
</node>
</node>
<node concept="Hz6ka" id="7XekScWqajP" role="3AunhB">
<node concept="1Pxxm1" id="7XekScWqajO" role="Hz6kd">
<node concept="3wAshV" id="7XekScWqajZ" role="1Pxxm2">
<node concept="a7P8L" id="7XekScWqajY" role="3wAq21">
<ref role="a7OzE" node="53tmmMtoLj2" resolve="ParamsT" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3Aqczg" id="53tmmMtoOSO" role="3cqZAp">
<node concept="3A8Hvi" id="53tmmMtoOSI" role="3Aqpz8">
<node concept="a7P8L" id="53tmmMtoOUU" role="3A8wtg">
@ -6318,14 +6401,14 @@
<ref role="ns1xF" to="fa4b:6$MmqWflYd6" resolve="function" />
<node concept="nsMwS" id="53tmmMtoOV3" role="ns1xD">
<ref role="nsMwP" to="fa4b:6$MmqWflYdw" resolve="params" />
<node concept="a7P8L" id="53tmmMtoOV7" role="iSaTp">
<ref role="a7OzE" node="53tmmMtoLj2" resolve="ParamsT" />
<node concept="a7P8L" id="7XekScW7Tcc" role="iSaTp">
<ref role="a7OzE" node="7XekScW7T7M" resolve="StripParamsT" />
</node>
</node>
<node concept="nsMwS" id="53tmmMtoOVl" role="ns1xD">
<ref role="nsMwP" to="fa4b:6$MmqWflYdg" resolve="result" />
<node concept="a7P8L" id="53tmmMtoOVs" role="iSaTp">
<ref role="a7OzE" node="53tmmMtoLly" resolve="RetT" />
<node concept="a7P8L" id="7XekScW7Tcg" role="iSaTp">
<ref role="a7OzE" node="7XekScW7T7Q" resolve="StripRetT" />
</node>
</node>
</node>