diff options
author | Nadrieril | 2019-04-17 01:22:28 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-17 01:22:28 +0200 |
commit | 63d3356f40ef48a7735a2151a14ad9952fc245db (patch) | |
tree | baa79551653585fa3288f810bb6c2a0b906484cd /dhall_core/src/core.rs | |
parent | 7389cbce9ab7c26ce23be24a5c3e57c9d86a716b (diff) |
Normalize union constructors
Diffstat (limited to '')
-rw-r--r-- | dhall_core/src/core.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs index 075ef81..2dfa4d8 100644 --- a/dhall_core/src/core.rs +++ b/dhall_core/src/core.rs @@ -190,6 +190,8 @@ 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` |