You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: tests/FSharp.Compiler.Service.Tests/PatternMatchCompilationTests.fs
+22-26Lines changed: 22 additions & 26 deletions
Original file line number
Diff line number
Diff line change
@@ -684,27 +684,26 @@ let z as =
684
684
"(11,10--11,12): Unexpected keyword 'as' in binding. Expected '=' or other token.";
685
685
"(12,6--12,8): Expecting pattern";
686
686
"(13,8--13,10): Unexpected keyword 'as' in binding";
687
-
"(14,6--14,7): Expecting pattern";
687
+
"(14,8--14,10): Unexpected keyword 'as' in binding";
688
688
"(15,8--15,10): Unexpected keyword 'as' in pattern. Expected ')' or other token.";
689
689
"(15,6--15,7): Unmatched '('";
690
-
"(16,0--16,3): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (15:1). Try indenting this further.\u001dTo continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
690
+
"(16,0--16,3): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (15:1). Try indenting this further.To continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
691
691
"(16,0--16,3): Unexpected keyword 'let' or 'use' in binding. Expected incomplete structured construct at or before this point or other token.";
692
692
"(15,0--15,3): Incomplete value or function definition. If this is in an expression, the body of the expression must be indented to the same column as the 'let' keyword.";
693
693
"(17,0--17,3): Incomplete structured construct at or before this point in implementation file";
694
-
"(20,0--20,0): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (19:1). Try indenting this further.\u001dTo continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
695
-
"(20,0--20,0): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (19:1). Try indenting this further.\u001dTo continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
696
-
"(3,13--3,17): This expression was expected to have type\u001d 'int' \u001dbut here has type\u001d 'bool'";
694
+
"(20,0--20,0): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (19:1). Try indenting this further.To continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
695
+
"(20,0--20,0): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (19:1). Try indenting this further.To continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
696
+
"(3,13--3,17): This expression was expected to have type 'int' but here has type 'bool'";
697
697
"(3,4--3,10): Incomplete pattern matches on this expression. For example, the value '0' may indicate a case not covered by the pattern(s).";
698
-
"(4,16--4,17): This expression was expected to have type\u001d 'bool' \u001dbut here has type\u001d 'int'";
698
+
"(4,16--4,17): This expression was expected to have type 'bool' but here has type 'int'";
699
699
"(4,4--4,13): Incomplete pattern matches on this expression. For example, the value 'false' may indicate a case not covered by the pattern(s).";
700
-
"(5,4--5,10): This runtime coercion or type test from type\u001d 'a \u001d to \u001d int \u001dinvolves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.";
701
-
"(6,4--6,10): This runtime coercion or type test from type\u001d 'a \u001d to \u001d int \u001dinvolves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.";
702
-
"(8,29--8,30): This expression was expected to have type\u001d 'unit' \u001dbut here has type\u001d 'int'";
703
-
"(9,26--9,27): This expression was expected to have type\u001d 'unit' \u001dbut here has type\u001d 'int'";
704
-
"(10,14--10,15): This expression was expected to have type\u001d ''a * 'b' \u001dbut here has type\u001d 'int'";
705
-
"(12,16--12,18): This expression was expected to have type\u001d ''a list' \u001dbut here has type\u001d 'int'";
700
+
"(5,4--5,10): This runtime coercion or type test from type 'a to int involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.";
701
+
"(6,4--6,10): This runtime coercion or type test from type 'a to int involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.";
702
+
"(8,29--8,30): This expression was expected to have type 'unit' but here has type 'int'";
703
+
"(9,26--9,27): This expression was expected to have type 'unit' but here has type 'int'";
704
+
"(10,14--10,15): This expression was expected to have type ''a * 'b' but here has type 'int'";
705
+
"(12,16--12,18): This expression was expected to have type ''a list' but here has type 'int'";
706
706
"(12,4--12,13): Incomplete pattern matches on this expression. For example, the value '[]' may indicate a case not covered by the pattern(s).";
707
-
"(14,4--14,7): The two sides of this 'or' pattern bind different sets of variables";
708
707
"(15,4--15,5): The pattern discriminator 'r' is not defined.";
709
708
"(15,4--15,12): Incomplete pattern matches on this expression."
710
709
]
@@ -1089,26 +1088,26 @@ let as :? z =
1089
1088
"(11,10--11,12): Unexpected keyword 'as' in binding. Expected '=' or other token.";
1090
1089
"(12,6--12,8): Expecting pattern";
1091
1090
"(13,8--13,10): Unexpected keyword 'as' in binding";
1092
-
"(14,6--14,7): Expecting pattern";
1091
+
"(14,8--14,10): Unexpected keyword 'as' in binding";
1093
1092
"(15,13--15,15): Unexpected keyword 'as' in pattern. Expected '(' or other token.";
1094
1093
"(16,8--16,10): Unexpected keyword 'as' in pattern. Expected ')' or other token.";
1095
1094
"(16,6--16,7): Unmatched '('";
1096
-
"(17,0--17,3): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (16:1). Try indenting this further.\u001dTo continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
1095
+
"(17,0--17,3): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (16:1). Try indenting this further.To continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
1097
1096
"(17,0--17,3): Unexpected keyword 'let' or 'use' in binding. Expected incomplete structured construct at or before this point or other token.";
1098
1097
"(16,0--16,3): Incomplete value or function definition. If this is in an expression, the body of the expression must be indented to the same column as the 'let' keyword.";
1099
1098
"(17,8--17,10): Unexpected keyword 'as' in pattern. Expected ']' or other token.";
1100
-
"(18,0--18,3): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (17:1). Try indenting this further.\u001dTo continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
1101
-
"(19,0--19,3): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (18:1). Try indenting this further.\u001dTo continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
1102
-
"(20,0--20,0): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (19:1). Try indenting this further.\u001dTo continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
1103
-
"(20,0--20,0): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (19:1). Try indenting this further.\u001dTo continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
1099
+
"(18,0--18,3): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (17:1). Try indenting this further.To continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
1100
+
"(19,0--19,3): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (18:1). Try indenting this further.To continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
1101
+
"(20,0--20,0): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (19:1). Try indenting this further.To continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
1102
+
"(20,0--20,0): Unexpected syntax or possible incorrect indentation: this token is offside of context started at position (19:1). Try indenting this further.To continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7.";
1104
1103
"(3,12--3,13): The type 'a' is not defined.";
1105
1104
"(3,9--3,13): The type 'int' does not have any proper subtypes and cannot be used as the source of a type test or runtime coercion.";
1106
1105
"(4,15--4,16): The type 'b' is not defined.";
1107
1106
"(4,12--4,16): The type 'bool' does not have any proper subtypes and cannot be used as the source of a type test or runtime coercion.";
1108
-
"(5,4--5,10): This runtime coercion or type test from type\u001d 'a \u001d to \u001d int \u001dinvolves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.";
1109
-
"(6,4--6,10): This runtime coercion or type test from type\u001d 'a \u001d to \u001d int \u001dinvolves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.";
1107
+
"(5,4--5,10): This runtime coercion or type test from type 'a to int involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.";
1108
+
"(6,4--6,10): This runtime coercion or type test from type 'a to int involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.";
1110
1109
"(7,27--7,28): The type 'e' is not defined.";
1111
-
"(7,24--7,28): This runtime coercion or type test from type\u001d 'a \u001d to \u001d 'b \u001dinvolves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.";
1110
+
"(7,24--7,28): This runtime coercion or type test from type 'a to 'b involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.";
1112
1111
"(8,28--8,29): The type 'f' is not defined.";
1113
1112
"(8,25--8,29): The type 'unit' does not have any proper subtypes and cannot be used as the source of a type test or runtime coercion.";
1114
1113
"(9,25--9,26): The type 'g' is not defined.";
@@ -1117,12 +1116,9 @@ let as :? z =
1117
1116
"(10,10--10,14): The type ''a * 'b' does not have any proper subtypes and cannot be used as the source of a type test or runtime coercion.";
1118
1117
"(12,15--12,16): The type 'm' is not defined.";
1119
1118
"(12,12--12,16): The type ''a list' does not have any proper subtypes and cannot be used as the source of a type test or runtime coercion.";
1120
-
"(14,4--14,7): The two sides of this 'or' pattern bind different sets of variables";
1121
-
"(14,14--14,15): The type 'q' is not defined.";
1122
-
"(14,11--14,15): This runtime coercion or type test from type\u001d 'a \u001d to \u001d 'b \u001dinvolves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed.";
1123
1119
"(16,4--16,5): The pattern discriminator 't' is not defined.";
1124
1120
"(16,14--16,15): The type 'u' is not defined.";
1125
-
"(16,11--16,15): This runtime coercion or type test from type\u001d 'a \u001d to \u001d 'b \u001dinvolves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed."
1121
+
"(16,11--16,15): This runtime coercion or type test from type 'a to 'b involves an indeterminate type based on information prior to this program point. Runtime type tests are not allowed on some types. Further type annotations are needed."
0 commit comments