wip

Author: DedSec256

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

@@ -2048,6 +2048,7 @@ task {
         |> typecheck
         |> shouldFail
         |> withDiagnostics [
+            // x: string
             Error 1, Line 7, Col 10, Line 7, Col 19, "This expression was expected to have type
     'int'   
 but here has type
@@ -2071,6 +2072,7 @@ task {
         |> typecheck
         |> shouldFail
         |> withDiagnostics [
+            // x: string
             Error 1, Line 7, Col 11, Line 7, Col 20, "This expression was expected to have type
     'int'   
 but here has type
@@ -2094,6 +2096,7 @@ task {
         |> typecheck
         |> shouldFail
         |> withDiagnostics [
+            // (x: string): int
             Error 1, Line 7, Col 10, Line 7, Col 26, "This expression was expected to have type
     'string'   
 but here has type
@@ -2123,10 +2126,12 @@ builder {
         |> typecheck
         |> shouldFail
         |> withDiagnostics [
+            // y: string
             Error 1, Line 13, Col 10, Line 13, Col 19, "This expression was expected to have type
 'int'   
 but here has type
-'string'    ";
+'string'    "
+            // x: int
             Warning 25, Line 12, Col 10, Line 12, Col 16, "Incomplete pattern matches on this expression."
         ]
 
@@ -2153,6 +2158,7 @@ builder {
         |> typecheck
         |> shouldFail
         |> withDiagnostics [
+            // y: string
             Error 1, Line 13, Col 11, Line 13, Col 20, "This expression was expected to have type
 'int'   
 but here has type
@@ -2182,10 +2188,12 @@ builder {
         |> typecheck
         |> shouldFail
         |> withDiagnostics [
+            // (y: int): string
             Error 1, Line 13, Col 10, Line 13, Col 26, "This expression was expected to have type
 'int'   
 but here has type
 'string'    "
+            // y: int
             Error 1, Line 13, Col 11, Line 13, Col 17, "This expression was expected to have type
 'string'    
 but here has type