Add support for intersectionConstraints in SynTyparDecl. (fsprojects#…

…2986)

CHANGELOG.md

@@ -1,5 +1,10 @@
 # Changelog
 
+## 6.3.0-alpha-003 - 2023-11-15
+
+### Fixed
+* Reformatting code with flexible type syntax remove hash symbol. [#2984](https://github.com/fsprojects/fantomas/issues/2984)
+
 ## 6.3.0-alpha-002 - 2023-11-07
 
 ### Changed

src/Fantomas.Core.Tests/TypeDeclarationTests.fs

@@ -3701,3 +3701,33 @@ type MyArray3() =
         with get (x: int, y: int, z: int) = ()
         and set (x: int, y: int, z: int) v = ()
 """
+
+[<Test>]
+let ``intersection constraint, 2984`` () =
+    formatSourceString
+        false
+        """
+let typographyLabel<'msg, 'marker & #IFabLabel>() = ()
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+let typographyLabel<'msg, 'marker & #IFabLabel> () = ()
+"""
+
+[<Test>]
+let ``multiple intersection constraint, 2984`` () =
+    formatSourceString
+        false
+        """
+let typographyLabel<'msg, 'marker & #IFabLabel & #IFoo & #Bar>() = ()
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+let typographyLabel<'msg, 'marker & #IFabLabel & #IFoo & #Bar> () = ()
+"""

src/Fantomas.Core/ASTTransformer.fs

@@ -1997,13 +1997,24 @@ let mkModuleDecl (creationAide: CreationAide) (decl: SynModuleDecl) =
         |> ModuleDecl.NestedModule
     | decl -> failwithf $"Failed to create ModuleDecl for %A{decl}"
 
-let mkSynTyparDecl (creationAide: CreationAide) (SynTyparDecl(attributes = attrs; typar = typar)) =
+let mkSynTyparDecl
+    (creationAide: CreationAide)
+    (SynTyparDecl(attributes = attrs; typar = typar; intersectionConstraints = intersectionConstraints; trivia = trivia))
+    =
     let m =
         match List.tryHead attrs with
         | None -> typar.Range
         | Some a -> unionRanges a.Range typar.Range
 
-    TyparDeclNode(mkAttributes creationAide attrs, mkSynTypar typar, m)
+    let intersectionConstraintNodes =
+        if intersectionConstraints.Length <> trivia.AmpersandRanges.Length then
+            failwith "Unexpected mismatch in SynTyparDecl between intersectionConstraints and AmpersandRanges"
+        else
+            (trivia.AmpersandRanges, intersectionConstraints)
+            ||> List.zip
+            |> List.collect (fun (amp, t) -> [ Choice2Of2(stn "&" amp); Choice1Of2(mkType creationAide t) ])
+
+    TyparDeclNode(mkAttributes creationAide attrs, mkSynTypar typar, intersectionConstraintNodes, m)
 
 let mkSynTyparDecls (creationAide: CreationAide) (tds: SynTyparDecls) : TyparDecls =
     match tds with

src/Fantomas.Core/CodePrinter.fs

@@ -2555,6 +2555,9 @@ let genTyparDecl (isFirstTypeParam: bool) (td: TyparDeclNode) =
     genOnelinerAttributes td.Attributes
     +> onlyIf (isFirstTypeParam && String.startsWithOrdinal "^" td.TypeParameter.Text) sepSpace
     +> genSingleTextNode td.TypeParameter
+    +> colPre sepSpace sepSpace td.IntersectionConstraints (function
+        | Choice1Of2 t -> genType t
+        | Choice2Of2 amp -> genSingleTextNode amp)
     |> genNode td
 
 let genTyparDecls (td: TyparDecls) =

src/Fantomas.Core/SyntaxOak.fs

@@ -2680,11 +2680,28 @@ type Constant =
         | Unit n -> n
         | Measure n -> n
 
-type TyparDeclNode(attributes: MultipleAttributeListNode option, typar: SingleTextNode, range) =
+type TyparDeclNode
+    (
+        attributes: MultipleAttributeListNode option,
+        typar: SingleTextNode,
+        intersectionConstraints: Choice<Type, SingleTextNode> list,
+        range
+    ) =
     inherit NodeBase(range)
-    override val Children: Node array = [| yield! noa attributes; yield typar |]
+
+    override val Children: Node array =
+        [| yield! noa attributes
+           yield typar
+           yield!
+               List.map
+                   (function
+                   | Choice1Of2 t -> Type.Node t
+                   | Choice2Of2 amp -> amp :> Node)
+                   intersectionConstraints |]
+
     member val Attributes = attributes
     member val TypeParameter = typar
+    member val IntersectionConstraints = intersectionConstraints
 
 type TyparDeclsPostfixListNode
     (