Type.LongIdentApp

src/Fantomas.Core.Tests/DallasTests.fs

@@ -1623,3 +1623,18 @@ and [<Sealed>] MapDebugView<'Key, 'Value when 'Key: comparison>(v: Map<'Key, 'Va
     member x.Items =
         v |> Seq.truncate 10000 |> Seq.map KeyValuePairDebugFriendly |> Seq.toArray
 """
+
+[<Test>]
+let ``long ident app type`` () =
+    formatSourceString
+        false
+        """
+let create size : ImmutableArray<'T>.Builder = ImmutableArray.CreateBuilder(size)
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+let create size : ImmutableArray<'T>.Builder = ImmutableArray.CreateBuilder(size)
+"""

src/Fantomas.Core/CodePrinter2.fs

@@ -3088,6 +3088,9 @@ let genType (t: Type) =
         +> sepSpace
         +> genType node.RightHandSide
         |> genNode node
+    | Type.LongIdentApp node ->
+        genType node.AppType +> sepDot +> genIdentListNode node.LongIdent
+        |> genNode node
 
 let genSynTupleTypeSegments (path: Choice<Type, SingleTextNode> list) =
     let genTs addNewline =

src/Fantomas.Core/Fangorn.fs

@@ -1815,6 +1815,9 @@ let mkType (creationAide: CreationAide) (t: SynType) : Type =
             typeRange
         )
         |> Type.AppPrefix
+    | SynType.LongIdentApp(t, lid, None, [], _, None, _) ->
+        TypeLongIdentAppNode(mkType creationAide t, mkSynLongIdent lid, typeRange)
+        |> Type.LongIdentApp
     | SynType.WithGlobalConstraints(SynType.Var _, [ SynTypeConstraint.WhereTyparSubtypeOfType _ as tc ], _) ->
         mkSynTypeConstraint creationAide tc |> Type.WithSubTypeConstraint
     | SynType.WithGlobalConstraints(t, tcs, _) ->

src/Fantomas.Core/SyntaxOak.fs

@@ -321,6 +321,12 @@ type TypeOrNode(lhs: Type, orNode: SingleTextNode, rhs: Type, range) =
     member x.Or = orNode
     member x.RightHandSide = rhs
 
+type TypeLongIdentAppNode(appType: Type, longIdent: IdentListNode, range) =
+    inherit NodeBase(range)
+    override this.Children = [| yield Type.Node appType; yield longIdent |]
+    member x.AppType = appType
+    member x.LongIdent = longIdent
+
 [<RequireQualifiedAccess; NoEquality; NoComparison>]
 type Type =
     | Funs of TypeFunsNode
@@ -343,6 +349,7 @@ type Type =
     | Paren of TypeParenNode
     | SignatureParameter of TypeSignatureParameterNode
     | Or of TypeOrNode
+    | LongIdentApp of TypeLongIdentAppNode
 
     static member Node(x: Type) : Node =
         match x with
@@ -366,6 +373,7 @@ type Type =
         | Paren n -> n
         | SignatureParameter n -> n
         | Or n -> n
+        | LongIdentApp n -> n
 
 type PatAttribNode(attrs: MultipleAttributeListNode option, pat: Pattern, range) =
     inherit NodeBase(range)