syntaxAlchemist/lib-laddertypes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

pretty: fix dict call to get_varname

Browse source
This commit is contained in:
Michael Sippel 2025-06-13 16:59:23 +02:00
parent 1e29653c61
commit 5af2b59278
Signed by: senvas
GPG key ID: F96CF119C34B64A6
1 changed files with 1 additions and 1 deletions

2
src/term/pretty.rs
View file

@ -35,7 +35,7 @@ impl TypeTerm {
format!("{}", dict.get_typename(*id).unwrap_or("??".bright_red())).blue().bold()
}
TypeTerm::Var(id) => {
format!("{}", dict.get_typename(*id).unwrap_or("??".bright_red())).bright_magenta()
format!("{}", dict.get_varname(*id).unwrap_or("??".bright_red())).bright_magenta()
},
TypeTerm::Num(n) => {