Print rigid name in debug representation

This commit is contained in:
Ayaz Hafiz 2022-11-16 17:09:31 -06:00
parent 0920fb4227
commit 716c4cb8e4
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -798,8 +798,10 @@ fn subs_fmt_content(this: &Content, subs: &Subs, f: &mut fmt::Formatter) -> fmt:
};
write!(f, "FlexAble({}, {:?})", name, subs.get_subs_slice(*symbols))
}
Content::RigidVar(name) => write!(f, "Rigid({:?})", name),
Content::RigidAbleVar(name, symbol) => write!(f, "RigidAble({:?}, {:?})", name, symbol),
Content::RigidVar(name) => write!(f, "Rigid({})", subs[*name].as_str()),
Content::RigidAbleVar(name, symbol) => {
write!(f, "RigidAble({}, {:?})", subs[*name].as_str(), symbol)
}
Content::RecursionVar {
structure,
opt_name,