You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The per-run infrastructure caused a 10-20% performance hit. We could go back to the old
caching scheme but this is verbose and ugly. This commit drops the whole caching infra
stricture instead. The downside is that we need a new compiler if any symbol cached
by Definitions has been edited and should be reloaded.
0 commit comments