[parser] fix a bug on shadowing de Bruijn indexed variables

cannorin · Jan 28, 2019 · 227314b · 227314b
1 parent dfa0f9b
commit 227314b
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/core/parsedAst.fs b/src/core/parsedAst.fs
@@ -241,10 +241,11 @@ module ParserUtils =
               | x' -> TmDefer (TimeN 1u, NotTemporalTerm x')
           | PTmDeferInf x -> TmDefer (TimeInf, tot stack x |> NotTemporalTerm)
           | PTmLet (x, r, b) ->
-            TmLet (x, r |> tot stack, b |> tot stack)
+            TmLet (x, r |> tot stack, b |> tot (stack |> List.filter ((<>) x)))
           | PTmLetDefer (time, x, r, b) ->
             TmDefer (time,
-              TmLetRun (x, time, r |> tot stack, b |> tot stack) |> sameInfoOf ptm
+              TmLetRun (x, time, r |> tot stack, b |> tot (stack |> List.filter ((<>) x)))
+              |> sameInfoOf ptm
             )
           | PTmOp2 (l, op, r) when ctx |> Context.findConstructor [op] (Some [l; r]) |> Option.isSome ->
             TmConstruct ([op], [l; r] |> List.map (tot stack))