add sugared terms & pretty printing

This commit is contained in:
Michael Sippel 2024-10-02 22:37:06 +02:00
parent c03db48fd2
commit c6bad6046a
Signed by: senvas
GPG key ID: F96CF119C34B64A6
6 changed files with 259 additions and 3 deletions

View file

@ -57,7 +57,7 @@ impl TypeTerm {
pub fn repr_as(&mut self, t: impl Into<TypeTerm>) -> &mut Self {
match self {
TypeTerm::Ladder(rungs) => {
rungs.push(t.into());
rungs.push(t.into());
}
_ => {