mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-10-26 08:09:22 +03:00
Fix ctr stringifier
This commit is contained in:
parent
792108dd33
commit
a1961a6548
@ -403,7 +403,7 @@ pub fn show_term(term: &Term) -> String {
|
|||||||
format!("({}: {}) {}", name, show_term(tipo), body)
|
format!("({}: {}) {}", name, show_term(tipo), body)
|
||||||
}
|
}
|
||||||
Term::Ctr { name, args } => {
|
Term::Ctr { name, args } => {
|
||||||
format!("{{{}{}}}", name, args.iter().map(|x| format!(" {}",show_term(x))).collect::<String>())
|
format!("({}{})", name, args.iter().map(|x| format!(" {}",show_term(x))).collect::<String>())
|
||||||
}
|
}
|
||||||
Term::Fun { name, args } => {
|
Term::Fun { name, args } => {
|
||||||
format!("({}{})", name, args.iter().map(|x| format!(" {}",show_term(x))).collect::<String>())
|
format!("({}{})", name, args.iter().map(|x| format!(" {}",show_term(x))).collect::<String>())
|
||||||
|
@ -17,6 +17,7 @@ fn main() {
|
|||||||
eprintln!("{}", err);
|
eprintln!("{}", err);
|
||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
}
|
||||||
|
|
||||||
// ------------------------------------------------------------
|
// ------------------------------------------------------------
|
||||||
// ------------------------------------------------------------
|
// ------------------------------------------------------------
|
||||||
|
Loading…
Reference in New Issue
Block a user