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/src/core.rs | |
parent | 12552383aa469b587b72b82337e5e17c6174ff9c (diff) |
A union constructor is a purely semantic value
Diffstat (limited to 'dhall_core/src/core.rs')
-rw-r--r-- | dhall_core/src/core.rs | 2 |
1 files changed, 0 insertions, 2 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` |