eldritch horrorsandjade
b0d7a81613
clangd broke because it can't look through symlinks. compile_commands manipulation does not fix it, clangd configuration does not fix it, a vfs overlay does not fix it, and while a combination of those can fix it with a bind mount in place that's just too cursed to even consider clangd bug: https://github.com/llvm/llvm-project/issues/116877 Change-Id: I8e3e8489548eb3a7aa65ac9d12a5ec8abf814aec
104 lines
2.8 KiB
C++
104 lines
2.8 KiB
C++
#include "lix/libexpr/print-ambiguous.hh"
|
|
#include "lix/libexpr/attr-set.hh"
|
|
#include "lix/libutil/logging.hh"
|
|
#include "lix/libexpr/print.hh"
|
|
#include "lix/libutil/signals.hh"
|
|
#include "lix/libutil/escape-string.hh"
|
|
|
|
namespace nix {
|
|
|
|
// See: https://github.com/NixOS/nix/issues/9730
|
|
void printAmbiguous(
|
|
Value &v,
|
|
const SymbolTable &symbols,
|
|
std::ostream &str,
|
|
std::set<const void *> *seen,
|
|
int depth)
|
|
{
|
|
checkInterrupt();
|
|
|
|
if (depth <= 0) {
|
|
str << "«too deep»";
|
|
return;
|
|
}
|
|
switch (v.type()) {
|
|
case nInt:
|
|
str << v.integer;
|
|
break;
|
|
case nBool:
|
|
printLiteralBool(str, v.boolean);
|
|
break;
|
|
case nString:
|
|
escapeString(str, v.string.s);
|
|
break;
|
|
case nPath:
|
|
str << v.path().to_string(); // !!! escaping?
|
|
break;
|
|
case nNull:
|
|
str << "null";
|
|
break;
|
|
case nAttrs: {
|
|
if (seen && !v.attrs->empty() && !seen->insert(v.attrs).second)
|
|
str << "«repeated»";
|
|
else {
|
|
str << "{ ";
|
|
for (auto & i : v.attrs->lexicographicOrder(symbols)) {
|
|
str << symbols[i->name] << " = ";
|
|
printAmbiguous(*i->value, symbols, str, seen, depth - 1);
|
|
str << "; ";
|
|
}
|
|
str << "}";
|
|
}
|
|
break;
|
|
}
|
|
case nList:
|
|
if (seen && v.listSize() && !seen->insert(v.listElems()).second)
|
|
str << "«repeated»";
|
|
else {
|
|
str << "[ ";
|
|
for (auto v2 : v.listItems()) {
|
|
if (v2)
|
|
printAmbiguous(*v2, symbols, str, seen, depth - 1);
|
|
else
|
|
str << "(nullptr)";
|
|
str << " ";
|
|
}
|
|
str << "]";
|
|
}
|
|
break;
|
|
case nThunk:
|
|
if (!v.isBlackhole()) {
|
|
str << "<CODE>";
|
|
} else {
|
|
// Although we know for sure that it's going to be an infinite recursion
|
|
// when this value is accessed _in the current context_, it's likely
|
|
// that the user will misinterpret a simpler «infinite recursion» output
|
|
// as a definitive statement about the value, while in fact it may be
|
|
// a valid value after `builtins.trace` and perhaps some other steps
|
|
// have completed.
|
|
str << "«potential infinite recursion»";
|
|
}
|
|
break;
|
|
case nFunction:
|
|
if (v.isLambda()) {
|
|
str << "<LAMBDA>";
|
|
} else if (v.isPrimOp()) {
|
|
str << "<PRIMOP>";
|
|
} else if (v.isPrimOpApp()) {
|
|
str << "<PRIMOP-APP>";
|
|
}
|
|
break;
|
|
case nExternal:
|
|
str << *v.external;
|
|
break;
|
|
case nFloat:
|
|
str << v.fpoint;
|
|
break;
|
|
default:
|
|
printError("Lix evaluator internal error: printAmbiguous: invalid value type");
|
|
abort();
|
|
}
|
|
}
|
|
|
|
}
|