diff options
| author | Nadrieril | 2019-04-19 21:28:18 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-19 21:28:31 +0200 |
| commit | ab93af7bb8bbe7785d76a86af531bae9b13574c4 (patch) | |
| tree | 456aa44c34665269b6ec00a7e88edd790610c650 /dhall_core | |
| parent | 12552383aa469b587b72b82337e5e17c6174ff9c (diff) | |
A union constructor is a purely semantic value
Diffstat (limited to 'dhall_core')
| -rw-r--r-- | dhall_core/src/core.rs | 2 | ||||
| -rw-r--r-- | dhall_core/src/printer.rs | 10 | ||||
| -rw-r--r-- | dhall_core/src/visitor.rs | 3 |
3 files changed, 0 insertions, 15 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs index ab29148..9a8acc2 100644 --- a/dhall_core/src/core.rs +++ b/dhall_core/src/core.rs @@ -192,8 +192,6 @@ pub enum ExprF<SubExpr, Label, Note, Embed> { UnionType(BTreeMap<Label, Option<SubExpr>>), /// `< k1 = t1, k2 : t2, k3 >` UnionLit(Label, SubExpr, BTreeMap<Label, Option<SubExpr>>), - /// `< k1 : t1, k2 >.k1` - UnionConstructor(Label, BTreeMap<Label, Option<SubExpr>>), /// `merge x y : t` Merge(SubExpr, SubExpr, Option<SubExpr>), /// `e.x` diff --git a/dhall_core/src/printer.rs b/dhall_core/src/printer.rs index 85105d9..ea291a9 100644 --- a/dhall_core/src/printer.rs +++ b/dhall_core/src/printer.rs @@ -104,16 +104,6 @@ impl<SE: Display + Clone, N, E: Display> Display for ExprF<SE, Label, N, E> { } f.write_str(" >")? } - UnionConstructor(x, map) => { - fmt_list("< ", " | ", " >", map, f, |(k, v), f| { - write!(f, "{}", k)?; - if let Some(v) = v { - write!(f, ": {}", v)?; - } - Ok(()) - })?; - write!(f, ".{}", x)? - } Embed(a) => a.fmt(f)?, Note(_, b) => b.fmt(f)?, } diff --git a/dhall_core/src/visitor.rs b/dhall_core/src/visitor.rs index 9111414..c15aacd 100644 --- a/dhall_core/src/visitor.rs +++ b/dhall_core/src/visitor.rs @@ -163,9 +163,6 @@ where v.visit_subexpr(x)?, btoptmap(kts, v)?, ), - UnionConstructor(x, kts) => { - UnionConstructor(v.visit_label(x)?, btoptmap(kts, v)?) - } Merge(x, y, t) => Merge( v.visit_subexpr(x)?, v.visit_subexpr(y)?, |