diff options
author | Nadrieril | 2019-08-07 21:05:01 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-07 21:05:01 +0200 |
commit | d248762095908246951b6aa6c211587c6e333c0e (patch) | |
tree | 688d4c1c199fd8f759d41c65e4dbc8bde9cc6614 /dhall_syntax/src/printer.rs | |
parent | 0c9831e6a851e8f91bddc33e7a163f49d60aa033 (diff) |
Remove union literals from the language
Diffstat (limited to 'dhall_syntax/src/printer.rs')
-rw-r--r-- | dhall_syntax/src/printer.rs | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/dhall_syntax/src/printer.rs b/dhall_syntax/src/printer.rs index 52d3d81..db688bd 100644 --- a/dhall_syntax/src/printer.rs +++ b/dhall_syntax/src/printer.rs @@ -85,16 +85,6 @@ impl<SE: Display + Clone, E: Display> Display for ExprF<SE, E> { } Ok(()) })?, - UnionLit(a, b, c) => { - write!(f, "< {} = {}", a, b)?; - for (k, v) in c { - write!(f, " | {}", k)?; - if let Some(v) = v { - write!(f, ": {}", v)?; - } - } - f.write_str(" >")? - } Embed(a) => a.fmt(f)?, } Ok(()) |