samvv/bolt
1
0
Fork 0
Code Issues 24 Pull requests Projects Releases Packages Wiki Activity Actions

Disable printing the full type(s) on error for now

Browse source
This commit is contained in:
Sam Vervaeck 2023-05-30 21:36:46 +02:00
parent 87af4686b7
commit 75e0ebc14b
Signed by: samvv
SSH key fingerprint: SHA256:dIg0ywU1OP+ZYifrYxy8c5esO72cIKB+4/9wkZj1VaY
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/Diagnostics.cc
View file

@ -797,12 +797,12 @@ namespace bolt {
write("due to an equality constraint on "); write("due to an equality constraint on ");
write(describe(E.Source->getKind())); write(describe(E.Source->getKind()));
write(":\n\n"); write(":\n\n");
write(" - left type "); // write(" - left type ");
writeType(E.OrigLeft, E.LeftPath); // writeType(E.OrigLeft, E.LeftPath);
write("\n"); // write("\n");
write(" - right type "); // write(" - right type ");
writeType(E.OrigRight, E.RightPath); // writeType(E.OrigRight, E.RightPath);
write("\n\n"); // write("\n\n");
writeNode(E.Source); writeNode(E.Source);
write("\n"); write("\n");
// if (E.Left != E.OrigLeft) { // if (E.Left != E.OrigLeft) {