maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(snix/eval): Remove refrences of Tvix in docs

Browse source 
Change-Id: I4e522c386c0d1b4b3492562d5525b583ef194293
This commit is contained in:
Ilan Joselevich 2025-03-17 18:18:01 +00:00
parent a2d77189df
commit fe85b813a9
No known key found for this signature in database
2 changed files with 12 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

41
snix/eval/README.md
View file

@ -1,9 +1,9 @@
Tvix Evaluator
Snix Evaluator
==============
This project implements an interpreter for the Nix programming
language. You can experiment with an online version of the evaluator:
[tvixbolt][].
[snixbolt][].
The interpreter aims to be compatible with `nixpkgs`, on the
foundation of Nix 2.3.
@ -12,28 +12,9 @@ foundation of Nix 2.3.
while the core mechanisms (compiler, runtime, ...) have stabilised
somewhat, a lot of components are still changing rapidly.
Please contact [TVL](https://tvl.fyi) with any questions you might
have.
## Building tvix-eval
Please check the `README.md` one level up for instructions on how to build this.
The evaluator itself 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:
```bash
git clone https://code.tvl.fyi/depot.git:/tvix/eval.git tvix-eval
cd tvix-eval && cargo build
```
## Tests
Tvix currently has three language test suites for tvix-eval:
Snix currently has three language test suites for snix-eval:
* `nix_tests` and `snix_tests` are based on the same mechanism
borrowed from the C++ Nix implementation. They consist of
@ -43,11 +24,11 @@ Tvix currently has three language test suites for tvix-eval:
`eval-fail` (fails to evaluate, no expected output),
`parse-okay` (expression parses successfully, no expected output)
and `parse-fail` (expression fails to parse, no expected output).
Tvix currently ignores the last two types of test cases, since
Snix currently ignores the last two types of test cases, since
it doesn't implement its own parser.
Both test suites have a `notyetpassing` directory. All test cases
in here test behavior that is not yet supported by Tvix. They are
in here test behavior that is not yet supported by Snix. They are
considered to be expected failures, so you can't forget to move
them into the test suite proper when fixing the incompatibility.
@ -63,17 +44,17 @@ Tvix currently has three language test suites for tvix-eval:
directories. The `notyetpassing` directory shows how far
it is until we pass it completely.
* `snix_tests` contains test cases written by the Tvix contributors.
* `snix_tests` contains test cases written by the Snix contributors.
Some more or less duplicate test cases contained in `nix_tests`,
but many cover relevant behavior that isn't by `nix_tests`.
Consequently, it'd be nice to eventually merge the two test
suites into a jointly maintained, common Nix language test suite.
It also has a `notyetpassing` directory for missing behavior
that is discovered while working on Tvix and isn't covered by the
that is discovered while working on Snix and isn't covered by the
`nix_tests` suite.
* `nix_oracle` can evaluate Nix expressions in Tvix and compare the
* `nix_oracle` can evaluate Nix expressions in Snix and compare the
result against C++ Nix (2.3) directly. Eventually it should gain
the ability to property test generated Nix expressions.
An additional feature is that it can evaluate expressions without
@ -81,12 +62,12 @@ Tvix currently has three language test suites for tvix-eval:
## rnix-parser
Tvix is written in memory of jD91mZM2, the author of [rnix-parser][]
Snix is written in memory of jD91mZM2, the author of [rnix-parser][]
who sadly [passed away][rip].
Tvix makes heavy use of rnix-parser in its bytecode compiler. The
Snix makes heavy use of rnix-parser in its bytecode compiler. The
parser is now maintained by Nix community members.
[rnix-parser]: https://github.com/nix-community/rnix-parser
[rip]: https://www.redox-os.org/news/open-source-mental-health/
[tvixbolt]: https://bolt.tvix.dev/
[snixbolt]: https://bolt.snix.dev/

2
snix/eval/src/tests/snix_tests/README.md
View file

@ -1,4 +1,4 @@
These tests are "native" to Tvix and exist in addition to the Nix test
These tests are "native" to Snix and exist in addition to the Nix test
suite.
All of these are straightforward code snippets which are expected to