Write out generic type constraint in type definition. Fixes fsproject…

…s#887.
nojaf · Jun 12, 2020 · d9b3131 · d9b3131
1 parent 11370c3
commit d9b3131
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/src/Fantomas.Tests/TypeDeclarationTests.fs b/src/Fantomas.Tests/TypeDeclarationTests.fs
@@ -1345,3 +1345,18 @@ type Message =
     { [<JsonProperty("body")>]
       Body: string }
 """
+
+[<Test>]
+let ``type constraint on type definition, 887`` () =
+    formatSourceString false """
+type OuterType =
+    abstract Apply<'r>
+        : InnerType<'r>
+        -> 'r when 'r : comparison
+"""  { config with SpaceBeforeColon = true }
+    |> prepend newline
+    |> should equal """
+type OuterType =
+    abstract Apply<'r> : InnerType<'r>
+        -> 'r when 'r : comparison
+"""
diff --git a/src/Fantomas/CodePrinter.fs b/src/Fantomas/CodePrinter.fs
@@ -2605,6 +2605,7 @@ and genMemberDefn astContext node =
         +> opt sepSpace ao genAccess -- sprintf "abstract %s" s
         +> genTypeParamPostfix astContext tds tcs
         +> sepColonX +> genTypeList astContext namedArgs -- genPropertyKind (not isFunctionProperty) mk
+        +> genConstraints astContext t
 
     | md -> failwithf "Unexpected member definition: %O" md
     |> genTrivia node.Range