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

Fix: clean up lub() constraint in one case. Caused typechecker errors.

This commit is contained in:
Grigorii Kirgizov 2019-10-24 23:55:08 +03:00
parent 03702da2f0
commit 122917cc42
1 changed files with 40 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -18770,6 +18770,24 @@
</node>
</node>
</node>
<node concept="3Aq93q" id="66mZxBQpc$j" role="1nLNMb">
<node concept="3I6sU6" id="66mZxBQpc$k" role="3Ip0Jz">
<node concept="3I6s7M" id="66mZxBQpc$l" role="3I6sU7">
<node concept="3Aqt3T" id="66mZxBQpc$m" role="3I6s78">
<ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
<node concept="a7P8L" id="66mZxBQpc$n" role="3AunhB">
<ref role="a7OzE" node="39Sam6Y68iN" resolve="Lub" />
</node>
<node concept="a7P8L" id="66mZxBQpc$o" role="3AunhB">
<ref role="a7OzE" node="2VOKs1AdaCE" resolve="L" />
</node>
<node concept="a7P8L" id="66mZxBQpc$p" role="3AunhB">
<ref role="a7OzE" node="2VOKs1AdaCX" resolve="R" />
</node>
</node>
</node>
</node>
</node>
<node concept="3Aq9E8" id="39Sam6Y68zm" role="1nLNMd">
<node concept="3I6sU6" id="39Sam6Y68zn" role="3Ip0Jz">
<node concept="3I6s7M" id="39Sam6Y68zt" role="3I6sU7">
@ -34730,15 +34748,30 @@
<node concept="3clFbH" id="6cPUNFQQzD5" role="3cqZAp" />
<node concept="3clFbJ" id="6cPUNFQQr7e" role="3cqZAp">
<node concept="3clFbS" id="6cPUNFQQr7g" role="3clFbx">
<node concept="3Aqczg" id="7XRk2O3zflD" role="3cqZAp">
<node concept="3Aqt3T" id="7XRk2O3zflp" role="3Aqpz8">
<ref role="3AqCNq" node="5310cdpUCx3" resolve="intro_hasBound" />
<node concept="aZ4PW" id="7XRk2O3zflr" role="3AunhB">
<node concept="3txIi4" id="7XRk2O3zflt" role="aZ4eD" />
<node concept="3clFbJ" id="66mZxBQng_E" role="3cqZAp">
<node concept="3clFbS" id="66mZxBQng_G" role="3clFbx">
<node concept="3Aqczg" id="7XRk2O3zflD" role="3cqZAp">
<node concept="3Aqt3T" id="7XRk2O3zflp" role="3Aqpz8">
<ref role="3AqCNq" node="5310cdpUCx3" resolve="intro_hasBound" />
<node concept="aZ4PW" id="7XRk2O3zflr" role="3AunhB">
<node concept="3txIi4" id="7XRk2O3zflt" role="aZ4eD" />
</node>
<node concept="a7P8L" id="6cPUNFQQ$fN" role="3AunhB">
<ref role="a7OzE" node="7XRk2O3zfxP" resolve="Bnd" />
</node>
</node>
</node>
<node concept="a7P8L" id="6cPUNFQQ$fN" role="3AunhB">
<ref role="a7OzE" node="7XRk2O3zfxP" resolve="Bnd" />
</node>
<node concept="2OqwBi" id="66mZxBQnhgx" role="3clFbw">
<node concept="2OqwBi" id="66mZxBQngLd" role="2Oq$k0">
<node concept="3tDTZT" id="66mZxBQng_Y" role="2Oq$k0">
<ref role="3tDTNw" node="7XRk2O3zfwZ" resolve="tvd1" />
</node>
<node concept="3TrEf2" id="66mZxBQngXu" role="2OqNvi">
<ref role="3Tt5mk" to="tpee:hFztrQw" resolve="bound" />
</node>
</node>
<node concept="3x8VRR" id="66mZxBQnhEl" role="2OqNvi" />
</node>
</node>
</node>