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/core/expr.rs | |
parent | 0c9831e6a851e8f91bddc33e7a163f49d60aa033 (diff) |
Remove union literals from the language
Diffstat (limited to 'dhall_syntax/src/core/expr.rs')
-rw-r--r-- | dhall_syntax/src/core/expr.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dhall_syntax/src/core/expr.rs b/dhall_syntax/src/core/expr.rs index 668ab45..aab4b6a 100644 --- a/dhall_syntax/src/core/expr.rs +++ b/dhall_syntax/src/core/expr.rs @@ -202,8 +202,6 @@ pub enum ExprF<SubExpr, Embed> { RecordLit(DupTreeMap<Label, SubExpr>), /// `< k1 : t1, k2 >` UnionType(DupTreeMap<Label, Option<SubExpr>>), - /// `< k1 = t1, k2 : t2, k3 >` - UnionLit(Label, SubExpr, DupTreeMap<Label, Option<SubExpr>>), /// `merge x y : t` Merge(SubExpr, SubExpr, Option<SubExpr>), /// `e.x` |