Preserve with get in signature files. Fixes #945 (#963)

src/Fantomas.Tests/SignatureTests.fs

@@ -598,4 +598,68 @@ namespace Blah
 module Foo =
     val inline sum: ('a -> ^value) -> 'a Foo -> ^value
         when ^value: (static member (+): ^value * ^value -> ^value) and ^value: (static member Zero: ^value)
-"""
+"""
+
+[<Test>]
+let ``preserve with get property, 945`` () =
+    formatSourceString true """
+namespace B
+type Foo =
+    | Bar of int
+    member Item : unit -> int with get
+"""  { config with SpaceBeforeColon = true }
+    |> prepend newline
+    |> should equal """
+namespace B
+
+type Foo =
+    | Bar of int
+    member Item : unit -> int with get
+"""
+
+[<Test>]
+let ``preserve with set property`` () =
+    formatSourceString true """
+namespace B
+type Foo =
+    member Item : int -> unit with set
+"""  { config with SpaceBeforeColon = true }
+    |> prepend newline
+    |> should equal """
+namespace B
+
+type Foo =
+    member Item : int -> unit with set
+"""
+
+[<Test>]
+let ``preserve with get,set`` () =
+    formatSourceString true """
+namespace B
+
+type Foo =
+    member Item : int with get,  set
+"""  { config with SpaceBeforeColon = true }
+    |> prepend newline
+    |> should equal """
+namespace B
+
+type Foo =
+    member Item : int with get, set
+"""
+
+[<Test>]
+let ``with set after constraint`` () =
+    formatSourceString true """
+namespace B
+
+type Foo =
+    member Item : 't -> unit when 't   :   comparison   with set
+"""  { config with SpaceBeforeColon = true }
+    |> prepend newline
+    |> should equal """
+namespace B
+
+type Foo =
+    member Item : 't -> unit when 't : comparison with set
+"""

src/Fantomas/CodePrinter.fs

@@ -2405,6 +2405,10 @@ and genMemberSig astContext node =
     match node with
     | MSMember(Val(ats, px, ao, s, t, vi, _, ValTyparDecls(tds, _, tcs)), mf) ->
         let (FunType namedArgs) = (t, vi)
+        let isFunctionProperty =
+            match t with
+            | TFun _ -> true
+            | _ -> false
         let sepColonX =
             match tds with
             | [] -> sepColon
@@ -2417,6 +2421,7 @@ and genMemberSig astContext node =
                                    +> sepColonX
                                    +> genTypeList astContext namedArgs
                                    +> genConstraints astContext t
+                                   -- (genPropertyKind (not isFunctionProperty) mf.MemberKind)
                                    +> unindent)
 
     | MSInterface t -> !- "interface " +> genType astContext false t