Drop tracking unit cache, rely on UpdatesRecorder to provide incrementality

The idea to use "tracking" cache to save on typechecking operations is obsolete.
There is conflict of responsibilities with UpdatesRecorder,
which is to be solely relied upon for all things related to tracking changes.
This commit is contained in:
Fedor Isakov 2021-01-07 12:19:07 +01:00
parent 4c82ddd622
commit 77b02a4e0e
3 changed files with 45 additions and 1278 deletions

View File

@ -3356,7 +3356,7 @@
<ref role="3cqZAo" node="5F2qBBEzATC" resolve="noRuleIds" />
</node>
<node concept="37vLTw" id="5F2qBBErJ$g" role="1Lso8e">
<ref role="3cqZAo" node="47oVduOFP_0" resolve="cachedReq" />
<ref role="3cqZAo" node="47oVduOFP_0" resolve="cachedRequired" />
</node>
</node>
</node>
@ -12612,6 +12612,9 @@
<node concept="3cqZAl" id="4mdCe2g_MnC" role="3clF45" />
<node concept="3clFbS" id="4mdCe2g_MnE" role="3clF47" />
<node concept="3Tm1VV" id="4mdCe2g_MnF" role="1B3o_S" />
<node concept="2AHcQZ" id="3GLv42MN6Pa" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Deprecated" resolve="Deprecated" />
</node>
</node>
<node concept="2tJIrI" id="4mdCe2g_RHs" role="jymVt" />
<node concept="3clFb_" id="6nFpYlu7hTH" role="jymVt">

View File

@ -2820,13 +2820,10 @@
<ref role="3cqZAo" node="6QH_LDtdTgs" resolve="typecheckingState" />
</node>
<node concept="liA8E" id="6QH_LDtdXLN" role="2OqNvi">
<ref role="37wK5l" to="tj24:4Dkptq1OPR7" resolve="getOrUpdateTypecheckingResults" />
<ref role="37wK5l" to="tj24:4Dkptq1OPR7" resolve="updateUnitTypecheckingResults" />
<node concept="37vLTw" id="7gMIJIxPLpc" role="37wK5m">
<ref role="3cqZAo" node="7mB3viLe1a2" resolve="demo" />
</node>
<node concept="3clFbT" id="7gMIJIxPLSu" role="37wK5m">
<property role="3clFbU" value="true" />
</node>
<node concept="1bVj0M" id="44XN1Jd6FDu" role="37wK5m">
<node concept="3clFbS" id="44XN1Jd6FDw" role="1bW5cS">
<node concept="3clFbF" id="44XN1Jd6GK5" role="3cqZAp">