summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-03-06 18:05:41 +0100
committerNadrieril2019-03-06 18:05:41 +0100
commit0184b60dc6bbe7384f5fce24da848bcd1fc65fb3 (patch)
treeeb52e930699c85551e8a8b58d83ff9bed73ac90e
parent932c4842bbc631a77fa518d3cfb55f11fea73ee7 (diff)
Remove FailedParse variant
-rw-r--r--dhall_core/src/core.rs4
1 files changed, 0 insertions, 4 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 0787862..6795c2c 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -178,8 +178,6 @@ pub enum Expr<'i, S, A> {
Note(S, Box<Expr<'i, S, A>>),
/// `Embed path ~ path`
Embed(A),
-
- FailedParse(String, Vec<Expr<'i, S, A>>),
}
/// Built-ins
@@ -795,7 +793,6 @@ pub fn shift<'i, S, T, A: Clone>(
// The Dhall compiler enforces that all embedded values are closed expressions
// and `shift` does nothing to a closed expression
Embed(ref p) => Embed(p.clone()),
- _ => panic!(),
}
}
@@ -902,7 +899,6 @@ where
Field(ref a, b) => Field(bx(subst(v, e, a)), b),
Note(_, ref b) => subst(v, e, b),
Embed(ref p) => Embed(p.clone()),
- _ => panic!(),
}
}