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/visitor.rs | |
| parent | 0c9831e6a851e8f91bddc33e7a163f49d60aa033 (diff) | |
Remove union literals from the language
Diffstat (limited to '')
| -rw-r--r-- | dhall_syntax/src/core/visitor.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dhall_syntax/src/core/visitor.rs b/dhall_syntax/src/core/visitor.rs index b02544f..68ad956 100644 --- a/dhall_syntax/src/core/visitor.rs +++ b/dhall_syntax/src/core/visitor.rs @@ -141,9 +141,6 @@ where RecordType(kts) => RecordType(dupmap(kts, v)?), RecordLit(kvs) => RecordLit(dupmap(kvs, v)?), UnionType(kts) => UnionType(optdupmap(kts, v)?), - UnionLit(k, x, kts) => { - UnionLit(k.clone(), v.visit_subexpr(x)?, optdupmap(kts, v)?) - } Merge(x, y, t) => Merge( v.visit_subexpr(x)?, v.visit_subexpr(y)?, |