Fix shift error for if statements

2016-10-14 20:06:50 -07:00 · 2016-10-14 20:06:50 -07:00 · 4187b92a7b
commit 4187b92a7b
parent 7b2a418269
1 changed files with 5 additions and 0 deletions
--- a/src/Dhall/Core.hs
+++ b/src/Dhall/Core.hs
@ -1400,6 +1400,11 @@ shift d v (BoolNE a b) = BoolNE a' b'
  where
    a' = shift d v a
    b' = shift d v b
+shift d v (BoolIf a b c) = BoolIf a' b' c'
+  where
+    a' = shift d v a
+    b' = shift d v b
+    c' = shift d v c
 shift d v (NaturalPlus a b) = NaturalPlus a' b'
  where
    a' = shift d v a