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

Fix closure's parameter type inference; properly lift function type

This commit is contained in:
Fedor Isakov 2022-11-04 12:58:14 +01:00
parent 497691e9af
commit 2a6d60133b
3 changed files with 1206 additions and 727 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

File diff suppressed because it is too large Load Diff

11
samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps
View File

@ -1893,9 +1893,6 @@
<node concept="37vLTw" id="4yZzE4kNldg" role="3cqZAk">
<ref role="3cqZAo" node="zb1Nk79_m3" resolve="a" />
</node>
<node concept="1U20sH" id="2MpDLe9FmOl" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
</node>
@ -1904,6 +1901,9 @@
</node>
</node>
</node>
<node concept="1U20sH" id="vrUbzikqwJ" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
</node>
@ -2710,6 +2710,9 @@
<property role="TrG5h" value="x" />
<node concept="10Oyi0" id="5QlJgjTFaH5" role="1tU5fm" />
</node>
<node concept="1U20sH" id="vrUbzjwbgP" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
</node>
@ -2748,7 +2751,7 @@
<property role="TrG5h" value="x" />
<node concept="10Oyi0" id="4yZzE4kP8Th" role="1tU5fm" />
</node>
<node concept="1U20sH" id="5QlJgjTFb88" role="lGtFl">
<node concept="1U20sH" id="vrUbzjzOYe" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>

10
samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections.mps
View File

@ -733,11 +733,14 @@
</node>
<node concept="3cpWs6" id="6BFOg89JfuS" role="3cqZAp" />
</node>
<node concept="1U20sH" id="6BFOg89Jfw1" role="lGtFl">
<node concept="1U20sH" id="vrUbzjBXR_" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
<node concept="1U20sH" id="vrUbzjBUWK" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
<node concept="3SKdUt" id="6BFOg89J9mj" role="3cqZAp">
@ -819,12 +822,15 @@
<property role="TrG5h" value="cond" />
<node concept="10P_77" id="6BFOg89J8x8" role="1tU5fm" />
</node>
<node concept="1U20sH" id="6BFOg89JehY" role="lGtFl">
<node concept="1U20sH" id="vrUbzjBXQU" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
<node concept="3clFbT" id="6BFOg89J8zB" role="2SgHGx" />
</node>
<node concept="1U20sH" id="vrUbzjBXis" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
<node concept="3clFbH" id="4yZzE4kOzvv" role="3cqZAp" />