Fix #1368 (partially)

fable-compiler · Oct 30, 2018 · a271ca6 · a271ca6
1 parent 37cc910
commit a271ca6
Show file tree

Hide file tree

Showing 2 changed files with 31 additions and 12 deletions.
diff --git a/src/dotnet/Fable.Compiler/Transforms/Fable2Babel.fs b/src/dotnet/Fable.Compiler/Transforms/Fable2Babel.fs
@@ -326,27 +326,31 @@ module Util =
         upcast FunctionExpression(args, body, ?id=id)
 
     let optimizeTailCall (com: IBabelCompiler) (ctx: Context) (tc: ITailCallOpportunity) args =
+        let rec checkCrossRefs tempVars allArgs = function
+            | [] -> tempVars
+            | (argId, _arg)::rest ->
+                let found = allArgs |> List.exists (FableTransforms.deepExists (function
+                    | Fable.IdentExpr i -> argId = i.Name
+                    | _ -> false))
+                let tempVars =
+                    if found
+                    then Map.add argId (com.GetUniqueVar(argId)) tempVars
+                    else tempVars
+                checkCrossRefs tempVars allArgs rest
         ctx.OptimizeTailCall()
         let zippedArgs = List.zip tc.Args args
-        let tempVars =
-            let rec checkCrossRefs acc = function
-                | [] | [_] -> acc
-                | (argId, _arg)::rest ->
-                    rest |> List.exists (snd >> FableTransforms.deepExists
-                        (function Fable.IdentExpr i -> argId = i.Name | _ -> false))
-                    |> function true -> Map.add argId (com.GetUniqueVar()) acc | false -> acc
-                    |> checkCrossRefs <| rest
-            checkCrossRefs Map.empty zippedArgs
+        let tempVars = checkCrossRefs Map.empty args zippedArgs
+        let tempVarReplacements = tempVars |> Map.map (fun _ v -> makeIdentExprNonMangled v)
         [|
             for (argId, arg) in zippedArgs do
+                let arg = FableTransforms.replaceValues tempVarReplacements arg
                 let arg = com.TransformAsExpr(ctx, arg)
                 match Map.tryFind argId tempVars with
                 | Some tempVar ->
-                    yield varDeclaration (Identifier tempVar) false arg :> Statement
+                    yield varDeclaration (Identifier tempVar) false (Identifier argId) :> Statement
+                    yield assign None (Identifier argId) arg |> ExpressionStatement :> Statement
                 | None ->
                     yield assign None (Identifier argId) arg |> ExpressionStatement :> Statement
-            for KeyValue(argId,tempVar) in tempVars do
-                yield assign None (Identifier argId) (Identifier tempVar) |> ExpressionStatement :> Statement
             yield upcast ContinueStatement(Identifier tc.Label)
         |]
 

diff --git a/tests/Main/TailCallTests.fs b/tests/Main/TailCallTests.fs
@@ -147,4 +147,19 @@ let tests =
 
     testCase "Function arguments can be optimized II" <| fun () -> // See #681
         iterate ((*) 2) 5 10 |> equal 320
+
+    // See https://github.com/fable-compiler/Fable/issues/1368#issuecomment-434142713
+    testCase "State of internally mutated tail called function parameters is preserved properly" <| fun () ->
+        let rec loop i lst =
+            if i <= 0
+            then lst
+            else loop (i - 1) ((fun () -> i) :: lst)
+        loop 3 [] |> List.map (fun f -> f()) |> equal [1;2;3]
+
+    testCase "State of internally mutated tail called function parameters is preserved properly II" <| fun () ->
+        let rec loop lst i =
+            if i <= 0
+            then lst
+            else loop ((fun () -> i) :: lst) (i - 1)
+        loop [] 3 |> List.map (fun f -> f()) |> equal [1;2;3]
   ]