Fix another α-normalization bug (#938)

This was caught by the following test: 372230d161/tests/alpha-normalization/success/unit/FunctionNestedBindingXXFreeA.dhall
2019-05-05 19:30:26 -07:00 · 2019-05-05 19:30:26 -07:00 · 7d56778350
commit 7d56778350
parent 2fc7f79959
1 changed files with 1 additions and 1 deletions
--- a/dhall/src/Dhall/Eval.hs
+++ b/dhall/src/Dhall/Eval.hs
@ -843,7 +843,7 @@ alphaNormalize = goEnv NEmpty where
    go !acc (NBind env x) !i
      | x == topX = if i == 0 then Var (V "_" acc) else go (acc + 1) env (i - 1)
      | otherwise = go (acc + 1) env i
-    go acc NEmpty i = Var (V topX topI)
+    go acc NEmpty i = Var (V topX i)

  goEnv :: Names -> Expr s a -> Expr s a
  goEnv !e t = let