Change `convertsToSafe` signature so it isn't considered principal (required for MPSCR-64)
Just wrap used 'node'-typed argument in a term constructor. It's not principal according to incrementality contract described in MPSCR-66
This commit is contained in:
Grigorii Kirgizov
parent
3093b4678c
commit
5bea95f1ab
|
|
@ -1206,6 +1206,21 @@
|
|||
<node concept="3clFbH" id="4yZzE4kNoDr" role="3cqZAp" />
|
||||
<node concept="1Dw8fO" id="4Z0pyZIFW4I" role="3cqZAp">
|
||||
<node concept="3clFbS" id="4Z0pyZIFW4J" role="2LFqv$">
|
||||
<node concept="3cpWs8" id="6u6$XO9aJnz" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="6u6$XO9aJnA" role="3cpWs9">
|
||||
<property role="TrG5h" value="exitPoint" />
|
||||
<property role="3TUv4t" value="true" />
|
||||
<node concept="3Tqbb2" id="6u6$XO9aJnx" role="1tU5fm" />
|
||||
<node concept="1y4W85" id="6u6$XO9aKqI" role="33vP2m">
|
||||
<node concept="37vLTw" id="6u6$XO9aKsR" role="1y58nS">
|
||||
<ref role="3cqZAo" node="4Z0pyZIFW4S" resolve="i" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="6u6$XO9aJoa" role="1y566C">
|
||||
<ref role="3cqZAo" node="zb1Nk79lNY" resolve="exits" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aqczg" id="4Z0pyZIFWbr" role="3cqZAp">
|
||||
<node concept="3Aqt3T" id="4Z0pyZIFWbq" role="3Aqpz8">
|
||||
<ref role="3AqCNq" to="kqnc:3MG3BxoG13Q" resolve="convertsToSafe" />
|
||||
|
|
@ -1218,19 +1233,19 @@
|
|||
<node concept="a7P8L" id="4yZzE4kNJnm" role="3AunhB">
|
||||
<ref role="a7OzE" node="4S1mDSNOmvb" resolve="RetT" />
|
||||
</node>
|
||||
<node concept="37jhX" id="2MpDLe9_Jhi" role="3AunhB">
|
||||
<node concept="1y4W85" id="2MpDLe9_KpN" role="37jj2">
|
||||
<node concept="37vLTw" id="2MpDLe9_Kse" role="1y58nS">
|
||||
<ref role="3cqZAo" node="4Z0pyZIFW4S" resolve="i" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="2MpDLe9_Jhg" role="1y566C">
|
||||
<ref role="3cqZAo" node="zb1Nk79lNY" resolve="exits" />
|
||||
<node concept="ns1u0" id="6u6$XO96Vm7" role="3AunhB">
|
||||
<ref role="ns1xF" to="kqnc:6u6$XO93ntc" resolve="feedback" />
|
||||
<node concept="nsMwS" id="6u6$XO96Vm8" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:6u6$XO93nuB" resolve="node" />
|
||||
<node concept="37vLTw" id="6u6$XO9aKvp" role="nsMwV">
|
||||
<ref role="3cqZAo" node="6u6$XO9aJnA" resolve="exitPoint" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37jhX" id="2MpDLe9_Ky5" role="3AunhB">
|
||||
<node concept="Xl_RD" id="2MpDLe9_Ky4" role="37jj2">
|
||||
<property role="Xl_RC" value="incompatible types" />
|
||||
<node concept="nsMwS" id="6u6$XO96Vm9" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:6u6$XO93nuN" resolve="msg" />
|
||||
<node concept="Xl_RD" id="2MpDLe9_Ky4" role="nsMwV">
|
||||
<property role="Xl_RC" value="incompatible types" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -2597,6 +2612,23 @@
|
|||
</node>
|
||||
</node>
|
||||
<node concept="3clFbS" id="4S1mDSNQps$" role="2LFqv$">
|
||||
<node concept="3cpWs8" id="6u6$XO9annT" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="6u6$XO9annW" role="3cpWs9">
|
||||
<property role="TrG5h" value="arg" />
|
||||
<property role="3TUv4t" value="true" />
|
||||
<node concept="3Tqbb2" id="6u6$XO9annR" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:fz3vP1J" resolve="Expression" />
|
||||
</node>
|
||||
<node concept="1y4W85" id="6u6$XO9aoYs" role="33vP2m">
|
||||
<node concept="37vLTw" id="6u6$XO9aoYZ" role="1y58nS">
|
||||
<ref role="3cqZAo" node="4S1mDSNQpsL" resolve="i" />
|
||||
</node>
|
||||
<node concept="3hN9Ij" id="6u6$XO9ano_" role="1y566C">
|
||||
<ref role="3hLkJx" node="4S1mDSNQjma" resolve="args" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Aqczg" id="4S1mDSNQps_" role="3cqZAp">
|
||||
<node concept="3Aqt3T" id="4S1mDSNQpsA" role="3Aqpz8">
|
||||
<ref role="3AqCNq" to="kqnc:3wxtToEiJ2p" resolve="capture" />
|
||||
|
|
@ -2629,19 +2661,19 @@
|
|||
<ref role="3cqZAo" node="4S1mDSNQpsL" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37jhX" id="2MpDLe9_GP2" role="3AunhB">
|
||||
<node concept="1y4W85" id="2MpDLe9_IME" role="37jj2">
|
||||
<node concept="37vLTw" id="2MpDLe9_IW6" role="1y58nS">
|
||||
<ref role="3cqZAo" node="4S1mDSNQpsL" resolve="i" />
|
||||
</node>
|
||||
<node concept="3hN9Ij" id="2MpDLe9_GP0" role="1y566C">
|
||||
<ref role="3hLkJx" node="4S1mDSNQjma" resolve="args" />
|
||||
<node concept="ns1u0" id="6u6$XO96Vm3" role="3AunhB">
|
||||
<ref role="ns1xF" to="kqnc:6u6$XO93ntc" resolve="feedback" />
|
||||
<node concept="nsMwS" id="6u6$XO96Vm4" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:6u6$XO93nuB" resolve="node" />
|
||||
<node concept="37vLTw" id="6u6$XO9aoZX" role="nsMwV">
|
||||
<ref role="3cqZAo" node="6u6$XO9annW" resolve="arg" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37jhX" id="2MpDLe9_IWR" role="3AunhB">
|
||||
<node concept="Xl_RD" id="2MpDLe9_IWQ" role="37jj2">
|
||||
<property role="Xl_RC" value="incompatible types" />
|
||||
<node concept="nsMwS" id="6u6$XO96Vm5" role="ns1xD">
|
||||
<ref role="nsMwP" to="kqnc:6u6$XO93nuN" resolve="msg" />
|
||||
<node concept="Xl_RD" id="2MpDLe9_IWQ" role="nsMwV">
|
||||
<property role="Xl_RC" value="incompatible types" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
File diff suppressed because it is too large
Load Diff
|
|
@ -38602,11 +38602,24 @@
|
|||
<node concept="a7P8L" id="3MG3BxoG1n5" role="3AunhB">
|
||||
<ref role="a7OzE" node="3MG3BxoG1mz" resolve="T" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="3MG3BxoG1nl" role="3AunhB">
|
||||
<ref role="a7OzE" node="3MG3BxoG1mB" resolve="Target" />
|
||||
</node>
|
||||
<node concept="a7P8L" id="3MG3BxoG1nD" role="3AunhB">
|
||||
<ref role="a7OzE" node="3MG3BxoG1mO" resolve="Msg" />
|
||||
<node concept="ns1u0" id="6u6$XO96Vrt" role="3AunhB">
|
||||
<ref role="ns1xF" node="6u6$XO93ntc" resolve="feedback" />
|
||||
<node concept="nsMwS" id="6u6$XO96Vru" role="ns1xD">
|
||||
<ref role="nsMwP" node="6u6$XO93nuB" resolve="node" />
|
||||
<node concept="1nq8_$" id="6u6$XO96Vrs" role="nsMwV">
|
||||
<node concept="a7P8L" id="3MG3BxoG1nl" role="1nq8_t">
|
||||
<ref role="a7OzE" node="3MG3BxoG1mB" resolve="Target" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="nsMwS" id="6u6$XO96Vrv" role="ns1xD">
|
||||
<ref role="nsMwP" node="6u6$XO93nuN" resolve="msg" />
|
||||
<node concept="1nq8_$" id="6u6$XO96Vrr" role="nsMwV">
|
||||
<node concept="a7P8L" id="3MG3BxoG1nD" role="1nq8_t">
|
||||
<ref role="a7OzE" node="3MG3BxoG1mO" resolve="Msg" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -39772,13 +39785,9 @@
|
|||
<property role="TrG5h" value="superType" />
|
||||
<node concept="32pEOW" id="2MpDLe9_FTb" role="3gTf24" />
|
||||
</node>
|
||||
<node concept="1zAUYm" id="3MG3BxoG147" role="1zAUyy">
|
||||
<property role="TrG5h" value="errNode" />
|
||||
<node concept="3Tqbb2" id="2MpDLe9_G_8" role="3gTf24" />
|
||||
</node>
|
||||
<node concept="1zAUYm" id="3MG3BxoG14e" role="1zAUyy">
|
||||
<property role="TrG5h" value="errMsg" />
|
||||
<node concept="17QB3L" id="2MpDLe9_Gxs" role="3gTf24" />
|
||||
<node concept="1zAUYm" id="6u6$XO96MlC" role="1zAUyy">
|
||||
<property role="TrG5h" value="errorSpec" />
|
||||
<node concept="32pEOW" id="6u6$XO96Mvq" role="3gTf24" />
|
||||
</node>
|
||||
<node concept="1zAsnw" id="6EY0p2x_gzW" role="lGtFl">
|
||||
<node concept="3SKdUq" id="6EY0p2x_gzX" role="27qylF">
|
||||
|
|
@ -40790,6 +40799,17 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="ns1x$" id="6u6$XO93ntc" role="ns1xc">
|
||||
<property role="TrG5h" value="feedback" />
|
||||
<node concept="nspSf" id="6u6$XO93ntd" role="ns1xx">
|
||||
<node concept="nssqF" id="6u6$XO93nuB" role="nspSe">
|
||||
<property role="TrG5h" value="node" />
|
||||
</node>
|
||||
<node concept="nssqF" id="6u6$XO93nuN" role="nspSe">
|
||||
<property role="TrG5h" value="msg" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="ns1x$" id="4btN1w5A0eS" role="ns1xc">
|
||||
<property role="TrG5h" value="genDecl" />
|
||||
<node concept="nspSf" id="4btN1w5A0eT" role="ns1xx">
|
||||
|
|
@ -41561,14 +41581,19 @@
|
|||
<ref role="3cqZAo" node="3hZrJU5mVct" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37jhX" id="3hZrJU5n4iQ" role="3AunhB">
|
||||
<node concept="37vLTw" id="3hZrJU5n4iO" role="37jj2">
|
||||
<ref role="3cqZAo" node="3hZrJU5n2EV" resolve="arg" />
|
||||
<node concept="ns1u0" id="6u6$XO96Vr_" role="3AunhB">
|
||||
<ref role="ns1xF" node="6u6$XO93ntc" resolve="feedback" />
|
||||
<node concept="nsMwS" id="6u6$XO96VrA" role="ns1xD">
|
||||
<ref role="nsMwP" node="6u6$XO93nuB" resolve="node" />
|
||||
<node concept="37vLTw" id="3hZrJU5n4iO" role="nsMwV">
|
||||
<ref role="3cqZAo" node="3hZrJU5n2EV" resolve="arg" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37jhX" id="3hZrJU5nZMX" role="3AunhB">
|
||||
<node concept="37vLTw" id="3hZrJU5nZMV" role="37jj2">
|
||||
<ref role="3cqZAo" node="3hZrJU5nYX$" resolve="errMsg" />
|
||||
<node concept="nsMwS" id="6u6$XO96VrB" role="ns1xD">
|
||||
<ref role="nsMwP" node="6u6$XO93nuN" resolve="msg" />
|
||||
<node concept="37vLTw" id="3hZrJU5nZMV" role="nsMwV">
|
||||
<ref role="3cqZAo" node="3hZrJU5nYX$" resolve="errMsg" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -41729,14 +41754,19 @@
|
|||
<node concept="a7P8L" id="3hZrJU5o3Y_" role="3AunhB">
|
||||
<ref role="a7OzE" node="3hZrJU5o0WA" resolve="VarargT" />
|
||||
</node>
|
||||
<node concept="37jhX" id="3hZrJU5nL9r" role="3AunhB">
|
||||
<node concept="37vLTw" id="3hZrJU5nL9s" role="37jj2">
|
||||
<ref role="3cqZAo" node="3hZrJU5nL9a" resolve="arg" />
|
||||
<node concept="ns1u0" id="6u6$XO96VrD" role="3AunhB">
|
||||
<ref role="ns1xF" node="6u6$XO93ntc" resolve="feedback" />
|
||||
<node concept="nsMwS" id="6u6$XO96VrE" role="ns1xD">
|
||||
<ref role="nsMwP" node="6u6$XO93nuB" resolve="node" />
|
||||
<node concept="37vLTw" id="3hZrJU5nL9s" role="nsMwV">
|
||||
<ref role="3cqZAo" node="3hZrJU5nL9a" resolve="arg" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37jhX" id="3hZrJU5nZnL" role="3AunhB">
|
||||
<node concept="37vLTw" id="3hZrJU5nZnJ" role="37jj2">
|
||||
<ref role="3cqZAo" node="3hZrJU5nYX$" resolve="errMsg" />
|
||||
<node concept="nsMwS" id="6u6$XO96VrF" role="ns1xD">
|
||||
<ref role="nsMwP" node="6u6$XO93nuN" resolve="msg" />
|
||||
<node concept="37vLTw" id="3hZrJU5nZnJ" role="nsMwV">
|
||||
<ref role="3cqZAo" node="3hZrJU5nYX$" resolve="errMsg" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -44394,19 +44424,24 @@
|
|||
<ref role="3cqZAo" node="53tmmMslPPr" resolve="i" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37jhX" id="3vTJNooNRsf" role="3AunhB">
|
||||
<node concept="1y4W85" id="3vTJNooNRsg" role="37jj2">
|
||||
<node concept="37vLTw" id="3vTJNooNRsh" role="1y58nS">
|
||||
<ref role="3cqZAo" node="53tmmMslPPr" resolve="i" />
|
||||
</node>
|
||||
<node concept="3hN9Ij" id="3vTJNooNRsi" role="1y566C">
|
||||
<ref role="3hLkJx" node="53tmmMs9igS" resolve="tyArgs" />
|
||||
<node concept="ns1u0" id="6u6$XO96Vrx" role="3AunhB">
|
||||
<ref role="ns1xF" node="6u6$XO93ntc" resolve="feedback" />
|
||||
<node concept="nsMwS" id="6u6$XO96Vry" role="ns1xD">
|
||||
<ref role="nsMwP" node="6u6$XO93nuB" resolve="node" />
|
||||
<node concept="1y4W85" id="3vTJNooNRsg" role="nsMwV">
|
||||
<node concept="37vLTw" id="3vTJNooNRsh" role="1y58nS">
|
||||
<ref role="3cqZAo" node="53tmmMslPPr" resolve="i" />
|
||||
</node>
|
||||
<node concept="3hN9Ij" id="3vTJNooNRsi" role="1y566C">
|
||||
<ref role="3hLkJx" node="53tmmMs9igS" resolve="tyArgs" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="HKQnh" id="3vTJNooNRsj" role="3AunhB">
|
||||
<node concept="Xl_RD" id="3vTJNooNRsk" role="HKQng">
|
||||
<property role="Xl_RC" value="wrong substitute" />
|
||||
<node concept="nsMwS" id="6u6$XO96Vrz" role="ns1xD">
|
||||
<ref role="nsMwP" node="6u6$XO93nuN" resolve="msg" />
|
||||
<node concept="Xl_RD" id="3vTJNooNRsk" role="nsMwV">
|
||||
<property role="Xl_RC" value="wrong substitute" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
Loading…
Reference in New Issue