about summary refs log tree commit diff
path: root/users/wpcarro/Makefile
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-10-22T14·57+0300
committertazjin <tazjin@tvl.su>2022-10-23T15·50+0000
commit1f4420cb4aa3ad6e12af7784827f93c08cf008d8 (patch)
treef36702e6a005b124e927e97826b5fbd38b641c69 /users/wpcarro/Makefile
parent546fcf51cd0b0837604b5c094199d3221173d02f (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/Makefile')
0 files changed, 0 insertions, 0 deletions