assert { foo = { type = "derivation"; outPath = "/nix/store/0"; ignored = abort "not ignored"; }; } == { foo = { type = "derivation"; outPath = "/nix/store/1"; ignored = abort "not ignored"; }; }; throw "unreachable"
index : verified-dyn-lang-interp | ||
Artifact for https://doi.org/10.1145/3747537 | Rutger Broekhoff |
aboutsummaryrefslogtreecommitdiffstats |
assert { foo = { type = "derivation"; outPath = "/nix/store/0"; ignored = abort "not ignored"; }; } == { foo = { type = "derivation"; outPath = "/nix/store/1"; ignored = abort "not ignored"; }; }; throw "unreachable"