Commit 9fa88975 authored by André Pacak's avatar André Pacak

fix naming issue when inlining a rule that has where instance in premise uses...

fix naming issue when inlining a rule that has where instance in premise uses metavars and metavars were bound by named metaterm in conclusion of rule (reverse substitution for them)
parent 227a5751
......@@ -6921,8 +6921,8 @@
<node concept="2OqwBi" id="2groWwXVY9_" role="2Oq$k0">
<node concept="2OqwBi" id="2groWwXVxD9" role="2Oq$k0">
<node concept="13iPFW" id="2groWwXVxuB" role="2Oq$k0" />
<node concept="3TrEf2" id="2groWwXVXPr" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:5jddR$DhDKZ" resolve="metaterm" />
<node concept="3TrEf2" id="A12BkkSXa7" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:5jddR$Dk5XW" resolve="var" />
</node>
</node>
<node concept="2qgKlT" id="2groWwXVYKR" role="2OqNvi">
......@@ -6933,8 +6933,8 @@
<node concept="2OqwBi" id="2groWwXW4oJ" role="25WWJ7">
<node concept="2OqwBi" id="2groWwXW7Uz" role="2Oq$k0">
<node concept="13iPFW" id="2groWwXW4oL" role="2Oq$k0" />
<node concept="3TrEf2" id="2groWwXW8DJ" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:5jddR$Dk5XW" resolve="var" />
<node concept="3TrEf2" id="A12BkkT2tm" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:5jddR$DhDKZ" resolve="metaterm" />
</node>
</node>
<node concept="2qgKlT" id="2groWwXW4oN" role="2OqNvi">
......@@ -7659,24 +7659,70 @@
</node>
<node concept="1Dw8fO" id="7oauUzu3A6w" role="3cqZAp">
<node concept="3clFbS" id="7oauUzu3A6y" role="2LFqv$">
<node concept="3cpWs8" id="7oauUzu58v$" role="3cqZAp">
<node concept="3cpWsn" id="7oauUzu58v_" role="3cpWs9">
<node concept="3cpWs8" id="A12Bkm5r9l" role="3cqZAp">
<node concept="3cpWsn" id="A12Bkm5r9m" role="3cpWs9">
<property role="TrG5h" value="thisBinding" />
<node concept="3Tqbb2" id="A12Bkm5r9g" role="1tU5fm">
<ref role="ehGHo" to="b83y:69yn6_DNapv" resolve="NodeMetaTermBinding" />
</node>
<node concept="2OqwBi" id="A12Bkm5r9n" role="33vP2m">
<node concept="2OqwBi" id="A12Bkm5r9o" role="2Oq$k0">
<node concept="13iPFW" id="A12Bkm5r9p" role="2Oq$k0" />
<node concept="3Tsc0h" id="A12Bkm5r9q" role="2OqNvi">
<ref role="3TtcxE" to="b83y:7Hs6JnWyxNE" resolve="bindings" />
</node>
</node>
<node concept="34jXtK" id="A12Bkm5r9r" role="2OqNvi">
<node concept="37vLTw" id="A12Bkm5r9s" role="25WWJ7">
<ref role="3cqZAo" node="7oauUzu3A6z" resolve="i" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="A12Bkm5pXD" role="3cqZAp">
<node concept="3cpWsn" id="A12Bkm5pXE" role="3cpWs9">
<property role="TrG5h" value="otherBinding" />
<node concept="3Tqbb2" id="7oauUzu58v7" role="1tU5fm">
<node concept="3Tqbb2" id="A12Bkm5pWt" role="1tU5fm">
<ref role="ehGHo" to="b83y:69yn6_DNapv" resolve="NodeMetaTermBinding" />
</node>
<node concept="2OqwBi" id="7oauUzu58vA" role="33vP2m">
<node concept="2OqwBi" id="7oauUzu58vB" role="2Oq$k0">
<node concept="Jnkvi" id="7oauUzu58vC" role="2Oq$k0">
<node concept="2OqwBi" id="A12Bkm5pXF" role="33vP2m">
<node concept="2OqwBi" id="A12Bkm5pXG" role="2Oq$k0">
<node concept="Jnkvi" id="A12Bkm5pXH" role="2Oq$k0">
<ref role="1M0zk5" node="7oauUzu2HRY" resolve="otherNodeMeta" />
</node>
<node concept="3Tsc0h" id="7oauUzu58vD" role="2OqNvi">
<node concept="3Tsc0h" id="A12Bkm5pXI" role="2OqNvi">
<ref role="3TtcxE" to="b83y:7Hs6JnWyxNE" resolve="bindings" />
</node>
</node>
<node concept="34jXtK" id="7oauUzu58vE" role="2OqNvi">
<node concept="37vLTw" id="7oauUzu58vF" role="25WWJ7">
<ref role="3cqZAo" node="7oauUzu3A6z" resolve="i" />
<node concept="1z4cxt" id="A12Bkm5pXJ" role="2OqNvi">
<node concept="1bVj0M" id="A12Bkm5pXK" role="23t8la">
<node concept="3clFbS" id="A12Bkm5pXL" role="1bW5cS">
<node concept="3clFbF" id="A12Bkm5pXM" role="3cqZAp">
<node concept="3clFbC" id="A12Bkm5pXN" role="3clFbG">
<node concept="2OqwBi" id="A12Bkm5pXO" role="3uHU7w">
<node concept="37vLTw" id="A12Bkm5r9t" role="2Oq$k0">
<ref role="3cqZAo" node="A12Bkm5r9m" resolve="thisBinding" />
</node>
<node concept="3TrEf2" id="A12Bkm5pXV" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:1ERTnBTmuSL" resolve="interfacePart" />
</node>
</node>
<node concept="2OqwBi" id="A12Bkm5pXW" role="3uHU7B">
<node concept="37vLTw" id="A12Bkm5pXX" role="2Oq$k0">
<ref role="3cqZAo" node="A12Bkm5pXZ" resolve="it" />
</node>
<node concept="3TrEf2" id="A12Bkm5pXY" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:1ERTnBTmuSL" resolve="interfacePart" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="A12Bkm5pXZ" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="A12Bkm5pY0" role="1tU5fm" />
</node>
</node>
</node>
</node>
......@@ -7695,27 +7741,29 @@
</node>
<node concept="22lmx$" id="7oauUzu5f6J" role="3clFbw">
<node concept="3clFbC" id="7oauUzu5f60" role="3uHU7B">
<node concept="37vLTw" id="7oauUzu58Tr" role="3uHU7B">
<ref role="3cqZAo" node="7oauUzu58v_" resolve="otherBinding" />
<node concept="37vLTw" id="A12Bkm5tWM" role="3uHU7B">
<ref role="3cqZAo" node="A12Bkm5pXE" resolve="otherBinding" />
</node>
<node concept="10Nm6u" id="7oauUzu5f2R" role="3uHU7w" />
</node>
<node concept="2OqwBi" id="7oauUzu5fil" role="3uHU7w">
<node concept="37vLTw" id="7oauUzu5f7$" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUzu58v_" resolve="otherBinding" />
</node>
<node concept="2qgKlT" id="7oauUzu5yq1" role="2OqNvi">
<ref role="37wK5l" node="7oauUzu3i9h" resolve="equals" />
<node concept="2OqwBi" id="7oauUzu5_bT" role="37wK5m">
<node concept="2OqwBi" id="7oauUzu5yBV" role="2Oq$k0">
<node concept="13iPFW" id="7oauUzu5yuE" role="2Oq$k0" />
<node concept="3Tsc0h" id="7oauUzu5z8I" role="2OqNvi">
<ref role="3TtcxE" to="b83y:7Hs6JnWyxNE" resolve="bindings" />
</node>
<node concept="3fqX7Q" id="A12Bkm5ywP" role="3uHU7w">
<node concept="2OqwBi" id="A12Bkm5ywR" role="3fr31v">
<node concept="2OqwBi" id="A12Bkm5ywS" role="2Oq$k0">
<node concept="37vLTw" id="A12Bkm5ywT" role="2Oq$k0">
<ref role="3cqZAo" node="A12Bkm5pXE" resolve="otherBinding" />
</node>
<node concept="3TrEf2" id="A12Bkm5ywU" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:69yn6_DNapy" resolve="pattern" />
</node>
<node concept="34jXtK" id="7oauUzu5G6L" role="2OqNvi">
<node concept="37vLTw" id="7oauUzu5Gex" role="25WWJ7">
<ref role="3cqZAo" node="7oauUzu3A6z" resolve="i" />
</node>
<node concept="2qgKlT" id="A12Bkm5ywV" role="2OqNvi">
<ref role="37wK5l" node="7oauUzu23iX" resolve="equals" />
<node concept="2OqwBi" id="A12Bkm5ywW" role="37wK5m">
<node concept="37vLTw" id="A12Bkm5ywX" role="2Oq$k0">
<ref role="3cqZAo" node="A12Bkm5r9m" resolve="thisBinding" />
</node>
<node concept="3TrEf2" id="A12Bkm5ywY" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:69yn6_DNapy" resolve="pattern" />
</node>
</node>
</node>
......
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