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

Fix spacing in InstanceNotFoundDiagnostic

Browse source
This commit is contained in:
Sam Vervaeck 2023-05-24 19:00:02 +02:00
parent 59b553410b
commit 31d813e94b
Signed by: samvv
SSH key fingerprint: SHA256:dIg0ywU1OP+ZYifrYxy8c5esO72cIKB+4/9wkZj1VaY
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/Diagnostics.cc
View file

@ -556,6 +556,7 @@ namespace bolt {
writePrefix(E); writePrefix(E);
write("a type class instance "); write("a type class instance ");
writeTypeclassName(E.TypeclassName); writeTypeclassName(E.TypeclassName);
write(" ");
writeType(E.Ty); writeType(E.Ty);
write(" was not found.\n\n"); write(" was not found.\n\n");
writeNode(E.Source); writeNode(E.Source);