summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall_core/src/core.rs42
1 files changed, 0 insertions, 42 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 2c23ed1..f836294 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -402,48 +402,6 @@ impl<SE, L, N, E> ExprF<SE, L, N, E> {
{
trivial_result(self.traverse_ref_simple(|x| Ok(map_subexpr(x))))
}
-
- // pub fn zip<SE2, L2, N2, E2>(
- // self,
- // other: ExprF<SE2, L2, N2, E2>
- // ) -> Option<ExprF<(SE, SE2), (L, L2), (N, N2), (E, E2)>>
- // where
- // L: Ord,
- // L2: Ord,
- // {
- // // What to do with Var ?
- // use crate::ExprF::*;
- // match (self, other) {
- // // Var(V(l, n)) => Var(V(map_label(l), n)),
- // // Lam(l, t, b) => {
- // // Pi(l, t, b) => {
- // // Let(l, t, a, b) => {
- // // App(f, args) => App(map(f), vec(args, map)),
- // // Annot(x, t) => Annot(map(x), map(t)),
- // (Const(x), Const(y)) if x == y => Some(Const(x)),
- // (Builtin(x), Builtin(y)) if x == y => Some(Builtin(x)),
- // (BoolLit(x), BoolLit(y)) if x == y => Some(BoolLit(x)),
- // (NaturalLit(x), NaturalLit(y)) if x == y => Some(NaturalLit(x)),
- // (IntegerLit(x), IntegerLit(y)) if x == y => Some(IntegerLit(x)),
- // (DoubleLit(x), DoubleLit(y)) if x == y => Some(DoubleLit(x)),
- // // TextLit(t) => TextLit(t.map(map)),
- // // BinOp(o, x, y) => BinOp(o, map(x), map(y)),
- // // BoolIf(b, t, f) => BoolIf(map(b), map(t), map(f)),
- // // EmptyListLit(t) => EmptyListLit(map(t)),
- // // NEListLit(es) => NEListLit(vec(es, map)),
- // // EmptyOptionalLit(t) => EmptyOptionalLit(map(t)),
- // // NEOptionalLit(e) => NEOptionalLit(map(e)),
- // // RecordType(kts) => RecordType(btmap(kts, map_label, map)),
- // // RecordLit(kvs) => RecordLit(btmap(kvs, map_label, map)),
- // // UnionType(kts) => UnionType(btmap(kts, map_label, map)),
- // // UnionLit(k, v, kvs) => {
- // // Merge(x, y, t) => Merge(map(x), map(y), t.map(map)),
- // // Field(e, l) => Field(map(e), map_label(l)),
- // // Projection(e, ls) => Projection(map(e), vec(ls, map_label)),
- // // Note(n, e) => Note(map_note(n), map(e)),
- // // Embed(a) => Embed(map_embed(a)),
- // }
- // }
}
impl<N, E> SubExpr<N, E> {