Update baselines

Author: auduchinok

tests/FSharp.Compiler.ComponentTests/Language/FixedBindings/FixedBindings.fs

@@ -43,9 +43,9 @@ module Legacy =
         |> withDiagnostics [
             (Warning 9, Line 5, Col 9, Line 5, Col 31, """Uses of this construct may result in the generation of unverifiable .NET IL code. This warning can be disabled using '--nowarn:9' or '#nowarn "9"'.""")
             (Error 1, Line 5, Col 9, Line 5, Col 31, """Type mismatch. Expecting a
-'nativeptr<int>' 
+    'nativeptr<int>'    
 but given a
-'nativeptr<byte>' 
+    'nativeptr<byte>'    
 The type 'int' does not match the type 'byte'""")
             (Warning 9, Line 6, Col 5, Line 6, Col 18, """Uses of this construct may result in the generation of unverifiable .NET IL code. This warning can be disabled using '--nowarn:9' or '#nowarn "9"'.""")
         ]

tests/FSharp.Compiler.Service.Tests/PatternMatchCompilationTests.fs

@@ -28,7 +28,7 @@ let ("": unit), (x: int) = let y = () in ()
     dumpDiagnostics checkResults |> shouldEqual [
         "(2,5--2,7): This expression was expected to have type 'unit' but here has type 'string'";
         "(2,41--2,43): This expression was expected to have type 'unit * int' but here has type 'unit'";
-        "(2,4--2,24): Incomplete pattern matches on this expression."
+        """(2,4--2,24): Incomplete pattern matches on this expression. For example, the value '("a",_)' may indicate a case not covered by the pattern(s)."""
     ]
 
 [<FactForNETCOREAPP>]
@@ -83,7 +83,7 @@ match A with
     assertHasSymbolUsages ["x"; "y"] checkResults
     dumpDiagnostics checkResults |> shouldEqual [
         "(7,5--7,12): This expression was expected to have type 'int' but here has type ''a * 'b * 'c'";
-        "(6,6--6,7): Incomplete pattern matches on this expression."
+        "(6,6--6,7): Incomplete pattern matches on this expression. For example, the value 'A' may indicate a case not covered by the pattern(s)."
     ]
 
 
@@ -171,7 +171,7 @@ match Some 1 with
     assertHasSymbolUsages ["a"] checkResults
     dumpDiagnostics checkResults |> shouldEqual [
         "(3,7--3,14): This expression was expected to have type 'int' but here has type ''a option'"
-        "(2,6--2,12): Incomplete pattern matches on this expression."
+        """(2,6--2,12): Incomplete pattern matches on this expression. For example, the value 'Some (Some ("a"))' may indicate a case not covered by the pattern(s)."""
     ]
 
 [<FactForNETCOREAPP>]
@@ -183,7 +183,7 @@ match Some 1 with
     assertHasSymbolUsages ["a"; "i"] checkResults
     dumpDiagnostics checkResults |> shouldEqual [
         "(3,7--3,18): This expression was expected to have type 'int' but here has type ''a option'";
-        "(2,6--2,12): Incomplete pattern matches on this expression."
+        """(2,6--2,12): Incomplete pattern matches on this expression. For example, the value 'Some (Some (("a",_)))' may indicate a case not covered by the pattern(s)."""
     ]
 
 [<FactForNETCOREAPP>]
@@ -337,6 +337,8 @@ match Unchecked.defaultof<System.ValueType> with
     assertHasSymbolUsages ["a"; "b"; "c"; "d"] checkResults
     dumpDiagnostics checkResults |> shouldEqual [
         "(5,21--5,27): Type constraint mismatch. The type 'int' is not compatible with type 'System.Enum'"
+        "(6,2--6,11): Type constraint mismatch. The type 'string' is not compatible with type 'System.ValueType'"
+        "(4,2--4,46): This rule will never be matched"
     ]
 
 [<FactForNETCOREAPP>]
@@ -958,6 +960,8 @@ Some "" |> eq<int> // No more type checks after the above line?
     dumpDiagnostics checkResults |> shouldEqual [
         "(27,2--27,14): This expression was expected to have type 'objnull' but here has type 'struct ('a * 'b)'";
         "(52,2--52,13): This expression was expected to have type 'objnull' but here has type 'AAA'";
+        "(53,11--53,18): Type mismatch. Expecting a 'string option -> 'a' but given a 'int option -> unit' The type 'int' does not match the type 'string'"
+        "(51,6--51,21): Incomplete pattern matches on this expression. For example, the value '``some-other-subtype``' may indicate a case not covered by the pattern(s).";
         "(26,6--26,24): Incomplete pattern matches on this expression. For example, the value '``some-other-subtype``' may indicate a case not covered by the pattern(s).";
         "(24,6--24,12): Incomplete pattern matches on this expression. For example, the value '``some-other-subtype``' may indicate a case not covered by the pattern(s).";
         "(22,6--22,12): Incomplete pattern matches on this expression. For example, the value '``some-other-subtype``' may indicate a case not covered by the pattern(s).";

tests/FSharp.Compiler.Service.Tests/ProjectAnalysisTests.fs

@@ -3060,7 +3060,7 @@ let ``Test Project21 whole project errors`` () =
     let wholeProjectResults = checker.ParseAndCheckProject(Project21.options) |> Async.RunImmediate
     for e in wholeProjectResults.Diagnostics do
         printfn "Project21 error: <<<%s>>>" e.Message
-    wholeProjectResults.Diagnostics.Length |> shouldEqual 2
+    wholeProjectResults.Diagnostics.Length |> shouldEqual 1
 
 
 [<Fact>]
@@ -3090,13 +3090,20 @@ let ``Test Project21 all symbols`` () =
             ("int", "int", "file1", ((8, 27), (8, 30)), ["type"], ["abbrev"]);
             ("val x", "x", "file1", ((9, 21), (9, 22)), ["defn"], []);
             ("string", "string", "file1", ((9, 37), (9, 43)), ["type"], ["abbrev"]);
+            ("val arg1", "arg1", "file1", ((9, 31), (9, 35)), ["defn"], []);
+            ("unit", "unit", "file1", ((9, 46), (9, 50)), ["type"], ["abbrev"]);
+            ("val raise", "raise", "file1", ((10, 18), (10, 23)), [], ["val"]);
+            ("System", "System", "file1", ((10, 25), (10, 31)), [], ["namespace"]);
+            ("member .ctor", "NotImplementedException", "file1", ((10, 25), (10, 55)), [], ["member"]);
             ("val x", "x", "file1", ((12, 21), (12, 22)), ["defn"], []);
             ("int", "int", "file1", ((12, 37), (12, 40)), ["type"], ["abbrev"]);
             ("val arg1", "arg1", "file1", ((12, 31), (12, 35)), ["defn"], []);
             ("unit", "unit", "file1", ((12, 43), (12, 47)), ["type"], ["abbrev"]);
             ("val raise", "raise", "file1", ((13, 18), (13, 23)), [], ["val"]);
             ("System", "System", "file1", ((13, 25), (13, 31)), [], ["namespace"]);
             ("member .ctor", "NotImplementedException", "file1", ((13, 25), (13, 55)), [], ["member"]);
+            ("member Method1", "Method1", "file1", ((9, 23), (9, 30)), ["override"], ["slot"; "member"]);
+            ("member Method2", "Method2", "file1", ((12, 23), (12, 30)), ["override"], ["slot"; "member"])
             ("Impl", "Impl", "file1", ((2, 7), (2, 11)), ["defn"], ["module"])|]
 
 //-----------------------------------------------------------------------------------------

tests/fsharp/Compiler/Language/AnonRecordTests.fs

@@ -27,24 +27,18 @@ let sAnon = StructClass<struct {| S: int |}>()
 
     [<Fact>]
     let NotStructConstraintFail() =
-        CompilerAssert.TypeCheckSingleError
-            """
+        CompilerAssert.TypeCheckWithErrors """
 type RefClass<'a when 'a : not struct>() = class end
 let rAnon = RefClass<struct {| R: int |}>()
-            """ 
-            FSharpDiagnosticSeverity.Error
-            1
-            (3, 13, 3, 42)
-            "A generic construct requires that the type 'struct {| R: int |}' have reference semantics, but it does not, i.e. it is a struct"
+"""
+            [| FSharpDiagnosticSeverity.Error, 1, (3, 13, 3, 42), "A generic construct requires that the type 'struct {| R: int |}' have reference semantics, but it does not, i.e. it is a struct"
+               FSharpDiagnosticSeverity.Error, 1, (3, 13, 3, 44), "A generic construct requires that the type 'struct {| R: int |}' have reference semantics, but it does not, i.e. it is a struct" |]
 
     [<Fact>]
     let StructConstraintFail() =
-        CompilerAssert.TypeCheckSingleError
-            """
+        CompilerAssert.TypeCheckWithErrors """
 type StructClass<'a when 'a : struct>() = class end
 let sAnon = StructClass<{| S: int |}>()
-            """
-            FSharpDiagnosticSeverity.Error
-            1
-            (3, 13, 3, 38)
-            "A generic construct requires that the type '{| S: int |}' is a CLI or F# struct type"
+"""
+            [| FSharpDiagnosticSeverity.Error, 1, (3, 13, 3, 38), "A generic construct requires that the type '{| S: int |}' is a CLI or F# struct type"
+               FSharpDiagnosticSeverity.Error, 1, (3, 13, 3, 40), "A generic construct requires that the type '{| S: int |}' is a CLI or F# struct type" |]