Print out type extension members. Fixes fsprojects#413

nojaf · Jan 3, 2020 · c7997bc · c7997bc
1 parent 28bf163
commit c7997bc
Show file tree

Hide file tree

Showing 2 changed files with 31 additions and 4 deletions.
diff --git a/src/Fantomas.Tests/SignatureTests.fs b/src/Fantomas.Tests/SignatureTests.fs
@@ -456,4 +456,25 @@ module Teq =
         /// returns the type equality for the corresponding pair types.
         val pair<'fst1, 'snd1, 'fst2, 'snd2> : Teq<'fst1, 'fst2>
              -> Teq<'snd1, 'snd2> -> Teq<'fst1 * 'snd1, 'fst2 * 'snd2>
+"""
+
+[<Test>]
+let ``intrinsic type extension member signature, 413`` () =
+    formatSourceString true """namespace ExtensionParts
+
+type T =
+    new: unit -> T
+
+type T with
+    member Foo: int
+"""  config
+    |> prepend newline
+    |> should equal """
+namespace ExtensionParts
+
+type T =
+    new: unit -> T
+
+type T with
+    member Foo: int
 """
diff --git a/src/Fantomas/CodePrinter.fs b/src/Fantomas/CodePrinter.fs
@@ -367,6 +367,8 @@ and genSigModuleDecl astContext node =
     | SigOpen(s) ->
         !- (sprintf "open %s" s)
     | SigTypes(t::ts) ->
+        let tsx = ts
+
         genSigTypeDefn { astContext with IsFirstChild = true } t 
         +> colPre (rep 2 sepNln) (rep 2 sepNln) ts (genSigTypeDefn { astContext with IsFirstChild = false })
     | md ->
@@ -1716,8 +1718,12 @@ and genSigTypeDefn astContext (SigTypeDef(ats, px, ao, tds, tcs, tdr, ms, s, pre
         +> colPre sepNln sepNln ms (genMemberSig astContext)
         +> unindent 
 
-    | SigSimple TDSRNone -> 
-        typeName
+    | SigSimple TDSRNone ->
+        let genMembers =
+            match ms with
+            | [] -> sepNone
+            | _ -> !- " with" +> indent +> sepNln +> col sepNln ms (genMemberSig astContext) +> unindent
+        typeName +> genMembers
     | SigSimple(TDSRTypeAbbrev t) ->
         let genTypeAbbrev =
             let needsParenthesis =
@@ -1746,8 +1752,8 @@ and genSigTypeDefn astContext (SigTypeDef(ats, px, ao, tds, tcs, tdr, ms, s, pre
 
     | SigObjectModel(TCDelegate(FunType ts), _) ->
         typeName +> sepEq +> sepSpace -- "delegate of " +> genTypeList astContext ts
-    | SigObjectModel(_, mds) -> 
-        typeName +> sepEq +> indent +> sepNln 
+    | SigObjectModel(_, mds) ->
+        typeName +> sepEq +> indent +> sepNln
         +> col sepNln mds (genMemberSig astContext) +> unindent
 
     | SigExceptionRepr(SigExceptionDefRepr(ats, px, ao, uc)) ->