luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-04-04 19:00:54 +01:00
Code Issues Projects Releases Packages Wiki Activity

Merge 54da311151 into e8a7acb802

Browse source
This commit is contained in:
karl-police 2024-09-18 18:51:40 +02:00 • committed by GitHub
commit 3d02b950b4
Signed by: DevComp
GPG key ID: B5690EEEBB952194
1 changed files with 15 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
Analysis/src/ConstraintSolver.cpp
View file

@ -28,6 +28,7 @@
#include <utility> #include <utility>
LUAU_FASTFLAGVARIABLE(DebugLuauLogSolver, false); LUAU_FASTFLAGVARIABLE(DebugLuauLogSolver, false);
LUAU_FASTFLAGVARIABLE(DebugLuauLogSolverMoreDetails, false);
LUAU_FASTFLAGVARIABLE(DebugLuauLogSolverIncludeDependencies, false) LUAU_FASTFLAGVARIABLE(DebugLuauLogSolverIncludeDependencies, false)
LUAU_FASTFLAGVARIABLE(DebugLuauLogBindings, false); LUAU_FASTFLAGVARIABLE(DebugLuauLogBindings, false);
LUAU_FASTINTVARIABLE(LuauSolverRecursionLimit, 500); LUAU_FASTINTVARIABLE(LuauSolverRecursionLimit, 500);
@ -418,7 +419,7 @@ void ConstraintSolver::run()
if (limits.cancellationToken && limits.cancellationToken->requested()) if (limits.cancellationToken && limits.cancellationToken->requested())
throwUserCancelError(); throwUserCancelError();
std::string saveMe = FFlag::DebugLuauLogSolver ? toString(*c, opts) : std::string{}; std::string constraintDumpStr = FFlag::DebugLuauLogSolver ? toString(*c, opts) : std::string{};
StepSnapshot snapshot; StepSnapshot snapshot;
if (logger) if (logger)
@ -426,6 +427,18 @@ void ConstraintSolver::run()
snapshot = logger->prepareStepSnapshot(rootScope, c, force, unsolvedConstraints); snapshot = logger->prepareStepSnapshot(rootScope, c, force, unsolvedConstraints);
} }
// More Debugging Info
if (FFlag::DebugLuauLogSolver && FFlag::DebugLuauLogSolverMoreDetails)
{
printf(
"\n" "\033[0;38;2;255;255;0m\033[48;2;20;20;20m" "tryDispatch:%s" "\033[K\033[39m" "\n"
"\t%s" "\033[0m" "\n\n",
(force ? " \033[7;38;2;50;50;0m!! Forced\033[27m" : ""),
constraintDumpStr.c_str()
);
}
bool success = tryDispatch(c, force); bool success = tryDispatch(c, force);
progress |= success; progress |= success;
@ -460,7 +473,7 @@ void ConstraintSolver::run()
{ {
if (force) if (force)
printf("Force "); printf("Force ");
printf("Dispatched\n\t%s\n", saveMe.c_str()); printf("Dispatched\n\t%s\n", constraintDumpStr.c_str());
if (force) if (force)
{ {