diff options
author | Vincent Ambo <mail@tazj.in> | 2022-10-22T14·57+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-10-23T15·50+0000 |
commit | 1f4420cb4aa3ad6e12af7784827f93c08cf008d8 (patch) | |
tree | f36702e6a005b124e927e97826b5fbd38b641c69 /users/wpcarro/README.md | |
parent | 546fcf51cd0b0837604b5c094199d3221173d02f (diff) |
feat(tvix/eval): add mechanism for placeholder builtins r/5181
These are builtins which can be basically implemented as the identity function from the perspective of pure evaluation, and which help us get closer to evaluating nixpkgs. For now, builtins added here will be "usable" and just emit a warning about not being implemented yet. Change-Id: I0fce94677f01c98c0392aeefb7ab353c7dc7ec82 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7060 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'users/wpcarro/README.md')
0 files changed, 0 insertions, 0 deletions