chore(snix): s/tvix/snix/
Change-Id: Iae961416eea0a38bc57df7b736f6dda5903b0828
This commit is contained in:
Florian Klink
parent
768f053416
commit
36e4d017f5
1417 changed files with 3741 additions and 3650 deletions
180
web/tvixbolt/Cargo.lock → web/snixbolt/Cargo.lock
generated
180
web/tvixbolt/Cargo.lock → web/snixbolt/Cargo.lock
generated
|
|
@ -1,6 +1,6 @@
|
|||
# This file is automatically @generated by Cargo.
|
||||
# It is not intended for manual editing.
|
||||
version = 3
|
||||
version = 4
|
||||
|
||||
[[package]]
|
||||
name = "addr2line"
|
||||
|
|
@ -282,7 +282,7 @@ checksum = "87750cf4b7a4c0625b1529e4c543c2182106e4dedc60a2a6455e00d212c489ac"
|
|||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -499,7 +499,7 @@ dependencies = [
|
|||
"serde",
|
||||
"serde-wasm-bindgen 0.5.0",
|
||||
"serde_urlencoded",
|
||||
"thiserror",
|
||||
"thiserror 1.0.63",
|
||||
"wasm-bindgen",
|
||||
"web-sys",
|
||||
]
|
||||
|
|
@ -516,7 +516,7 @@ dependencies = [
|
|||
"serde",
|
||||
"serde-wasm-bindgen 0.6.5",
|
||||
"serde_urlencoded",
|
||||
"thiserror",
|
||||
"thiserror 1.0.63",
|
||||
"wasm-bindgen",
|
||||
"web-sys",
|
||||
]
|
||||
|
|
@ -536,7 +536,7 @@ dependencies = [
|
|||
"pin-project",
|
||||
"serde",
|
||||
"serde_json",
|
||||
"thiserror",
|
||||
"thiserror 1.0.63",
|
||||
"wasm-bindgen",
|
||||
"wasm-bindgen-futures",
|
||||
"web-sys",
|
||||
|
|
@ -557,7 +557,7 @@ dependencies = [
|
|||
"pin-project",
|
||||
"serde",
|
||||
"serde_json",
|
||||
"thiserror",
|
||||
"thiserror 1.0.63",
|
||||
"wasm-bindgen",
|
||||
"wasm-bindgen-futures",
|
||||
"web-sys",
|
||||
|
|
@ -593,7 +593,7 @@ dependencies = [
|
|||
"js-sys",
|
||||
"serde",
|
||||
"serde_json",
|
||||
"thiserror",
|
||||
"thiserror 1.0.63",
|
||||
"wasm-bindgen",
|
||||
"web-sys",
|
||||
]
|
||||
|
|
@ -608,7 +608,7 @@ dependencies = [
|
|||
"js-sys",
|
||||
"serde",
|
||||
"serde_json",
|
||||
"thiserror",
|
||||
"thiserror 1.0.63",
|
||||
"wasm-bindgen",
|
||||
"web-sys",
|
||||
]
|
||||
|
|
@ -691,7 +691,7 @@ dependencies = [
|
|||
"js-sys",
|
||||
"pinned",
|
||||
"serde",
|
||||
"thiserror",
|
||||
"thiserror 1.0.63",
|
||||
"wasm-bindgen",
|
||||
"wasm-bindgen-futures",
|
||||
"web-sys",
|
||||
|
|
@ -706,7 +706,7 @@ dependencies = [
|
|||
"proc-macro-crate",
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -755,7 +755,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
|
|||
checksum = "9311685eb9a34808bbb0608ad2fcab9ae216266beca5848613e95553ac914e3b"
|
||||
dependencies = [
|
||||
"quote",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -1001,7 +1001,7 @@ checksum = "2f38a4412a78282e09a2cf38d195ea5420d15ba0602cb375210efbc877243965"
|
|||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -1024,7 +1024,7 @@ checksum = "a829027bd95e54cfe13e3e258a1ae7b645960553fb82b75ff852c29688ee595b"
|
|||
dependencies = [
|
||||
"futures",
|
||||
"rustversion",
|
||||
"thiserror",
|
||||
"thiserror 1.0.63",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -1034,7 +1034,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
|
|||
checksum = "5f12335488a2f3b0a83b14edad48dca9879ce89b2edd10e80237e4e852dd645e"
|
||||
dependencies = [
|
||||
"proc-macro2",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -1123,7 +1123,7 @@ checksum = "a18479200779601e498ada4e8c1e1f50e3ee19deb0259c25825a98b5603b2cb4"
|
|||
dependencies = [
|
||||
"getrandom",
|
||||
"libredox",
|
||||
"thiserror",
|
||||
"thiserror 1.0.63",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -1252,7 +1252,7 @@ checksum = "243902eda00fad750862fc144cea25caca5e20d615af0a81bee94ca738f1df1f"
|
|||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -1327,6 +1327,60 @@ dependencies = [
|
|||
"serde",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "snix-eval"
|
||||
version = "0.1.0"
|
||||
dependencies = [
|
||||
"bstr",
|
||||
"bytes",
|
||||
"codemap",
|
||||
"codemap-diagnostic",
|
||||
"data-encoding",
|
||||
"dirs",
|
||||
"genawaiter",
|
||||
"itertools",
|
||||
"lexical-core",
|
||||
"md-5",
|
||||
"nohash-hasher",
|
||||
"os_str_bytes",
|
||||
"path-clean",
|
||||
"regex",
|
||||
"rnix",
|
||||
"rowan",
|
||||
"rustc-hash 2.0.0",
|
||||
"serde",
|
||||
"serde_json",
|
||||
"sha1",
|
||||
"sha2",
|
||||
"smol_str",
|
||||
"snix-eval-builtin-macros",
|
||||
"tabwriter",
|
||||
"thiserror 2.0.12",
|
||||
"toml",
|
||||
"vu128",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "snix-eval-builtin-macros"
|
||||
version = "0.0.1"
|
||||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 1.0.109",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "snixbolt"
|
||||
version = "0.1.0"
|
||||
dependencies = [
|
||||
"serde",
|
||||
"snix-eval",
|
||||
"wasm-bindgen",
|
||||
"web-sys",
|
||||
"yew",
|
||||
"yew-router",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "static_assertions"
|
||||
version = "1.1.0"
|
||||
|
|
@ -1346,9 +1400,9 @@ dependencies = [
|
|||
|
||||
[[package]]
|
||||
name = "syn"
|
||||
version = "2.0.68"
|
||||
version = "2.0.87"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "901fa70d88b9d6c98022e23b4136f9f3e54e4662c3bc1bd1d84a42a9a0f0c1e9"
|
||||
checksum = "25aa4ce346d03a6dcd68dd8b4010bcb74e54e62c90c573f394c46eae99aba32d"
|
||||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
|
|
@ -1385,7 +1439,16 @@ version = "1.0.63"
|
|||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "c0342370b38b6a11b6cc11d6a805569958d54cfa061a29969c3b5ce2ea405724"
|
||||
dependencies = [
|
||||
"thiserror-impl",
|
||||
"thiserror-impl 1.0.63",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "thiserror"
|
||||
version = "2.0.12"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "567b8a2dae586314f7be2a752ec7474332959c6460e02bde30d702a66d488708"
|
||||
dependencies = [
|
||||
"thiserror-impl 2.0.12",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -1396,7 +1459,18 @@ checksum = "a4558b58466b9ad7ca0f102865eccc95938dca1a74a856f2b57b6629050da261"
|
|||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "thiserror-impl"
|
||||
version = "2.0.12"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "7f7cf42b4507d8ea322120659672cf1b9dbb93f8f2d4ecfd6e51350ff5b17a1d"
|
||||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 2.0.87",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -1490,7 +1564,7 @@ checksum = "34704c8d6ebcbc939824180af020566b01a7c01f80641264eba0999f6c2b6be7"
|
|||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -1502,60 +1576,6 @@ dependencies = [
|
|||
"once_cell",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "tvix-eval"
|
||||
version = "0.1.0"
|
||||
dependencies = [
|
||||
"bstr",
|
||||
"bytes",
|
||||
"codemap",
|
||||
"codemap-diagnostic",
|
||||
"data-encoding",
|
||||
"dirs",
|
||||
"genawaiter",
|
||||
"itertools",
|
||||
"lexical-core",
|
||||
"md-5",
|
||||
"nohash-hasher",
|
||||
"os_str_bytes",
|
||||
"path-clean",
|
||||
"regex",
|
||||
"rnix",
|
||||
"rowan",
|
||||
"rustc-hash 2.0.0",
|
||||
"serde",
|
||||
"serde_json",
|
||||
"sha1",
|
||||
"sha2",
|
||||
"smol_str",
|
||||
"tabwriter",
|
||||
"thiserror",
|
||||
"toml",
|
||||
"tvix-eval-builtin-macros",
|
||||
"vu128",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "tvix-eval-builtin-macros"
|
||||
version = "0.0.1"
|
||||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 1.0.109",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "tvixbolt"
|
||||
version = "0.1.0"
|
||||
dependencies = [
|
||||
"serde",
|
||||
"tvix-eval",
|
||||
"wasm-bindgen",
|
||||
"web-sys",
|
||||
"yew",
|
||||
"yew-router",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "typenum"
|
||||
version = "1.17.0"
|
||||
|
|
@ -1620,7 +1640,7 @@ dependencies = [
|
|||
"log",
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
"wasm-bindgen-shared",
|
||||
]
|
||||
|
||||
|
|
@ -1654,7 +1674,7 @@ checksum = "8ae87ea40c9f689fc23f209965b6fb8a99ad69aeeb0231408be24920604395de"
|
|||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
"wasm-bindgen-backend",
|
||||
"wasm-bindgen-shared",
|
||||
]
|
||||
|
|
@ -1734,7 +1754,7 @@ dependencies = [
|
|||
"rustversion",
|
||||
"serde",
|
||||
"slab",
|
||||
"thiserror",
|
||||
"thiserror 1.0.63",
|
||||
"tokio",
|
||||
"tracing",
|
||||
"wasm-bindgen",
|
||||
|
|
@ -1755,7 +1775,7 @@ dependencies = [
|
|||
"proc-macro-error",
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -1785,5 +1805,5 @@ checksum = "42bfd190a07ca8cfde7cd4c52b3ac463803dc07323db8c34daa697e86365978c"
|
|||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn 2.0.68",
|
||||
"syn 2.0.87",
|
||||
]
|
||||
|
|
@ -31,7 +31,7 @@ rec {
|
|||
#
|
||||
|
||||
rootCrate = rec {
|
||||
packageId = "tvixbolt";
|
||||
packageId = "snixbolt";
|
||||
|
||||
# Use this attribute to refer to the derivation building your root crate package.
|
||||
# You can override the features with rootCrate.build.override { features = [ "default" "feature1" ... ]; }.
|
||||
|
|
@ -47,10 +47,10 @@ rec {
|
|||
# You can override the features with
|
||||
# workspaceMembers."${crateName}".build.override { features = [ "default" "feature1" ... ]; }.
|
||||
workspaceMembers = {
|
||||
"tvixbolt" = rec {
|
||||
packageId = "tvixbolt";
|
||||
"snixbolt" = rec {
|
||||
packageId = "snixbolt";
|
||||
build = internal.buildRustCrateWithFeatures {
|
||||
packageId = "tvixbolt";
|
||||
packageId = "snixbolt";
|
||||
};
|
||||
|
||||
# Debug support which might change between releases.
|
||||
|
|
@ -806,7 +806,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
features = [ "full" ];
|
||||
}
|
||||
];
|
||||
|
|
@ -1533,7 +1533,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror";
|
||||
packageId = "thiserror 1.0.63";
|
||||
optional = true;
|
||||
}
|
||||
{
|
||||
|
|
@ -1594,7 +1594,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror";
|
||||
packageId = "thiserror 1.0.63";
|
||||
optional = true;
|
||||
}
|
||||
{
|
||||
|
|
@ -1671,7 +1671,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror";
|
||||
packageId = "thiserror 1.0.63";
|
||||
}
|
||||
{
|
||||
name = "wasm-bindgen";
|
||||
|
|
@ -1764,7 +1764,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror";
|
||||
packageId = "thiserror 1.0.63";
|
||||
}
|
||||
{
|
||||
name = "wasm-bindgen";
|
||||
|
|
@ -1873,7 +1873,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror";
|
||||
packageId = "thiserror 1.0.63";
|
||||
}
|
||||
{
|
||||
name = "wasm-bindgen";
|
||||
|
|
@ -1922,7 +1922,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror";
|
||||
packageId = "thiserror 1.0.63";
|
||||
}
|
||||
{
|
||||
name = "wasm-bindgen";
|
||||
|
|
@ -2180,7 +2180,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror";
|
||||
packageId = "thiserror 1.0.63";
|
||||
}
|
||||
{
|
||||
name = "wasm-bindgen";
|
||||
|
|
@ -2224,7 +2224,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
features = [ "full" ];
|
||||
}
|
||||
];
|
||||
|
|
@ -2367,7 +2367,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
features = [ "full" ];
|
||||
}
|
||||
];
|
||||
|
|
@ -3070,7 +3070,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
features = [ "full" "visit-mut" ];
|
||||
}
|
||||
];
|
||||
|
|
@ -3116,7 +3116,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror";
|
||||
packageId = "thiserror 1.0.63";
|
||||
}
|
||||
];
|
||||
|
||||
|
|
@ -3138,7 +3138,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
usesDefaultFeatures = false;
|
||||
features = [ "full" ];
|
||||
}
|
||||
|
|
@ -3151,7 +3151,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
usesDefaultFeatures = false;
|
||||
features = [ "parsing" ];
|
||||
}
|
||||
|
|
@ -3403,7 +3403,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror";
|
||||
packageId = "thiserror 1.0.63";
|
||||
}
|
||||
];
|
||||
features = {
|
||||
|
|
@ -3799,7 +3799,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
usesDefaultFeatures = false;
|
||||
features = [ "clone-impls" "derive" "parsing" "printing" "proc-macro" ];
|
||||
}
|
||||
|
|
@ -4028,6 +4028,206 @@ rec {
|
|||
};
|
||||
resolvedDefaultFeatures = [ "default" "std" ];
|
||||
};
|
||||
"snix-eval" = rec {
|
||||
crateName = "snix-eval";
|
||||
version = "0.1.0";
|
||||
edition = "2021";
|
||||
src = lib.cleanSourceWith { filter = sourceFilter; src = ../../snix/eval; };
|
||||
libName = "snix_eval";
|
||||
dependencies = [
|
||||
{
|
||||
name = "bstr";
|
||||
packageId = "bstr";
|
||||
features = [ "serde" ];
|
||||
}
|
||||
{
|
||||
name = "bytes";
|
||||
packageId = "bytes";
|
||||
}
|
||||
{
|
||||
name = "codemap";
|
||||
packageId = "codemap";
|
||||
}
|
||||
{
|
||||
name = "codemap-diagnostic";
|
||||
packageId = "codemap-diagnostic";
|
||||
}
|
||||
{
|
||||
name = "data-encoding";
|
||||
packageId = "data-encoding";
|
||||
}
|
||||
{
|
||||
name = "dirs";
|
||||
packageId = "dirs";
|
||||
}
|
||||
{
|
||||
name = "genawaiter";
|
||||
packageId = "genawaiter";
|
||||
usesDefaultFeatures = false;
|
||||
}
|
||||
{
|
||||
name = "itertools";
|
||||
packageId = "itertools";
|
||||
}
|
||||
{
|
||||
name = "lexical-core";
|
||||
packageId = "lexical-core";
|
||||
features = [ "format" "parse-floats" ];
|
||||
}
|
||||
{
|
||||
name = "md-5";
|
||||
packageId = "md-5";
|
||||
}
|
||||
{
|
||||
name = "nohash-hasher";
|
||||
packageId = "nohash-hasher";
|
||||
}
|
||||
{
|
||||
name = "os_str_bytes";
|
||||
packageId = "os_str_bytes";
|
||||
features = [ "conversions" ];
|
||||
}
|
||||
{
|
||||
name = "path-clean";
|
||||
packageId = "path-clean";
|
||||
}
|
||||
{
|
||||
name = "regex";
|
||||
packageId = "regex";
|
||||
}
|
||||
{
|
||||
name = "rnix";
|
||||
packageId = "rnix";
|
||||
}
|
||||
{
|
||||
name = "rowan";
|
||||
packageId = "rowan";
|
||||
}
|
||||
{
|
||||
name = "rustc-hash";
|
||||
packageId = "rustc-hash 2.0.0";
|
||||
}
|
||||
{
|
||||
name = "serde";
|
||||
packageId = "serde";
|
||||
features = [ "rc" "derive" ];
|
||||
}
|
||||
{
|
||||
name = "serde_json";
|
||||
packageId = "serde_json";
|
||||
}
|
||||
{
|
||||
name = "sha1";
|
||||
packageId = "sha1";
|
||||
}
|
||||
{
|
||||
name = "sha2";
|
||||
packageId = "sha2";
|
||||
}
|
||||
{
|
||||
name = "smol_str";
|
||||
packageId = "smol_str";
|
||||
}
|
||||
{
|
||||
name = "snix-eval-builtin-macros";
|
||||
packageId = "snix-eval-builtin-macros";
|
||||
rename = "builtin-macros";
|
||||
}
|
||||
{
|
||||
name = "tabwriter";
|
||||
packageId = "tabwriter";
|
||||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror 2.0.12";
|
||||
}
|
||||
{
|
||||
name = "toml";
|
||||
packageId = "toml";
|
||||
}
|
||||
{
|
||||
name = "vu128";
|
||||
packageId = "vu128";
|
||||
}
|
||||
];
|
||||
devDependencies = [
|
||||
{
|
||||
name = "itertools";
|
||||
packageId = "itertools";
|
||||
}
|
||||
];
|
||||
features = {
|
||||
"arbitrary" = [ "proptest" "test-strategy" ];
|
||||
"default" = [ "impure" "arbitrary" "nix_tests" ];
|
||||
"proptest" = [ "dep:proptest" ];
|
||||
"test-strategy" = [ "dep:test-strategy" ];
|
||||
};
|
||||
};
|
||||
"snix-eval-builtin-macros" = rec {
|
||||
crateName = "snix-eval-builtin-macros";
|
||||
version = "0.0.1";
|
||||
edition = "2021";
|
||||
src = lib.cleanSourceWith { filter = sourceFilter; src = ../../snix/eval/builtin-macros; };
|
||||
procMacro = true;
|
||||
libName = "snix_eval_builtin_macros";
|
||||
authors = [
|
||||
"Griffin Smith <root@gws.fyi>"
|
||||
];
|
||||
dependencies = [
|
||||
{
|
||||
name = "proc-macro2";
|
||||
packageId = "proc-macro2";
|
||||
}
|
||||
{
|
||||
name = "quote";
|
||||
packageId = "quote";
|
||||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 1.0.109";
|
||||
features = [ "full" "parsing" "printing" "visit" "visit-mut" "extra-traits" ];
|
||||
}
|
||||
];
|
||||
|
||||
};
|
||||
"snixbolt" = rec {
|
||||
crateName = "snixbolt";
|
||||
version = "0.1.0";
|
||||
edition = "2021";
|
||||
src = lib.cleanSourceWith { filter = sourceFilter; src = ./.; };
|
||||
type = [ "cdylib" ];
|
||||
dependencies = [
|
||||
{
|
||||
name = "serde";
|
||||
packageId = "serde";
|
||||
features = [ "derive" ];
|
||||
}
|
||||
{
|
||||
name = "snix-eval";
|
||||
packageId = "snix-eval";
|
||||
usesDefaultFeatures = false;
|
||||
}
|
||||
{
|
||||
name = "wasm-bindgen";
|
||||
packageId = "wasm-bindgen";
|
||||
}
|
||||
{
|
||||
name = "web-sys";
|
||||
packageId = "web-sys";
|
||||
features = [ "HtmlDetailsElement" ];
|
||||
}
|
||||
{
|
||||
name = "yew";
|
||||
packageId = "yew";
|
||||
features = [ "csr" ];
|
||||
}
|
||||
{
|
||||
name = "yew-router";
|
||||
packageId = "yew-router";
|
||||
}
|
||||
];
|
||||
|
||||
};
|
||||
"static_assertions" = rec {
|
||||
crateName = "static_assertions";
|
||||
version = "1.1.0";
|
||||
|
|
@ -4072,11 +4272,11 @@ rec {
|
|||
};
|
||||
resolvedDefaultFeatures = [ "clone-impls" "default" "derive" "extra-traits" "full" "parsing" "printing" "proc-macro" "quote" "visit" "visit-mut" ];
|
||||
};
|
||||
"syn 2.0.68" = rec {
|
||||
"syn 2.0.87" = rec {
|
||||
crateName = "syn";
|
||||
version = "2.0.68";
|
||||
version = "2.0.87";
|
||||
edition = "2021";
|
||||
sha256 = "1sf1y2hajhjav38ipg63c934xrgkz4v42fz24a0ckmmri06sf7wh";
|
||||
sha256 = "0bd3mfcswvn4jkrp7ich5kk58kmpph8412yxd36nsfnh8vilrai5";
|
||||
authors = [
|
||||
"David Tolnay <dtolnay@gmail.com>"
|
||||
];
|
||||
|
|
@ -4153,7 +4353,7 @@ rec {
|
|||
"serde" = [ "dep:serde" ];
|
||||
};
|
||||
};
|
||||
"thiserror" = rec {
|
||||
"thiserror 1.0.63" = rec {
|
||||
crateName = "thiserror";
|
||||
version = "1.0.63";
|
||||
edition = "2021";
|
||||
|
|
@ -4164,12 +4364,31 @@ rec {
|
|||
dependencies = [
|
||||
{
|
||||
name = "thiserror-impl";
|
||||
packageId = "thiserror-impl";
|
||||
packageId = "thiserror-impl 1.0.63";
|
||||
}
|
||||
];
|
||||
|
||||
};
|
||||
"thiserror-impl" = rec {
|
||||
"thiserror 2.0.12" = rec {
|
||||
crateName = "thiserror";
|
||||
version = "2.0.12";
|
||||
edition = "2021";
|
||||
sha256 = "024791nsc0np63g2pq30cjf9acj38z3jwx9apvvi8qsqmqnqlysn";
|
||||
authors = [
|
||||
"David Tolnay <dtolnay@gmail.com>"
|
||||
];
|
||||
dependencies = [
|
||||
{
|
||||
name = "thiserror-impl";
|
||||
packageId = "thiserror-impl 2.0.12";
|
||||
}
|
||||
];
|
||||
features = {
|
||||
"default" = [ "std" ];
|
||||
};
|
||||
resolvedDefaultFeatures = [ "default" "std" ];
|
||||
};
|
||||
"thiserror-impl 1.0.63" = rec {
|
||||
crateName = "thiserror-impl";
|
||||
version = "1.0.63";
|
||||
edition = "2021";
|
||||
|
|
@ -4190,7 +4409,33 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
}
|
||||
];
|
||||
|
||||
};
|
||||
"thiserror-impl 2.0.12" = rec {
|
||||
crateName = "thiserror-impl";
|
||||
version = "2.0.12";
|
||||
edition = "2021";
|
||||
sha256 = "07bsn7shydaidvyyrm7jz29vp78vrxr9cr9044rfmn078lmz8z3z";
|
||||
procMacro = true;
|
||||
libName = "thiserror_impl";
|
||||
authors = [
|
||||
"David Tolnay <dtolnay@gmail.com>"
|
||||
];
|
||||
dependencies = [
|
||||
{
|
||||
name = "proc-macro2";
|
||||
packageId = "proc-macro2";
|
||||
}
|
||||
{
|
||||
name = "quote";
|
||||
packageId = "quote";
|
||||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.87";
|
||||
}
|
||||
];
|
||||
|
||||
|
|
@ -4487,7 +4732,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
usesDefaultFeatures = false;
|
||||
features = [ "full" "parsing" "printing" "visit-mut" "clone-impls" "extra-traits" "proc-macro" ];
|
||||
}
|
||||
|
|
@ -4518,206 +4763,6 @@ rec {
|
|||
};
|
||||
resolvedDefaultFeatures = [ "once_cell" "std" ];
|
||||
};
|
||||
"tvix-eval" = rec {
|
||||
crateName = "tvix-eval";
|
||||
version = "0.1.0";
|
||||
edition = "2021";
|
||||
src = lib.cleanSourceWith { filter = sourceFilter; src = ../../tvix/eval; };
|
||||
libName = "tvix_eval";
|
||||
dependencies = [
|
||||
{
|
||||
name = "bstr";
|
||||
packageId = "bstr";
|
||||
features = [ "serde" ];
|
||||
}
|
||||
{
|
||||
name = "bytes";
|
||||
packageId = "bytes";
|
||||
}
|
||||
{
|
||||
name = "codemap";
|
||||
packageId = "codemap";
|
||||
}
|
||||
{
|
||||
name = "codemap-diagnostic";
|
||||
packageId = "codemap-diagnostic";
|
||||
}
|
||||
{
|
||||
name = "data-encoding";
|
||||
packageId = "data-encoding";
|
||||
}
|
||||
{
|
||||
name = "dirs";
|
||||
packageId = "dirs";
|
||||
}
|
||||
{
|
||||
name = "genawaiter";
|
||||
packageId = "genawaiter";
|
||||
usesDefaultFeatures = false;
|
||||
}
|
||||
{
|
||||
name = "itertools";
|
||||
packageId = "itertools";
|
||||
}
|
||||
{
|
||||
name = "lexical-core";
|
||||
packageId = "lexical-core";
|
||||
features = [ "format" "parse-floats" ];
|
||||
}
|
||||
{
|
||||
name = "md-5";
|
||||
packageId = "md-5";
|
||||
}
|
||||
{
|
||||
name = "nohash-hasher";
|
||||
packageId = "nohash-hasher";
|
||||
}
|
||||
{
|
||||
name = "os_str_bytes";
|
||||
packageId = "os_str_bytes";
|
||||
features = [ "conversions" ];
|
||||
}
|
||||
{
|
||||
name = "path-clean";
|
||||
packageId = "path-clean";
|
||||
}
|
||||
{
|
||||
name = "regex";
|
||||
packageId = "regex";
|
||||
}
|
||||
{
|
||||
name = "rnix";
|
||||
packageId = "rnix";
|
||||
}
|
||||
{
|
||||
name = "rowan";
|
||||
packageId = "rowan";
|
||||
}
|
||||
{
|
||||
name = "rustc-hash";
|
||||
packageId = "rustc-hash 2.0.0";
|
||||
}
|
||||
{
|
||||
name = "serde";
|
||||
packageId = "serde";
|
||||
features = [ "rc" "derive" ];
|
||||
}
|
||||
{
|
||||
name = "serde_json";
|
||||
packageId = "serde_json";
|
||||
}
|
||||
{
|
||||
name = "sha1";
|
||||
packageId = "sha1";
|
||||
}
|
||||
{
|
||||
name = "sha2";
|
||||
packageId = "sha2";
|
||||
}
|
||||
{
|
||||
name = "smol_str";
|
||||
packageId = "smol_str";
|
||||
}
|
||||
{
|
||||
name = "tabwriter";
|
||||
packageId = "tabwriter";
|
||||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror";
|
||||
}
|
||||
{
|
||||
name = "toml";
|
||||
packageId = "toml";
|
||||
}
|
||||
{
|
||||
name = "tvix-eval-builtin-macros";
|
||||
packageId = "tvix-eval-builtin-macros";
|
||||
rename = "builtin-macros";
|
||||
}
|
||||
{
|
||||
name = "vu128";
|
||||
packageId = "vu128";
|
||||
}
|
||||
];
|
||||
devDependencies = [
|
||||
{
|
||||
name = "itertools";
|
||||
packageId = "itertools";
|
||||
}
|
||||
];
|
||||
features = {
|
||||
"arbitrary" = [ "proptest" "test-strategy" ];
|
||||
"default" = [ "impure" "arbitrary" "nix_tests" ];
|
||||
"proptest" = [ "dep:proptest" ];
|
||||
"test-strategy" = [ "dep:test-strategy" ];
|
||||
};
|
||||
};
|
||||
"tvix-eval-builtin-macros" = rec {
|
||||
crateName = "tvix-eval-builtin-macros";
|
||||
version = "0.0.1";
|
||||
edition = "2021";
|
||||
src = lib.cleanSourceWith { filter = sourceFilter; src = ../../tvix/eval/builtin-macros; };
|
||||
procMacro = true;
|
||||
libName = "tvix_eval_builtin_macros";
|
||||
authors = [
|
||||
"Griffin Smith <root@gws.fyi>"
|
||||
];
|
||||
dependencies = [
|
||||
{
|
||||
name = "proc-macro2";
|
||||
packageId = "proc-macro2";
|
||||
}
|
||||
{
|
||||
name = "quote";
|
||||
packageId = "quote";
|
||||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 1.0.109";
|
||||
features = [ "full" "parsing" "printing" "visit" "visit-mut" "extra-traits" ];
|
||||
}
|
||||
];
|
||||
|
||||
};
|
||||
"tvixbolt" = rec {
|
||||
crateName = "tvixbolt";
|
||||
version = "0.1.0";
|
||||
edition = "2021";
|
||||
src = lib.cleanSourceWith { filter = sourceFilter; src = ./.; };
|
||||
type = [ "cdylib" ];
|
||||
dependencies = [
|
||||
{
|
||||
name = "serde";
|
||||
packageId = "serde";
|
||||
features = [ "derive" ];
|
||||
}
|
||||
{
|
||||
name = "tvix-eval";
|
||||
packageId = "tvix-eval";
|
||||
usesDefaultFeatures = false;
|
||||
}
|
||||
{
|
||||
name = "wasm-bindgen";
|
||||
packageId = "wasm-bindgen";
|
||||
}
|
||||
{
|
||||
name = "web-sys";
|
||||
packageId = "web-sys";
|
||||
features = [ "HtmlDetailsElement" ];
|
||||
}
|
||||
{
|
||||
name = "yew";
|
||||
packageId = "yew";
|
||||
features = [ "csr" ];
|
||||
}
|
||||
{
|
||||
name = "yew-router";
|
||||
packageId = "yew-router";
|
||||
}
|
||||
];
|
||||
|
||||
};
|
||||
"typenum" = rec {
|
||||
crateName = "typenum";
|
||||
version = "1.17.0";
|
||||
|
|
@ -4886,7 +4931,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
features = [ "full" ];
|
||||
}
|
||||
{
|
||||
|
|
@ -4976,7 +5021,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
features = [ "visit" "visit-mut" "full" ];
|
||||
}
|
||||
{
|
||||
|
|
@ -5626,7 +5671,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "thiserror";
|
||||
packageId = "thiserror";
|
||||
packageId = "thiserror 1.0.63";
|
||||
}
|
||||
{
|
||||
name = "tokio";
|
||||
|
|
@ -5722,7 +5767,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
features = [ "full" "extra-traits" "visit-mut" ];
|
||||
}
|
||||
];
|
||||
|
|
@ -5826,7 +5871,7 @@ rec {
|
|||
}
|
||||
{
|
||||
name = "syn";
|
||||
packageId = "syn 2.0.68";
|
||||
packageId = "syn 2.0.87";
|
||||
features = [ "full" "extra-traits" ];
|
||||
}
|
||||
];
|
||||
|
|
@ -1,5 +1,5 @@
|
|||
[package]
|
||||
name = "tvixbolt"
|
||||
name = "snixbolt"
|
||||
version = "0.1.0"
|
||||
edition = "2021"
|
||||
|
||||
|
|
@ -9,7 +9,7 @@ crate-type = ["cdylib"]
|
|||
[dependencies]
|
||||
yew = { version = "0.21.0", features = ["csr"] }
|
||||
yew-router = "0.18"
|
||||
tvix-eval = { path = "../../tvix/eval", default-features = false }
|
||||
snix-eval = { path = "../../snix/eval", default-features = false }
|
||||
serde = { version = "1.0.204", features = ["derive"] }
|
||||
web-sys = { version = "0.3.69", features = ["HtmlDetailsElement"] }
|
||||
wasm-bindgen = "0.2.100"
|
||||
|
|
@ -3,9 +3,9 @@ let
|
|||
pkgsCross = pkgs.pkgsCross.wasm32-unknown-none;
|
||||
in
|
||||
(pkgsCross.callPackage ./Cargo.nix {
|
||||
defaultCrateOverrides = (depot.tvix.utils.defaultCrateOverridesForPkgs pkgsCross) // {
|
||||
tvixbolt = prev: {
|
||||
src = depot.tvix.utils.filterRustCrateSrc { root = prev.src.origSrc; };
|
||||
defaultCrateOverrides = (depot.snix.utils.defaultCrateOverridesForPkgs pkgsCross) // {
|
||||
snixbolt = prev: {
|
||||
src = depot.snix.utils.filterRustCrateSrc { root = prev.src.origSrc; };
|
||||
};
|
||||
};
|
||||
}).rootCrate.build.overrideAttrs (oldAttrs: {
|
||||
|
|
@ -20,13 +20,13 @@ in
|
|||
mv src/*.{html,css} $out
|
||||
'';
|
||||
|
||||
passthru.serve = pkgs.writeShellScriptBin "tvixbolt-serve" ''
|
||||
passthru.serve = pkgs.writeShellScriptBin "snixbolt-serve" ''
|
||||
${lib.getExe pkgs.simple-http-server} \
|
||||
--index \
|
||||
--nocache \
|
||||
"$@" \
|
||||
${depot.web.tvixbolt}
|
||||
${depot.web.snixbolt}
|
||||
'';
|
||||
|
||||
meta.ci.extraSteps.crate2nix-check = depot.tvix.utils.mkCrate2nixCheck ./Cargo.nix;
|
||||
meta.ci.extraSteps.crate2nix-check = depot.snix.utils.mkCrate2nixCheck ./Cargo.nix;
|
||||
})
|
||||
|
|
@ -1,4 +1,4 @@
|
|||
// tvixbolt - an online tool for exploring Tvix language evaluation
|
||||
// snixbolt - an online tool for exploring Snix language evaluation
|
||||
//
|
||||
// Copyright (C) The TVL Community
|
||||
// SPDX-License-Identifier: AGPL-3.0-or-later
|
||||
|
|
@ -6,7 +6,7 @@
|
|||
use std::fmt::Write;
|
||||
|
||||
use serde::{Deserialize, Serialize};
|
||||
use tvix_eval::observer::{DisassemblingObserver, TracingObserver};
|
||||
use snix_eval::observer::{DisassemblingObserver, TracingObserver};
|
||||
use wasm_bindgen::prelude::wasm_bindgen;
|
||||
use web_sys::HtmlDetailsElement;
|
||||
use web_sys::HtmlTextAreaElement;
|
||||
|
|
@ -37,20 +37,20 @@ struct Model {
|
|||
display_ast: bool,
|
||||
}
|
||||
|
||||
fn tvixbolt_overview() -> Html {
|
||||
fn snixbolt_overview() -> Html {
|
||||
html! {
|
||||
<>
|
||||
<p>
|
||||
{"This page lets you explore the bytecode generated by the "}
|
||||
<a href="https://tvix.dev">{"Tvix"}</a>
|
||||
<a href="https://snix.dev">{"Snix"}</a>
|
||||
{" compiler for the Nix language."}
|
||||
</p>
|
||||
<p>
|
||||
{"Tvix is still "}<i>{"work-in-progress"}</i>{" and we would appreciate "}
|
||||
{"Snix is still "}<i>{"work-in-progress"}</i>{" and we would appreciate "}
|
||||
{"if you told us about bugs you find."}
|
||||
</p>
|
||||
<p>
|
||||
{"Tvixbolt is a project by "}
|
||||
{"Snixbolt is a project by "}
|
||||
<a href="https://tvl.fyi">
|
||||
{"TVL"}
|
||||
</a>
|
||||
|
|
@ -129,8 +129,8 @@ impl Component for Model {
|
|||
html! {
|
||||
<>
|
||||
<div class="container">
|
||||
<h1>{"tvixbolt"}</h1>
|
||||
{tvixbolt_overview()}
|
||||
<h1>{"snixbolt"}</h1>
|
||||
{snixbolt_overview()}
|
||||
<form>
|
||||
<fieldset>
|
||||
<legend>{"Input"}</legend>
|
||||
|
|
@ -266,7 +266,7 @@ fn eval(model: &Model) -> Output {
|
|||
return out;
|
||||
}
|
||||
|
||||
let mut eval_builder = tvix_eval::Evaluation::builder_pure();
|
||||
let mut eval_builder = snix_eval::Evaluation::builder_pure();
|
||||
let source = eval_builder.source_map().clone();
|
||||
|
||||
let result = {
|
||||
|
|
@ -284,7 +284,7 @@ fn eval(model: &Model) -> Output {
|
|||
|
||||
if model.display_ast {
|
||||
if let Some(ref expr) = result.expr {
|
||||
out.ast = tvix_eval::pretty_print_expr(expr);
|
||||
out.ast = snix_eval::pretty_print_expr(expr);
|
||||
}
|
||||
}
|
||||
|
||||
Loading…
Add table
Add a link
Reference in a new issue