Commit 84360d7f authored by Sebastian Erdweg's avatar Sebastian Erdweg Committed by Tamás Szabó

optimize typing rules by dropping unneeded premises

parent 8e5951a3
......@@ -104,7 +104,7 @@
<lesser-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="7868621431052230593" />
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="7984092366528910010" />
</external-mapping>
</lesser-priority-mapping>
</mapping-priority-rule>
......@@ -136,6 +136,20 @@
</external-mapping>
</lesser-priority-mapping>
</mapping-priority-rule>
<mapping-priority-rule kind="strictly_before">
<greater-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="7984092366528910010" />
</external-mapping>
</greater-priority-mapping>
<lesser-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
<external-mapping>
<mapping-node modelUID="r:ba89f5db-6588-4ca4-b7a4-6f4bcdf92187(main@generator)" nodeID="7868621431052230593" />
</external-mapping>
</lesser-priority-mapping>
</mapping-priority-rule>
<mapping-priority-rule kind="strictly_before">
<greater-priority-mapping>
<generator generatorUID="ce0e1895-596b-45a3-b9f2-37e83b452864(TypeLang#01)" />
......
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -2,7 +2,7 @@
<model ref="r:c75f6d0a-e344-4076-8a9a-431398544fab(TypeLang.behavior)">
<persistence version="9" />
<languages>
<use id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior" version="2" />
<use id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior" version="-1" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
<imports>
......@@ -3957,6 +3957,30 @@
<node concept="10P_77" id="4SWG$O1XemO" role="3clF45" />
<node concept="3clFbS" id="4SWG$O1Xe7b" role="3clF47" />
</node>
<node concept="13i0hz" id="6VdcriKVd1Q" role="13h7CS">
<property role="13i0it" value="true" />
<property role="TrG5h" value="isOuputArgument" />
<node concept="3Tm1VV" id="6VdcriKVd1R" role="1B3o_S" />
<node concept="10P_77" id="6VdcriKVdP7" role="3clF45" />
<node concept="3clFbS" id="6VdcriKVd1T" role="3clF47">
<node concept="3clFbF" id="6VdcriKVdQq" role="3cqZAp">
<node concept="3fqX7Q" id="6VdcriKVdQo" role="3clFbG">
<node concept="BsUDl" id="6VdcriKVdUl" role="3fr31v">
<ref role="37wK5l" node="4SWG$O1Xe78" resolve="isInputArgument" />
<node concept="37vLTw" id="6VdcriKVdUQ" role="37wK5m">
<ref role="3cqZAo" node="6VdcriKVdPG" resolve="term" />
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="6VdcriKVdPG" role="3clF46">
<property role="TrG5h" value="term" />
<node concept="3Tqbb2" id="6VdcriKVdPF" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
</node>
<node concept="13i0hz" id="6OMXo1THapW" role="13h7CS">
<property role="TrG5h" value="isConclusion" />
<node concept="3Tm1VV" id="6OMXo1THapX" role="1B3o_S" />
......@@ -5538,9 +5562,6 @@
</node>
</node>
</node>
<node concept="13hLZK" id="677Mj2_EQAm" role="13h7CW">
<node concept="3clFbS" id="677Mj2_EQAn" role="2VODD2" />
</node>
<node concept="13i0hz" id="4SWG$O1XpiB" role="13h7CS">
<property role="TrG5h" value="isInputArgument" />
<ref role="13i0hy" node="4SWG$O1Xe78" resolve="isInputArgument" />
......@@ -5601,6 +5622,9 @@
</node>
<node concept="10P_77" id="4SWG$O1XpiK" role="3clF45" />
</node>
<node concept="13hLZK" id="677Mj2_EQAm" role="13h7CW">
<node concept="3clFbS" id="677Mj2_EQAn" role="2VODD2" />
</node>
<node concept="13i0hz" id="6faGdFABShG" role="13h7CS">
<property role="TrG5h" value="createNew" />
<ref role="13i0hy" node="6faGdFABR2I" resolve="createNew" />
......@@ -10703,9 +10727,6 @@
</node>
</node>
</node>
<node concept="13hLZK" id="2kRXRVKy1Of" role="13h7CW">
<node concept="3clFbS" id="2kRXRVKy1Og" role="2VODD2" />
</node>
<node concept="13i0hz" id="4SWG$O1Xf1g" role="13h7CS">
<property role="TrG5h" value="isInputArgument" />
<ref role="13i0hy" node="4SWG$O1Xe78" resolve="isInputArgument" />
......@@ -10733,6 +10754,9 @@
</node>
</node>
</node>
<node concept="13hLZK" id="2kRXRVKy1Of" role="13h7CW">
<node concept="3clFbS" id="2kRXRVKy1Og" role="2VODD2" />
</node>
<node concept="13i0hz" id="6faGdFAC4yx" role="13h7CS">
<property role="TrG5h" value="createNew" />
<ref role="13i0hy" node="6faGdFABR2I" resolve="createNew" />
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment