Fix logic inconsistent type error
Naive check won't suffice to ensure multilogical are used properly. Need more sophisticated type check.
This commit is contained in:
Fedor Isakov
parent
7d60ddde46
commit
c36679bcc6
|
|
@ -609,49 +609,87 @@
|
|||
<node concept="1nLNMY" id="14oWJ2Ny0qF" role="1nK1Vg">
|
||||
<property role="TrG5h" value="logicalVariable" />
|
||||
<node concept="3clFbS" id="14oWJ2Ny0qG" role="1nLNMH">
|
||||
<node concept="3clFbJ" id="4xczej5cB59" role="3cqZAp">
|
||||
<node concept="3clFbS" id="4xczej5cB5b" role="3clFbx">
|
||||
<node concept="3clFbF" id="4xczej5cUDt" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="4xczej5cVtw" role="3clFbG">
|
||||
<node concept="3A2sRY" id="4xczej5cUDr" role="2Oq$k0">
|
||||
<ref role="3A2yKK" node="14oWJ2Ny0qI" resolve="lv" />
|
||||
</node>
|
||||
<node concept="26X5F$" id="4xczej5cZK1" role="2OqNvi">
|
||||
<property role="26X25f" value="4jcOV4hu0n_/ERROR" />
|
||||
<node concept="Xl_RD" id="4xczej5cZUO" role="26X25d">
|
||||
<property role="Xl_RC" value="indexed access incompatible with logical declaration" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3SKdUt" id="y9gFNYWvoW" role="3cqZAp">
|
||||
<node concept="1PaTwC" id="y9gFNYWvoX" role="1aUNEU">
|
||||
<node concept="3oM_SD" id="y9gFNYWvoY" role="1PaTwD">
|
||||
<property role="3oM_SC" value="FIXME" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="y9gFNYWvqE" role="1PaTwD">
|
||||
<property role="3oM_SC" value="need" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="y9gFNYWvqH" role="1PaTwD">
|
||||
<property role="3oM_SC" value="a" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="y9gFNYWvqL" role="1PaTwD">
|
||||
<property role="3oM_SC" value="way" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="y9gFNYWvqQ" role="1PaTwD">
|
||||
<property role="3oM_SC" value="to" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="y9gFNYWvqW" role="1PaTwD">
|
||||
<property role="3oM_SC" value="ensure" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="y9gFNYWvr3" role="1PaTwD">
|
||||
<property role="3oM_SC" value="list" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="y9gFNYWvrb" role="1PaTwD">
|
||||
<property role="3oM_SC" value="feature" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="y9gFNYWvrk" role="1PaTwD">
|
||||
<property role="3oM_SC" value="accepts" />
|
||||
</node>
|
||||
<node concept="3oM_SD" id="y9gFNYWvru" role="1PaTwD">
|
||||
<property role="3oM_SC" value="multilogical" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3y3z36" id="4xczej5cSx2" role="3clFbw">
|
||||
<node concept="2OqwBi" id="4xczej5cLNS" role="3uHU7B">
|
||||
<node concept="2OqwBi" id="4xczej5cBYu" role="2Oq$k0">
|
||||
<node concept="3A2sRY" id="4xczej5cBaQ" role="2Oq$k0">
|
||||
<ref role="3A2yKK" node="14oWJ2Ny0qI" resolve="lv" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="4xczej5cIFc" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="5j4j:5f6wxQ3pnWr" resolve="indexExpr" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3w_OXm" id="4xczej5cQSX" role="2OqNvi" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4xczej5cTq7" role="3uHU7w">
|
||||
<node concept="2OqwBi" id="4xczej5cTq8" role="2Oq$k0">
|
||||
<node concept="2OqwBi" id="4xczej5cTq9" role="2Oq$k0">
|
||||
<node concept="3A2sRY" id="4xczej5cTqa" role="2Oq$k0">
|
||||
</node>
|
||||
<node concept="1X3_iC" id="y9gFNY$sK0" role="lGtFl">
|
||||
<property role="3V$3am" value="statement" />
|
||||
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
|
||||
<node concept="3clFbJ" id="4xczej5cB59" role="8Wnug">
|
||||
<node concept="3clFbS" id="4xczej5cB5b" role="3clFbx">
|
||||
<node concept="3clFbF" id="4xczej5cUDt" role="3cqZAp">
|
||||
<node concept="2OqwBi" id="4xczej5cVtw" role="3clFbG">
|
||||
<node concept="3A2sRY" id="4xczej5cUDr" role="2Oq$k0">
|
||||
<ref role="3A2yKK" node="14oWJ2Ny0qI" resolve="lv" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="4xczej5cTqb" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" resolve="declaration" />
|
||||
<node concept="26X5F$" id="4xczej5cZK1" role="2OqNvi">
|
||||
<property role="26X25f" value="4jcOV4hu0n_/ERROR" />
|
||||
<node concept="Xl_RD" id="4xczej5cZUO" role="26X25d">
|
||||
<property role="Xl_RC" value="indexed access incompatible with logical declaration" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3TrEf2" id="4xczej5cTqc" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="5j4j:5f6wxQ3ychO" resolve="cardinalityExpr" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3w_OXm" id="4xczej5cTqd" role="2OqNvi" />
|
||||
</node>
|
||||
<node concept="3y3z36" id="4xczej5cSx2" role="3clFbw">
|
||||
<node concept="2OqwBi" id="4xczej5cLNS" role="3uHU7B">
|
||||
<node concept="2OqwBi" id="4xczej5cBYu" role="2Oq$k0">
|
||||
<node concept="3A2sRY" id="4xczej5cBaQ" role="2Oq$k0">
|
||||
<ref role="3A2yKK" node="14oWJ2Ny0qI" resolve="lv" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="4xczej5cIFc" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="5j4j:5f6wxQ3pnWr" resolve="indexExpr" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3w_OXm" id="4xczej5cQSX" role="2OqNvi" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4xczej5cTq7" role="3uHU7w">
|
||||
<node concept="2OqwBi" id="4xczej5cTq8" role="2Oq$k0">
|
||||
<node concept="2OqwBi" id="4xczej5cTq9" role="2Oq$k0">
|
||||
<node concept="3A2sRY" id="4xczej5cTqa" role="2Oq$k0">
|
||||
<ref role="3A2yKK" node="14oWJ2Ny0qI" resolve="lv" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="4xczej5cTqb" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" resolve="declaration" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3TrEf2" id="4xczej5cTqc" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="5j4j:5f6wxQ3ychO" resolve="cardinalityExpr" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3w_OXm" id="4xczej5cTqd" role="2OqNvi" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
Loading…
Reference in New Issue