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/service/PatternMatchCompilationTests.fs
+6-2Lines changed: 6 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -756,7 +756,7 @@ let z as =
756
756
"(10,7--10,9): Unexpected keyword 'as' in binding";
757
757
"(10,5--10,6): Expecting pattern";
758
758
"(11,10--11,12): Unexpected keyword 'as' in binding. Expected '=' or other token.";
759
-
"(12,9--12,11): Unexpected keyword 'as' in binding";
759
+
"(12,6--12,8): Expecting pattern";
760
760
"(13,8--13,10): Unexpected keyword 'as' in binding";
761
761
"(14,8--14,10): Unexpected keyword 'as' in binding";
762
762
"(15,8--15,10): Unexpected keyword 'as' in pattern. Expected ')' or other token.";
@@ -776,6 +776,8 @@ let z as =
776
776
"(8,29--8,30): This expression was expected to have type\u001d 'unit' \u001dbut here has type\u001d 'int'";
777
777
"(9,26--9,27): This expression was expected to have type\u001d 'unit' \u001dbut here has type\u001d 'int'";
778
778
"(10,14--10,15): This expression was expected to have type\u001d ''a * 'b' \u001dbut here has type\u001d 'int'";
779
+
"(12,16--12,18): This expression was expected to have type\u001d ''a list' \u001dbut here has type\u001d 'int'";
780
+
"(12,4--12,13): Incomplete pattern matches on this expression. For example, the value '[]' may indicate a case not covered by the pattern(s).";
779
781
"(15,4--15,5): The pattern discriminator 'r' is not defined.";
780
782
"(15,4--15,12): Incomplete pattern matches on this expression."
781
783
]
@@ -1176,7 +1178,7 @@ let as :? z =
1176
1178
"(10,7--10,9): Unexpected keyword 'as' in binding";
1177
1179
"(10,5--10,6): Expecting pattern";
1178
1180
"(11,10--11,12): Unexpected keyword 'as' in binding. Expected '=' or other token.";
1179
-
"(12,9--12,11): Unexpected keyword 'as' in binding";
1181
+
"(12,6--12,8): Expecting pattern";
1180
1182
"(13,8--13,10): Unexpected keyword 'as' in binding";
1181
1183
"(14,8--14,10): Unexpected keyword 'as' in binding";
1182
1184
"(15,13--15,15): Unexpected keyword 'as' in pattern. Expected '(' or other token.";
@@ -1204,6 +1206,8 @@ let as :? z =
1204
1206
"(9,22--9,26): The type 'unit' does not have any proper subtypes and cannot be used as the source of a type test or runtime coercion.";
1205
1207
"(10,13--10,14): The type 'i' is not defined.";
1206
1208
"(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.";
1209
+
"(12,15--12,16): The type 'm' is not defined.";
1210
+
"(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.";
1207
1211
"(16,4--16,5): The pattern discriminator 't' is not defined.";
1208
1212
"(16,14--16,15): The type 'u' is not defined.";
1209
1213
"(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."
0 commit comments