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

Ensure type variable bounds are processed in coerce query. 

This fixes constraint errors in model check while running
typechecking with coderules.
This commit is contained in:
Fedor Isakov 2020-05-05 13:20:59 +02:00
parent 56c341f615
commit 66d2896fff
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -49262,6 +49262,15 @@
<node concept="3xSepi" id="tbauFybkiI" role="3xSepv">
<node concept="3Aq9E8" id="tbauFybkiJ" role="3xSepj">
<node concept="3I6sU6" id="tbauFybkiK" role="3Ip0Jz">
<node concept="3I6s7M" id="7AMUQZUUflM" role="3I6sU7">
<node concept="3Aqt3T" id="7AMUQZUUflK" role="3I6s78">
<ref role="3AqCNq" node="36PPzUCxZA0" resolve="importDecls" />
</node>
</node>
</node>
</node>
<node concept="3Aq9E8" id="7AMUQZUUfnZ" role="3xSepj">
<node concept="3I6sU6" id="7AMUQZUUfo0" role="3Ip0Jz">
<node concept="3I6s7M" id="tbauFybkiL" role="3I6sU7">
<node concept="3jbYBd" id="tbauFybkiM" role="3I6s78">
<ref role="3jbY9l" node="5itBwMau8m1" resolve="lift" />