diff options
author | Nadrieril | 2019-03-06 18:05:41 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-06 18:05:41 +0100 |
commit | 0184b60dc6bbe7384f5fce24da848bcd1fc65fb3 (patch) | |
tree | eb52e930699c85551e8a8b58d83ff9bed73ac90e | |
parent | 932c4842bbc631a77fa518d3cfb55f11fea73ee7 (diff) |
Remove FailedParse variant
-rw-r--r-- | dhall_core/src/core.rs | 4 |
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!(), } } |