diff options
| author | eunhhu <[email protected]> | 2026-09-25 15:08:34 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-25 15:08:34 +0100 |
| commit | 2ae802cfaa3dae01627d4c80e2655fb5e69f4e1e (patch) | |
| tree | d78772098f1f22f08c4c413dc92a244939677184 /docs/research/011-direct-presentation.md | |
| parent | 82f685e5583d3edc4e5d9d327e9925705ce51b1d (diff) | |
| download | pure-2ae802cfaa3dae01627d4c80e2655fb5e69f4e1e.tar.gz pure-2ae802cfaa3dae01627d4c80e2655fb5e69f4e1e.zip | |
Add stack copies to Pure modules
PICK copies the value n below the top, with its type and owner; SLIDE
drops n values under the top. A toolchain can compute a function's
arguments once and read each as often as the inlined body needs, instead
of repeating the argument's code. The format stays v5: no producer has
shipped modules without them.
Diffstat (limited to 'docs/research/011-direct-presentation.md')
0 files changed, 0 insertions, 0 deletions