Skip to content

Commit

Permalink
Revert "Print the value in error: cannot coerce messages (NixOS#9553)"
Browse files Browse the repository at this point in the history 
This reverts commit f0ac2a3.

The request from the sibling PR, which also applies here, was not addressed.
NixOS#9554 (comment)
  • Loading branch information
@roberth
roberth committed Dec 9, 2023
1 parent d4f6b1d commit 9b7b7a7
Show file tree
Hide file tree
Showing 6 changed files with 21 additions and 73 deletions.
50 changes: 0 additions & 50 deletions doc/manual/rl-next/print-value-in-coercion-error.md
View file

This file was deleted.

2 changes: 1 addition & 1 deletion doc/manual/src/language/string-interpolation.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -189,7 +189,7 @@ If neither is present, an error is thrown.
> "${a}"
> ```
>
> error: cannot coerce a set to a string: { }
> error: cannot coerce a set to a string
>
> at «string»:4:2:
>
Expand Down
10 changes: 4 additions & 6 deletions src/libexpr/eval.cc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,9 +27,9 @@
#include <unistd.h>
#include <sys/time.h>
#include <sys/resource.h>
#include <iostream>
#include <fstream>
#include <functional>
#include <sstream>

#include <sys/resource.h>
#include <nlohmann/json.hpp>
Expand Down Expand Up @@ -2230,7 +2230,7 @@ BackedStringView EvalState::coerceToString(
return std::move(*maybeString);
auto i = v.attrs->find(sOutPath);
if (i == v.attrs->end()) {
error("cannot coerce %1% to a string: %2%", showType(v), printValue(*this, v))
error("cannot coerce %1% to a string", showType(v))
.withTrace(pos, errorCtx)
.debugThrow<TypeError>();
}
Expand Down Expand Up @@ -2276,7 +2276,7 @@ BackedStringView EvalState::coerceToString(
}
}

error("cannot coerce %1% to a string: %2%", showType(v), printValue(*this, v))
error("cannot coerce %1% to a string", showType(v))
.withTrace(pos, errorCtx)
.debugThrow<TypeError>();
}
Expand Down Expand Up @@ -2635,10 +2635,8 @@ void EvalState::printStatistics()

std::string ExternalValueBase::coerceToString(const Pos & pos, NixStringContext & context, bool copyMore, bool copyToStore) const
{
std::stringstream printed;
print(printed);
throw TypeError({
.msg = hintfmt("cannot coerce %1% to a string: %2%", showType(), printed.str())
.msg = hintfmt("cannot coerce %1% to a string", showType())
});
}

Expand Down
2 changes: 1 addition & 1 deletion tests/functional/lang/eval-fail-bad-string-interpolation-1.err.exp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,4 +7,4 @@ error:
| ^
2|

error: cannot coerce a function to a string: <LAMBDA>
error: cannot coerce a function to a string
2 changes: 1 addition & 1 deletion tests/functional/lang/eval-fail-bad-string-interpolation-3.err.exp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,4 +7,4 @@ error:
| ^
2|

error: cannot coerce a function to a string: <LAMBDA>
error: cannot coerce a function to a string
28 changes: 14 additions & 14 deletions tests/unit/libexpr/error_traces.cc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -295,7 +295,7 @@ namespace nix {
TEST_F(ErrorTraceTest, toPath) {
ASSERT_TRACE2("toPath []",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a list", "[ ]"),
hintfmt("cannot coerce %s to a string", "a list"),
hintfmt("while evaluating the first argument passed to builtins.toPath"));

ASSERT_TRACE2("toPath \"foo\"",
Expand All @@ -309,7 +309,7 @@ namespace nix {
TEST_F(ErrorTraceTest, storePath) {
ASSERT_TRACE2("storePath true",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a Boolean", "true"),
hintfmt("cannot coerce %s to a string", "a Boolean"),
hintfmt("while evaluating the first argument passed to 'builtins.storePath'"));

}
Expand All @@ -318,7 +318,7 @@ namespace nix {
TEST_F(ErrorTraceTest, pathExists) {
ASSERT_TRACE2("pathExists []",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a list", "[ ]"),
hintfmt("cannot coerce %s to a string", "a list"),
hintfmt("while realising the context of a path"));

ASSERT_TRACE2("pathExists \"zorglub\"",
Expand All @@ -332,7 +332,7 @@ namespace nix {
TEST_F(ErrorTraceTest, baseNameOf) {
ASSERT_TRACE2("baseNameOf []",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a list", "[ ]"),
hintfmt("cannot coerce %s to a string", "a list"),
hintfmt("while evaluating the first argument passed to builtins.baseNameOf"));

}
Expand Down Expand Up @@ -377,7 +377,7 @@ namespace nix {
TEST_F(ErrorTraceTest, filterSource) {
ASSERT_TRACE2("filterSource [] []",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a list", "[ ]"),
hintfmt("cannot coerce %s to a string", "a list"),
hintfmt("while evaluating the second argument (the path to filter) passed to 'builtins.filterSource'"));

ASSERT_TRACE2("filterSource [] \"foo\"",
Expand Down Expand Up @@ -1038,7 +1038,7 @@ namespace nix {
TEST_F(ErrorTraceTest, toString) {
ASSERT_TRACE2("toString { a = 1; }",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a set", "{ a = 1; }"),
hintfmt("cannot coerce %s to a string", "a set"),
hintfmt("while evaluating the first argument passed to builtins.toString"));

}
Expand All @@ -1057,7 +1057,7 @@ namespace nix {

ASSERT_TRACE2("substring 0 3 {}",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a set", "{ }"),
hintfmt("cannot coerce %s to a string", "a set"),
hintfmt("while evaluating the third argument (the string) passed to builtins.substring"));

ASSERT_TRACE1("substring (-3) 3 \"sometext\"",
Expand All @@ -1070,7 +1070,7 @@ namespace nix {
TEST_F(ErrorTraceTest, stringLength) {
ASSERT_TRACE2("stringLength {} # TODO: context is missing ???",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a set", "{ }"),
hintfmt("cannot coerce %s to a string", "a set"),
hintfmt("while evaluating the argument passed to builtins.stringLength"));

}
Expand Down Expand Up @@ -1143,7 +1143,7 @@ namespace nix {

ASSERT_TRACE2("concatStringsSep \"foo\" [ 1 2 {} ] # TODO: coerce to string is buggy",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "an integer", "1"),
hintfmt("cannot coerce %s to a string", "an integer"),
hintfmt("while evaluating one element of the list of strings to concat passed to builtins.concatStringsSep"));

}
Expand Down Expand Up @@ -1229,12 +1229,12 @@ namespace nix {
ASSERT_TRACE2("derivationStrict { name = \"foo\"; builder = 1; system = {}; }",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a set", "{ }"),
hintfmt("cannot coerce %s to a string", "a set"),
hintfmt("while evaluating the attribute 'system' of derivation 'foo'"));
ASSERT_TRACE2("derivationStrict { name = \"foo\"; builder = 1; system = 1; outputs = {}; }",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a set", "{ }"),
hintfmt("cannot coerce %s to a string", "a set"),
hintfmt("while evaluating the attribute 'outputs' of derivation 'foo'"));
ASSERT_TRACE2("derivationStrict { name = \"foo\"; builder = 1; system = 1; outputs = \"drv\"; }",
Expand Down Expand Up @@ -1279,17 +1279,17 @@ namespace nix {
ASSERT_TRACE2("derivationStrict { name = \"foo\"; builder = 1; system = 1; outputs = \"out\"; args = [ {} ]; }",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a set", "{ }"),
hintfmt("cannot coerce %s to a string", "a set"),
hintfmt("while evaluating an element of the argument list"));
ASSERT_TRACE2("derivationStrict { name = \"foo\"; builder = 1; system = 1; outputs = \"out\"; args = [ \"a\" {} ]; }",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a set", "{ }"),
hintfmt("cannot coerce %s to a string", "a set"),
hintfmt("while evaluating an element of the argument list"));
ASSERT_TRACE2("derivationStrict { name = \"foo\"; builder = 1; system = 1; outputs = \"out\"; FOO = {}; }",
TypeError,
hintfmt("cannot coerce %s to a string: %s", "a set", "{ }"),
hintfmt("cannot coerce %s to a string", "a set"),
hintfmt("while evaluating the attribute 'FOO' of derivation 'foo'"));
}
Expand Down

0 comments on commit 9b7b7a7

Please sign in to comment.