Add tests for new syntax

src/Fantomas.Core.Tests/AutoPropertiesTests.fs

@@ -0,0 +1,37 @@
+module Fantomas.Core.Tests.AutoPropertiesTests
+
+open NUnit.Framework
+open FsUnit
+open Fantomas.Core.Tests.TestHelpers
+
+[<Test>]
+let ``public get, private set`` () =
+    formatSourceString
+        """
+type X() =
+    member val Y: int = 7 with public get, private set
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+
+"""
+
+[<Test>]
+let ``public get, private set in signature`` () =
+    formatSignatureString
+        """
+module A
+
+type X() =
+    member val internal Y: int = 7 with public get, private set
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+
+"""

src/Fantomas.Core.Tests/Fantomas.Core.Tests.fsproj

@@ -133,6 +133,7 @@
     <Compile Include="ConstraintIntersectionTests.fs" />
     <Compile Include="BeginEndTests.fs" />
     <Compile Include="NullnessTests.fs" />
+    <Compile Include="AutoPropertiesTests.fs" />
   </ItemGroup>
   <ItemGroup>
     <ProjectReference Include="..\Fantomas.Core\Fantomas.Core.fsproj" />

src/Fantomas.Core.Tests/NullnessTests.fs

@@ -5,12 +5,97 @@ open FsUnit
 open Fantomas.Core.Tests.TestHelpers
 
 [<Test>]
-let ``abstract property`` () =
+let ``du case of string or null`` () =
     formatSourceString
         """
-[<AbstractClass>]
-type AbstractBase() =
-    abstract Property1 : string | null with get, set
+type DU = MyCase of (string | null)
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+
+"""
+
+[<Test>]
+let ``multiple or type`` () =
+    formatSourceString
+        """
+let myFunc ("abc" | "" : string | null | "123") = 15
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+
+"""
+
+[<Test>]
+let ``null type constraint`` () =
+    formatSourceString
+        """
+let myFunc() : 'T when 'T : not struct and 'T:null = null
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+
+"""
+
+[<Test>]
+let ``not null type constraint`` () =
+    formatSourceString
+        """
+let myFunc (x: 'T when 'T: not null) = 42
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+
+"""
+
+[<Test>]
+let ``not null in type constraints`` () =
+    formatSourceString
+        """
+type C<'T when 'T: not null> = class end
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+
+"""
+
+[<Test>]
+let ``or null pattern`` () =
+    formatSourceString
+        """
+match x with
+| :? string | null -> ()
+"""
+        config
+    |> prepend newline
+    |> should
+        equal
+        """
+
+"""
+
+[<Test>]
+let ``nullness in signature file`` () =
+    formatSignatureString
+        """
+namespace Meh
+
+type DU = MyCase of (string | null)
 """
         config
     |> prepend newline