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

Ensure parent of varRef is included into typechecking. This fixes some locally inferred types mismatch.

This commit is contained in:
Fedor Isakov 2019-02-02 16:11:38 +01:00
parent 6e85a2c4fa
commit 0fb0771ad7
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
View File

@ -2673,6 +2673,14 @@
<node concept="1nLNMY" id="6$MtiK8IMVF" role="1nK1Vg">
<property role="TrG5h" value="typeOf_VarRef" />
<node concept="3clFbS" id="6$MtiK8IMVG" role="1nLNMH">
<node concept="1mebxG" id="4ZGicUZkYFc" role="3cqZAp">
<node concept="2OqwBi" id="4ZGicUZkYOF" role="1mebXD">
<node concept="3A2sRY" id="4ZGicUZkYFZ" role="2Oq$k0">
<ref role="3A2yKK" node="3TFdEPZe4bq" resolve="varRef" />
</node>
<node concept="1mfA1w" id="4ZGicUZkZib" role="2OqNvi" />
</node>
</node>
<node concept="1mebxG" id="6EwjVjWo_kt" role="3cqZAp">
<node concept="2OqwBi" id="6EwjVjWoBxM" role="1mebXD">
<node concept="3A2sRY" id="6EwjVjWo_lt" role="2Oq$k0">