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

Typechecking templates: no more capturing of return value type in method calls

This commit is contained in:
Fedor Isakov 2016-01-26 15:00:25 +01:00
parent 8eea7a83a2
commit 11e4218273
1 changed files with 4 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
View File

@ -5686,21 +5686,10 @@
</node>
</node>
</node>
<node concept="3Aqczg" id="13kcg0CWP0" role="3cqZAp">
<node concept="3Aqt3T" id="13kcg0CWOW" role="3Aqpz8">
<ref role="3AqCNq" node="13kcg0CRYw" resolve="capture" />
<node concept="a7P8L" id="13kcg0CX$R" role="3AunhB">
<ref role="a7OzE" node="13kcg0CWlY" resolve="RetTypeCap" />
</node>
<node concept="a7P8L" id="13kcg0CX$Z" role="3AunhB">
<ref role="a7OzE" node="5nh5pPDxqe7" resolve="RetType" />
</node>
</node>
</node>
<node concept="3Aqczg" id="5nh5pPDxpUC" role="3cqZAp">
<node concept="3XxkQB" id="5nh5pPDxpUD" role="3Aqpz8">
<node concept="a7P8L" id="13kcg0CX_5" role="3Xxm5W">
<ref role="a7OzE" node="13kcg0CWlY" resolve="RetTypeCap" />
<node concept="a7P8L" id="y6Wqj8Y8ML" role="3Xxm5W">
<ref role="a7OzE" node="5nh5pPDxqe7" resolve="RetType" />
</node>
<node concept="aYllk" id="5nh5pPDxpUF" role="3XxmmS">
<node concept="3A2sRY" id="3m6K8XLcIcN" role="aYrYs">
@ -5817,21 +5806,10 @@
</node>
</node>
</node>
<node concept="3Aqczg" id="13kcg0CYbh" role="3cqZAp">
<node concept="3Aqt3T" id="13kcg0CYbd" role="3Aqpz8">
<ref role="3AqCNq" node="13kcg0CRYw" resolve="capture" />
<node concept="a7P8L" id="13kcg0CYre" role="3AunhB">
<ref role="a7OzE" node="13kcg0CXO4" resolve="RetTypeCap" />
</node>
<node concept="a7P8L" id="13kcg0CYrk" role="3AunhB">
<ref role="a7OzE" node="3m6K8XLcIcU" resolve="RetType" />
</node>
</node>
</node>
<node concept="3Aqczg" id="3m6K8XLcId8" role="3cqZAp">
<node concept="3XxkQB" id="3m6K8XLcId9" role="3Aqpz8">
<node concept="a7P8L" id="13kcg0CYEp" role="3Xxm5W">
<ref role="a7OzE" node="13kcg0CXO4" resolve="RetTypeCap" />
<node concept="a7P8L" id="y6Wqj8Y9dr" role="3Xxm5W">
<ref role="a7OzE" node="3m6K8XLcIcU" resolve="RetType" />
</node>
<node concept="aYllk" id="3m6K8XLcIdb" role="3XxmmS">
<node concept="3A2sRY" id="3m6K8XLcKsq" role="aYrYs">