Service updates

Author: edgarfgp

src/Compiler/Service/ServiceInterfaceStubGenerator.fs

@@ -904,8 +904,16 @@ module InterfaceStubGenerator =
 
                 | SynExpr.TypeApp(synExpr, _, _synTypeList, _commas, _, _, _range) -> walkExpr synExpr
 
-                | SynExpr.LetOrUse(bindings = synBindingList; body = synExpr) ->
-                    Option.orElse (List.tryPick walkBinding synBindingList) (walkExpr synExpr)
+                | SynExpr.LetOrUse(isComputed = isComputed; bindings = synBindingList; body = synExpr) ->
+                    if isComputed then
+                        [
+                            for SynBinding(expr = bindingExpr) in synBindingList do
+                                yield bindingExpr
+                            yield synExpr
+                        ]
+                        |> List.tryPick walkExpr
+                    else
+                        Option.orElse (List.tryPick walkBinding synBindingList) (walkExpr synExpr)
 
                 | SynExpr.TryWith(tryExpr = synExpr) -> walkExpr synExpr
 

src/Compiler/Service/ServiceParseTreeWalk.fs

@@ -669,17 +669,27 @@ module SyntaxTraversal =
                         ]
                         |> pick expr
 
-                | SynExpr.LetOrUse(isRecursive = isRecursive; bindings = synBindingList; body = synExpr; range = range) ->
-                    match visitor.VisitLetOrUse(path, isRecursive, traverseSynBinding path, synBindingList, range) with
-                    | None ->
+                | SynExpr.LetOrUse(
+                    isRecursive = isRecursive; isComputed = isComputed; bindings = synBindingList; body = synExpr; range = range) ->
+                    if isComputed then
                         [
-                            yield!
-                                synBindingList
-                                |> List.map (fun x -> dive x x.RangeOfBindingWithRhs (traverseSynBinding path))
+                            for SynBinding(headPat = pat; expr = bindingExpr) in synBindingList do
+                                yield dive pat pat.Range traversePat
+                                yield dive bindingExpr bindingExpr.Range traverseSynExpr
                             yield dive synExpr synExpr.Range traverseSynExpr
                         ]
                         |> pick expr
-                    | x -> x
+                    else
+                        match visitor.VisitLetOrUse(path, isRecursive, traverseSynBinding path, synBindingList, range) with
+                        | None ->
+                            [
+                                yield!
+                                    synBindingList
+                                    |> List.map (fun x -> dive x x.RangeOfBindingWithRhs (traverseSynBinding path))
+                                yield dive synExpr synExpr.Range traverseSynExpr
+                            ]
+                            |> pick expr
+                        | x -> x
 
                 | SynExpr.IfThenElse(ifExpr = synExpr; thenExpr = synExpr2; elseExpr = synExprOpt) ->
                     [

src/Compiler/Service/ServiceParsedInputOps.fs

@@ -834,9 +834,17 @@ module ParsedInput =
                 walkExprWithKind (Some EntityKind.Type) e
                 |> Option.orElseWith (fun () -> List.tryPick walkType tys)
 
-            | SynExpr.LetOrUse(bindings = bindings; body = e) ->
-                List.tryPick walkBinding bindings
-                |> Option.orElseWith (fun () -> walkExprWithKind parentKind e)
+            | SynExpr.LetOrUse(isComputed = isComputed; bindings = bindings; body = e) ->
+                if isComputed then
+                    [
+                        for SynBinding(expr = bindingExpr) in bindings do
+                            yield bindingExpr
+                        yield e
+                    ]
+                    |> List.tryPick (walkExprWithKind parentKind)
+                else
+                    List.tryPick walkBinding bindings
+                    |> Option.orElseWith (fun () -> walkExprWithKind parentKind e)
 
             | SynExpr.IfThenElse(ifExpr = e1; thenExpr = e2; elseExpr = e3) ->
                 walkExprWithKind parentKind e1
@@ -2102,9 +2110,16 @@ module ParsedInput =
                 List.iter walkType tys
                 walkExpr e
 
-            | SynExpr.LetOrUse(bindings = bindings; body = e) ->
-                List.iter walkBinding bindings
-                walkExpr e
+            | SynExpr.LetOrUse(isComputed = isComputed; bindings = bindings; body = e) ->
+                if isComputed then
+                    for SynBinding(headPat = pat; expr = bindingExpr) in bindings do
+                        walkPat pat
+                        walkExpr bindingExpr
+
+                    walkExpr e
+                else
+                    List.iter walkBinding bindings
+                    walkExpr e
 
             | SynExpr.TryWith(tryExpr = e; withCases = clauses) ->
                 List.iter walkClause clauses

src/Compiler/Service/SynExpr.fs

@@ -445,7 +445,7 @@ module SynExpr =
         let (|LetOrUse|_|) =
             dangling (function
                 | SynExpr.LetOrUse _
-                | SynExpr.LetOrUse _ as expr -> Some expr
+                | SynExpr.LetOrUse(isComputed = false) as expr -> Some expr
                 | _ -> None)
 
         /// Matches a dangling sequential expression.