From 7538e29275720407ac172bb05cdbc028d95ff921 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 9 May 2019 16:32:30 +0200
Subject: Make shift fallible and improve shift ergonomics

---
 dhall/src/phase/mod.rs | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'dhall/src/phase/mod.rs')

diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs
index db0a2b9..50103a0 100644
--- a/dhall/src/phase/mod.rs
+++ b/dhall/src/phase/mod.rs
@@ -238,26 +238,26 @@ impl Normalized {
 }
 
 impl Shift for Typed {
-    fn shift(&self, delta: isize, var: &AlphaVar) -> Self {
-        match self {
+    fn shift(&self, delta: isize, var: &AlphaVar) -> Option<Self> {
+        Some(match self {
             Typed::Value(th, t) => Typed::Value(
-                th.shift(delta, var),
-                t.as_ref().map(|x| x.shift(delta, var)),
+                th.shift(delta, var)?,
+                t.as_ref().map(|x| Ok(x.shift(delta, var)?)).transpose()?,
             ),
             Typed::Const(c) => Typed::Const(*c),
-        }
+        })
     }
 }
 
 impl Shift for Type {
-    fn shift(&self, delta: isize, var: &AlphaVar) -> Self {
-        Type(Box::new(self.0.shift(delta, var)))
+    fn shift(&self, delta: isize, var: &AlphaVar) -> Option<Self> {
+        Some(Type(Box::new(self.0.shift(delta, var)?)))
     }
 }
 
 impl Shift for Normalized {
-    fn shift(&self, delta: isize, var: &AlphaVar) -> Self {
-        Normalized(self.0.shift(delta, var))
+    fn shift(&self, delta: isize, var: &AlphaVar) -> Option<Self> {
+        Some(Normalized(self.0.shift(delta, var)?))
     }
 }
 
-- 
cgit v1.2.3