tvix: lambda expressions should be thunked

#274
Opened by sterni at 2023-05-27T19·37+00

> nix-instantiate --eval -E '[ (x: x) ]'
[ <CODE> ]
> cargo run --bin tvix -- -E '[ (x: x) ]'
=> [ lambda ] :: list

  1. sterni changed the subject of this issue from "tvix: lambda expressions are not thunked" to "tvix: lambda expressions are thunked" at 2023-05-27T19·42+00
  2. sterni changed the subject of this issue from "tvix: lambda expressions are thunked" to "tvix: lambda expressions should be thunked" at 2023-05-27T19·42+00
  3. sterni closed this issue at 2023-05-30T21·53+00