History

Adam Joseph 0649474206 fix(tvix/eval): remove impl PartialEq for Value It isn't possible to implement PartialEq properly for Value, because any sensible implementation needs to force() thunks, which cannot be done without a `&mut VM`. The existing derive(PartialEq) has false negatives, which caused the bug which cl/7142 fixed. Fortunately that bug was easy to find, but a silent false negative deep within the bowels of nixpkgs could be a real nightmare to hunt down. Let's just remove the PartialEq impl for Value, and the other derive(PartialEq)'s that depend on it. Signed-off-by: Adam Joseph <adam@westernsemico.com> Change-Id: Iacd3726fefc7fc1edadcd7e9b586e04cf8466775 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7144 Reviewed-by: kanepyork <rikingcoding@gmail.com> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI		2022-11-04 00:30:13 +00:00
..
benches	refactor(tvix/eval): use Clap for arg+env parsing	2022-09-18 22:08:43 +00:00
docs	docs(tvix/eval): builtins.md: note implementation status	2022-10-31 12:36:15 +00:00
proptest-regressions/value	test(tvix/eval): Add tests for the Eq laws of Value	2022-09-18 17:57:09 +00:00
src	fix(tvix/eval): remove impl PartialEq for Value	2022-11-04 00:30:13 +00:00
tests	feat(tvix/eval): Allow adding strings to paths	2022-10-10 20:23:41 +00:00
.envrc	chore(tvix/eval): add simple .envrc / shell.nix	2022-09-17 17:31:08 +00:00
.gitignore	feat(tvix/eval): check in generated project skeleton	2022-08-12 12:34:29 +00:00
.skip-subtree	feat(tvix/tests): check in Nix' language test suite	2022-08-24 21:25:41 +00:00
build.rs	feat(tvix/eval): implement builtins.currentSystem	2022-10-24 12:20:01 +00:00
Cargo.lock	feat(tvix/eval): add an AST pretty-printing module	2022-10-16 12:26:56 +00:00
Cargo.toml	test(tvix/eval): enable nix_tests by default	2022-10-20 02:28:38 +00:00
default.nix	test(tvix): nix-planned test verification using C++ Nix 2.3 and 2.11	2022-10-20 02:28:38 +00:00
README.md	docs(tvix/eval): explain where to find the site-specific `mg` tool	2022-10-13 18:41:02 +00:00
shell.nix	feat(tvix/eval): add rust-analyzer to dev-env	2022-11-03 23:29:04 +00:00

README.md

Tvix Evaluator

This project implements an interpreter for the Nix programming language. You can experiment with an online version of the evaluator: tvixbolt.

The interpreter aims to be compatible with nixpkgs, on the foundation of Nix 2.3.

Important note: The evaluator is not yet feature-complete, and while the core mechanisms (compiler, runtime, ...) have stabilised somewhat, a lot of components are still changing rapidly.

Please contact TVL with any questions you might have.

Building the evaluator

If you are in a full checkout of the TVL depot, you can simply run mg build in this directory (or mg build //tvix/eval from anywhere in the repo). The mg command is found in /tools/magrathea.

Important note: We only use and test Nix builds of our software against Nix 2.3. There are a variety of bugs and subtle problems in newer Nix versions which we do not have the bandwidth to address, builds in newer Nix versions may or may not work.

The evaluator can also be built with standard Rust tooling (i.e. cargo build).

If you would like to clone only the evaluator and build it directly with Rust tooling, you can do:

git clone https://code.tvl.fyi/depot.git:/tvix/eval.git tvix-eval

cd tvix-eval && cargo build

Nix test suite

C++ Nix implements a language test suite in the form of Nix source code files, and their expected output. The coverage of this test suite is not complete, but we intend to be compatible with it.

We have ported the test suite to Tvix, but do not run it by default as we are not yet compatible with it.

You can run the test suite by enabling the nix_tests feature in Cargo:

cargo test --features nix_tests

rnix-parser

Tvix is written in memory of jD91mZM2, the author of rnix-parser who sadly passed away.

Tvix makes heavy use of rnix-parser in its bytecode compiler. The parser is now maintained by Nix community members.