Remove TagDiscriminant low-level

This commit is contained in:
Ayaz Hafiz 2022-10-05 13:00:45 -05:00
parent cb96a64259
commit 792afe5457
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
7 changed files with 5 additions and 88 deletions

View file

@ -163,11 +163,8 @@ fn expr<'a>(c: &Ctx, p: EPrec, f: &'a Arena<'a>, e: &'a Expr) -> DocBuilder<'a,
.nest(2)
)
}
RunLowLevel { op, args, .. } => {
let op = match op {
LowLevel::TagDiscriminant => "@tag_discriminant",
_ => unreachable!(),
};
RunLowLevel { args, .. } => {
let op = "LowLevel";
maybe_paren!(
Free,