Skip to content

Commit

Permalink
Fix fileset compatibility
Browse files Browse the repository at this point in the history
It was getting confused between the virtual path representation
(/nix/store/<virtual>-source) on the one hand, and the path type
representation on the other hand. In particular, we need to make sure
that `dirOf <flake-root>` returns /nix/store rather than /.
  • Loading branch information
edolstra authored and domenkozar committed Apr 30, 2024
1 parent 423b33b commit fca6ddf
Show file tree
Hide file tree
Showing 3 changed files with 22 additions and 7 deletions.
15 changes: 12 additions & 3 deletions src/libexpr/eval.cc
Original file line number Diff line number Diff line change
Expand Up @@ -257,7 +257,12 @@ static Symbol getName(const AttrName & name, EvalState & state, Env & env)
} else {
Value nameValue;
name.expr->eval(state, env, nameValue);
state.forceStringNoCtx(nameValue, name.expr->getPos(), "while evaluating an attribute name");
// FIXME: should use forceStringNoCtx(). However, that
// requires us to make builtins.substring more precise about
// propagating contexts. E.g. `builtins.substring 44 (-1)
// "${./src}"` should not have a context (at least not a
// `InputAccessor` context).
state.forceString(nameValue, name.expr->getPos(), "while evaluating an attribute name");
return state.symbols.create(nameValue.string_view());
}
}
Expand Down Expand Up @@ -2380,8 +2385,12 @@ SourcePath EvalState::coerceToPath(const PosIdx pos, Value & v, NixStringContext
}

/* Handle path values directly, without coercing to a string. */
if (v.type() == nPath)
return v.path();
if (v.type() == nPath) {
auto path = v.path();
return path.accessor == rootFS
? decodePath(path.path.abs())
: path;
}

/* Similarly, handle __toString where the result may be a path
value. */
Expand Down
12 changes: 9 additions & 3 deletions src/libexpr/primops.cc
Original file line number Diff line number Diff line change
Expand Up @@ -1591,6 +1591,7 @@ static std::string_view legacyBaseNameOf(std::string_view path)
static void prim_baseNameOf(EvalState & state, const PosIdx pos, Value * * args, Value & v)
{
NixStringContext context;
// FIXME: handle roots of source trees (should return "<hash>-source").
v.mkString(legacyBaseNameOf(*state.coerceToString(pos, *args[0], context,
"while evaluating the first argument passed to builtins.baseNameOf",
false, false)), context);
Expand All @@ -1608,14 +1609,19 @@ static RegisterPrimOp primop_baseNameOf({
});

/* Return the directory of the given path, i.e., everything before the
last slash. Return either a path or a string depending on the type
of the argument. */
last slash. Return either a path or a string depending on the type
of the argument. For backwards compatibility, the parent of a tree
other than rootFS is the store directory. */
static void prim_dirOf(EvalState & state, const PosIdx pos, Value * * args, Value & v)
{
state.forceValue(*args[0], pos);
if (args[0]->type() == nPath) {
auto path = args[0]->path();
v.mkPath(path.path.isRoot() ? path : path.parent());
v.mkPath(path.path.isRoot()
? path.accessor != state.rootFS
? SourcePath{state.rootFS, CanonPath(state.store->storeDir)}
: SourcePath{state.rootFS}
: path.parent());
} else {
NixStringContext context;
auto path = state.coerceToString(pos, *args[0], context,
Expand Down
2 changes: 1 addition & 1 deletion tests/functional/flakes/flakes.sh
Original file line number Diff line number Diff line change
Expand Up @@ -215,7 +215,7 @@ nix build -o "$TEST_ROOT/result" --expr "(builtins.getFlake \"$flake1Dir\").pack
nix build -o "$TEST_ROOT/result" --expr "(builtins.getFlake \"git+file://$flake1Dir?rev=$hash2\").packages.$system.default"

# Regression test for dirOf on the root of the flake.
[[ $(nix eval --json flake1#parent) = '"/"' ]]
[[ $(nix eval --json flake1#parent) = \""$NIX_STORE_DIR"\" ]]

# Building a flake with an unlocked dependency should fail in pure mode.
(! nix build -o "$TEST_ROOT/result" flake2#bar --no-registries)
Expand Down

0 comments on commit fca6ddf

Please sign in to comment.