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