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

lc: minor: Remove unneeded checkConstraints in subsumption 

This case is anyhow handled by typeConstraints_discharge rule, when subsumes_leaves fires up,
even before those removed checks repeat this work.
This commit is contained in:
grigorii.kirgizov 2019-01-28 17:02:55 +03:00
parent 172f74b6f8
commit 8d7bdcf173
1 changed files with 0 additions and 246 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -8459,17 +8459,6 @@
</node>
</node>
</node>
<node concept="3I6s7M" id="47tET_WuRco" role="3I6sU7">
<node concept="3Aqt3T" id="47tET_WuRcm" role="3I6s78">
<ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
<node concept="a7P8L" id="47tET_WuRcE" role="3AunhB">
<ref role="a7OzE" node="48ZGLP8pH7l" resolve="ITVs" />
</node>
<node concept="a7P8L" id="47tET_WuRcM" role="3AunhB">
<ref role="a7OzE" node="48ZGLP8pG8E" resolve="TVs" />
</node>
</node>
</node>
</node>
</node>
</node>
@ -8581,17 +8570,6 @@
</node>
</node>
</node>
<node concept="3I6s7M" id="47tET_WuRd9" role="3I6sU7">
<node concept="3Aqt3T" id="47tET_WuRd7" role="3I6s78">
<ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
<node concept="a7P8L" id="47tET_WuRdr" role="3AunhB">
<ref role="a7OzE" node="48ZGLP8pI8i" resolve="ITVs" />
</node>
<node concept="a7P8L" id="47tET_WuRdz" role="3AunhB">
<ref role="a7OzE" node="48ZGLP8pI8d" resolve="TVs" />
</node>
</node>
</node>
</node>
</node>
</node>
@ -11985,15 +11963,6 @@
</node>
</node>
</node>
<node concept="3AqmO8" id="47tET_WgaZR" role="8PkJo">
<property role="TrG5h" value="checkConstraints" />
<node concept="1zAUYm" id="47tET_WTBTl" role="1zAUyy">
<property role="TrG5h" value="typeList" />
</node>
<node concept="1zAUYm" id="47tET_Wgb00" role="1zAUyy">
<property role="TrG5h" value="originalTypeVars" />
</node>
</node>
<node concept="3AqmO8" id="47tET_Wgb9$" role="8PkJo">
<property role="TrG5h" value="checkVarConstraints" />
<node concept="1zAUYm" id="47tET_Wgb9V" role="1zAUyy">
@ -12057,221 +12026,6 @@
<property role="TrG5h" value="instanceTypeScheme" />
</node>
</node>
<node concept="1nLNMY" id="47tET_WgaXg" role="1nK1Vg">
<property role="TrG5h" value="checkConstraints" />
<node concept="3clFbS" id="47tET_WgaXh" role="1nLNMH">
<node concept="3SKdUt" id="47tET_Xpo1i" role="3cqZAp">
<node concept="3SKdUq" id="47tET_Xpo1k" role="3SKWNk">
<property role="3SKdUp" value="todo: seems, TVs argument isn't needed " />
</node>
</node>
<node concept="1nLNNL" id="47tET_Wgb03" role="3cqZAp">
<node concept="1nLNMm" id="47tET_Wgb04" role="1nLNNK">
<node concept="0eUR_" id="47tET_Wgb08" role="0UC6o">
<node concept="3NuqgR" id="47tET_Wgb0a" role="0eVf_">
<node concept="aZer4" id="47tET_Wgb0b" role="3XD1gS">
<property role="TrG5h" value="ITVs" />
</node>
<node concept="aZer4" id="47tET_Wgb0k" role="3XD1gS">
<property role="TrG5h" value="TVs" />
</node>
</node>
<node concept="3NuqgR" id="47tET_Wgb0A" role="0eVf_">
<node concept="aZer4" id="47tET_Wgb0B" role="3XD1gS">
<property role="TrG5h" value="TV" />
</node>
<node concept="aZer4" id="47tET_Wgb0K" role="3XD1gS">
<property role="TrG5h" value="ITV" />
</node>
<node concept="aZer4" id="47tET_Wgb0W" role="3XD1gS">
<property role="TrG5h" value="TVsTail" />
</node>
<node concept="aZer4" id="47tET_Wgb1c" role="3XD1gS">
<property role="TrG5h" value="ITVsTail" />
</node>
</node>
</node>
<node concept="0eUR_" id="47tET_Wgb4p" role="0UC6o">
<node concept="3NuqgR" id="47tET_Wgb4$" role="0eVf_">
<node concept="aZer4" id="47tET_Wgb4_" role="3XD1gS">
<property role="TrG5h" value="TV0" />
</node>
<node concept="aZer4" id="47tET_Wgb4F" role="3XD1gS">
<property role="TrG5h" value="ITV0" />
</node>
</node>
<node concept="3NuqgR" id="47tET_Wgb5v" role="0eVf_">
<node concept="aZer4" id="47tET_Wgb5w" role="3XD1gS">
<property role="TrG5h" value="S" />
</node>
<node concept="aZer4" id="47tET_Wgb6z" role="3XD1gS">
<property role="TrG5h" value="IS" />
</node>
</node>
</node>
<node concept="3Aq93q" id="47tET_Wgb29" role="1nLNMb">
<node concept="3I6sU6" id="47tET_Wgb2a" role="3Ip0Jz">
<node concept="3I6s7M" id="47tET_Wgb2b" role="3I6sU7">
<node concept="3Aqt3T" id="47tET_Wgb2c" role="3I6s78">
<ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
<node concept="1HFMs5" id="47tET_Wgb2d" role="3AunhB">
<node concept="a7P8L" id="47tET_Wgb2e" role="1uarlU">
<ref role="a7OzE" node="47tET_Wgb0b" resolve="ITVs" />
</node>
<node concept="ns1u0" id="47tET_Wgb2f" role="1uarlW">
<ref role="ns1xF" node="48ZGLP7pl6j" resolve="Cons" />
<node concept="nsMwS" id="47tET_Wgb2g" role="ns1xD">
<ref role="nsMwP" node="48ZGLP7pl6$" resolve="head" />
<node concept="1nq8_$" id="47tET_Wgb2h" role="nsMwV">
<node concept="a7P8L" id="47tET_Wgb3n" role="1nq8_t">
<ref role="a7OzE" node="47tET_Wgb0K" resolve="ITV" />
</node>
</node>
</node>
<node concept="nsMwS" id="47tET_Wgb2j" role="ns1xD">
<ref role="nsMwP" node="48ZGLP7pl6J" resolve="tail" />
<node concept="1nq8_$" id="47tET_Wgb2k" role="nsMwV">
<node concept="a7P8L" id="47tET_Wgb2l" role="1nq8_t">
<ref role="a7OzE" node="47tET_Wgb1c" resolve="ITVsTail" />
</node>
</node>
</node>
</node>
</node>
<node concept="1HFMs5" id="47tET_Wgb2m" role="3AunhB">
<node concept="a7P8L" id="47tET_Wgb2n" role="1uarlU">
<ref role="a7OzE" node="47tET_Wgb0k" resolve="TVs" />
</node>
<node concept="ns1u0" id="47tET_Wgb2o" role="1uarlW">
<ref role="ns1xF" node="48ZGLP7pl6j" resolve="Cons" />
<node concept="nsMwS" id="47tET_Wgb2p" role="ns1xD">
<ref role="nsMwP" node="48ZGLP7pl6$" resolve="head" />
<node concept="1nq8_$" id="47tET_Wgb2q" role="nsMwV">
<node concept="a7P8L" id="47tET_Wgb3u" role="1nq8_t">
<ref role="a7OzE" node="47tET_Wgb0B" resolve="TV" />
</node>
</node>
</node>
<node concept="nsMwS" id="47tET_Wgb2s" role="ns1xD">
<ref role="nsMwP" node="48ZGLP7pl6J" resolve="tail" />
<node concept="1nq8_$" id="47tET_Wgb2t" role="nsMwV">
<node concept="a7P8L" id="47tET_Wgb2u" role="1nq8_t">
<ref role="a7OzE" node="47tET_Wgb0W" resolve="TVsTail" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3Aq93q" id="47tET_Wgb4R" role="1nLNMb">
<property role="3ArMco" value="true" />
<node concept="3I6sU6" id="47tET_Wgb4S" role="3Ip0Jz">
<node concept="3I6s7M" id="47tET_Wgb6P" role="3I6sU7">
<node concept="3Aqt3T" id="47tET_Wgb6Q" role="3I6s78">
<ref role="3AqCNq" node="47tET_WOmOE" resolve="tdefConstraints" />
<node concept="a7P8L" id="47tET_Wgb6R" role="3AunhB">
<ref role="a7OzE" node="47tET_Wgb4_" resolve="TV0" />
</node>
<node concept="a7P8L" id="47tET_Wgb6S" role="3AunhB">
<ref role="a7OzE" node="47tET_Wgb5w" resolve="S" />
</node>
</node>
</node>
</node>
</node>
<node concept="3Aq93q" id="47tET_Wgb7x" role="1nLNMb">
<property role="3ArMco" value="true" />
<node concept="3I6sU6" id="47tET_Wgb7y" role="3Ip0Jz">
<node concept="3I6s7M" id="47tET_Wgb5i" role="3I6sU7">
<node concept="3Aqt3T" id="47tET_Wgb5h" role="3I6s78">
<ref role="3AqCNq" node="47tET_W4MQg" resolve="typeConstraints" />
<node concept="a7P8L" id="47tET_WTB6Y" role="3AunhB">
<ref role="a7OzE" node="47tET_Wgb4F" resolve="ITV0" />
</node>
<node concept="a7P8L" id="47tET_Wgb8k" role="3AunhB">
<ref role="a7OzE" node="47tET_Wgb6z" resolve="IS" />
</node>
</node>
</node>
</node>
</node>
<node concept="3Aq9E8" id="47tET_Wgb8v" role="1nLNMd">
<node concept="3I6sU6" id="47tET_Wgb8w" role="3Ip0Jz">
<node concept="3I6s7M" id="47tET_Wgba5" role="3I6sU7">
<node concept="3Aqt3T" id="47tET_Wgba4" role="3I6s78">
<ref role="3AqCNq" node="47tET_Wgb9$" resolve="checkVarConstraints" />
<node concept="a7P8L" id="47tET_Wgbay" role="3AunhB">
<ref role="a7OzE" node="47tET_Wgb0K" resolve="ITV" />
</node>
<node concept="a7P8L" id="47tET_WgbaE" role="3AunhB">
<ref role="a7OzE" node="47tET_Wgb6z" resolve="IS" />
</node>
</node>
</node>
<node concept="3I6s7M" id="47tET_WgbaW" role="3I6sU7">
<node concept="3Aqt3T" id="47tET_WgbaU" role="3I6s78">
<ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
<node concept="a7P8L" id="47tET_WTBTo" role="3AunhB">
<ref role="a7OzE" node="47tET_Wgb1c" resolve="ITVsTail" />
</node>
<node concept="a7P8L" id="47tET_Wgbbf" role="3AunhB">
<ref role="a7OzE" node="47tET_Wgb0W" resolve="TVsTail" />
</node>
</node>
</node>
</node>
</node>
<node concept="3Aq9_M" id="47tET_Wgb8_" role="1nLNMa">
<node concept="3I6sU6" id="47tET_Wgb8A" role="3Ip0Jz">
<node concept="3I6s7M" id="47tET_Wgb8G" role="3I6sU7">
<node concept="3GeI9q" id="47tET_Wgb8D" role="3I6s78">
<node concept="a7P8L" id="47tET_Wgb8L" role="3GeI8F">
<ref role="a7OzE" node="47tET_Wgb4_" resolve="TV0" />
</node>
<node concept="a7P8L" id="47tET_Wgb8Q" role="3GeI8D">
<ref role="a7OzE" node="47tET_Wgb0B" resolve="TV" />
</node>
</node>
</node>
<node concept="3I6s7M" id="47tET_Wgb9h" role="3I6sU7">
<node concept="3GeI9q" id="47tET_Wgb9b" role="3I6s78">
<node concept="a7P8L" id="47tET_Wgb9q" role="3GeI8F">
<ref role="a7OzE" node="47tET_Wgb4F" resolve="ITV0" />
</node>
<node concept="a7P8L" id="47tET_Wgb9v" role="3GeI8D">
<ref role="a7OzE" node="47tET_Wgb0K" resolve="ITV" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="47tET_Wgbbl" role="3cqZAp" />
<node concept="1nLNNL" id="47tET_WgbdI" role="3cqZAp">
<node concept="1nLNMm" id="47tET_WgbdK" role="1nLNNK">
<node concept="3Aq93q" id="47tET_WgbeZ" role="1nLNMb">
<node concept="3I6sU6" id="47tET_Wgbf0" role="3Ip0Jz">
<node concept="3I6s7M" id="47tET_Wgbf4" role="3I6sU7">
<node concept="3Aqt3T" id="47tET_Wgbf3" role="3I6s78">
<ref role="3AqCNq" node="47tET_WgaZR" resolve="checkConstraints" />
<node concept="ns1u0" id="47tET_Wgbf9" role="3AunhB">
<ref role="ns1xF" node="48ZGLP7pl6N" resolve="Nil" />
</node>
<node concept="ns1u0" id="47tET_Wgbfe" role="3AunhB">
<ref role="ns1xF" node="48ZGLP7pl6N" resolve="Nil" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1nLNMY" id="47xL5G3rv_f" role="1nK1Vg">
<property role="TrG5h" value="checkVarConstraints" />
<node concept="3clFbS" id="47xL5G3rv_g" role="1nLNMH">