maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs(tvix/eval): add notes for builtins access optimisation

Browse source 
Change-Id: Iadbfbe2864ae42fe5492ef3ede0925baee4872b2
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6413
Reviewed-by: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
This commit is contained in:
Vincent Ambo 2022-09-02 15:46:14 +03:00 • committed by tazjin
parent 6b3c3c9826
commit a3b19ad8be
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
tvix/eval/docs/known-optimisation-potential.md
View file

@ -55,3 +55,13 @@ optimisations, but note the most important ones here.
We can statically detect the conditions for tail-call optimisation. We can statically detect the conditions for tail-call optimisation.
The compiler should do this, and it should then emit a new operation The compiler should do this, and it should then emit a new operation
for doing the tail-calls. for doing the tail-calls.
* Optimise inner builtin access [medium]
When accessing identifiers like `builtins.foo`, the compiler should
not go through the trouble of setting up the attribute set on the
stack and accessing `foo` from it if it knows that the scope for
`builtins` is unpoisoned.
The same thing goes for resolving `with builtins;`, which should
definitely resolve statically.