From 0184b60dc6bbe7384f5fce24da848bcd1fc65fb3 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 6 Mar 2019 18:05:41 +0100 Subject: Remove FailedParse variant --- dhall_core/src/core.rs | 4 ---- 1 file changed, 4 deletions(-) (limited to 'dhall_core') 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>), /// `Embed path ~ path` Embed(A), - - FailedParse(String, Vec>), } /// 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!(), } } -- cgit v1.2.3