Capture application where function expr is IndexWithoutDotExpr. Fixes #…

…2106. (#2208)

CHANGELOG.md

@@ -1,9 +1,10 @@
 # Changelog
 
-## [Unreleased]
+## [4.7.8] - 2022-04-25
 
 ### Fixed
 * Breaks float range with step-size when trailing 0 is omitted. [#2171](https://github.com/fsprojects/fantomas/issues/2171)
+* Fantomas inserts a space between array variable and indexer. [#2106](https://github.com/fsprojects/fantomas/issues/2106)
 
 ## [4.7.7] - 2022-04-20
 

src/Fantomas.Tests/IndexSyntaxTests.fs

@@ -188,3 +188,50 @@ let a = [ 1. .. 0.1 .. 2. ]
 let b = [ 1.0 .. 2. .. 10. ]
 let c = [ 1.0..2.0..10.0 ]
 """
+
+[<Test>]
+let ``indexed item invocation, 2106`` () =
+    formatSourceString
+        false
+        """
+array1[0]()
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+array1[0]()
+"""
+
+[<Test>]
+let ``nested indexed item`` () =
+    formatSourceString
+        false
+        """
+let x = array1[0][0]
+let y = callData["key"]["subKey"]
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+let x = array1[0][0]
+let y = callData["key"]["subKey"]
+"""
+
+[<Test>]
+let ``triple nested indexed item`` () =
+    formatSourceString
+        false
+        """
+let meh = myList[0][1][2]
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+let meh = myList[0][1][2]
+"""

src/Fantomas/CodePrinter.fs

@@ -2229,6 +2229,13 @@ and genExpr astContext synExpr ctx =
 
             expressionFitsOnRestOfLine short long
 
+        | NestedIndexWithoutDotExpr (identifierExpr, indexExpr, argExpr) ->
+            genExpr astContext identifierExpr
+            +> sepOpenLFixed
+            +> genExpr astContext indexExpr
+            +> sepCloseLFixed
+            +> genExpr astContext argExpr
+
         // Always spacing in multiple arguments
         | App (e, es) -> genApp astContext e es
         | TypeApp (e, lt, ts, gt) ->

src/Fantomas/SourceParser.fs

@@ -1753,7 +1753,9 @@ let rec (|UppercaseSynType|LowercaseSynType|) (synType: SynType) =
     | SynType.App (st, _, _, _, _, _, _) -> (|UppercaseSynType|LowercaseSynType|) st
     | _ -> failwithf "cannot determine if synType %A is uppercase or lowercase" synType
 
-let (|IndexWithoutDotExpr|ElmishReactWithoutChildren|ElmishReactWithChildren|NonAppExpr|) e =
+let rec (|IndexWithoutDotExpr|NestedIndexWithoutDotExpr|ElmishReactWithoutChildren|ElmishReactWithChildren|NonAppExpr|)
+    e
+    =
     match e with
     | SynExpr.App (ExprAtomicFlag.Atomic, false, identifierExpr, SynExpr.ArrayOrListComputed (false, indexExpr, _), _) ->
         IndexWithoutDotExpr(identifierExpr, indexExpr)
@@ -1763,6 +1765,8 @@ let (|IndexWithoutDotExpr|ElmishReactWithoutChildren|ElmishReactWithChildren|Non
                    (SynExpr.ArrayOrListComputed (isArray = false; expr = indexExpr) as argExpr),
                    _) when (RangeHelpers.isAdjacentTo identifierExpr.Range argExpr.Range) ->
         IndexWithoutDotExpr(identifierExpr, indexExpr)
+    | SynExpr.App (ExprAtomicFlag.NonAtomic, false, IndexWithoutDotExpr (identifier, indexExpr), argExpr, _) ->
+        NestedIndexWithoutDotExpr(identifier, indexExpr, argExpr)
     | SynExpr.App (_, false, OptVar (ident, _, _), ArrayOrList (sr, isArray, children, er, _), _) ->
         ElmishReactWithoutChildren(ident, sr, isArray, children, er)
     | SynExpr.App (_,