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/typecheck/sigs/neg20.bsl
+4-4Lines changed: 4 additions & 4 deletions
Original file line number
Diff line number
Diff line change
@@ -227,12 +227,12 @@ neg20.fs(166,13,166,35): typecheck error FS0502: The member or object constructo
227
227
neg20.fs(167,13,167,31): typecheck error FS0502: The memberor object constructor 'M5' takes2 type argument(s) but is here given1. The required signature is 'member C.M5 : y:'a* z:'b-> int'.
228
228
229
229
neg20.fs(182,14,182,31): typecheck error FS0041: No overloads matchfor method 'M'. The available overloads are shown below (orin the Error List window).
230
-
neg20.fs(182,14,182,31): typecheck error FS0041: Possible overload: 'static member C2.M : fmt:string*params args:int []-> string'. Type constraint mismatch. The type
230
+
neg20.fs(182,14,182,31): typecheck error FS0041: Possible overload: 'static member C2.M : fmt:string*[<System.ParamArray>] args:int []-> string'. Type constraint mismatch. The type
231
231
obj
232
232
isnot compatible with type
233
233
int
234
234
The type 'obj' isnot compatible with the type 'int'.
235
-
neg20.fs(182,14,182,31): typecheck error FS0041: Possible overload: 'static member C2.M : fmt:string*params args:int []-> string'. Type constraint mismatch. The type
235
+
neg20.fs(182,14,182,31): typecheck error FS0041: Possible overload: 'static member C2.M : fmt:string*[<System.ParamArray>] args:int []-> string'. Type constraint mismatch. The type
236
236
obj
237
237
isnot compatible with type
238
238
int []
@@ -254,12 +254,12 @@ but here has type
254
254
obj
255
255
256
256
neg20.fs(188,14,188,31): typecheck error FS0041: No overloads matchfor method 'M'. The available overloads are shown below (orin the Error List window).
257
-
neg20.fs(188,14,188,31): typecheck error FS0041: Possible overload: 'static member C3.M : fmt:string*params args:string []-> string'. Type constraint mismatch. The type
257
+
neg20.fs(188,14,188,31): typecheck error FS0041: Possible overload: 'static member C3.M : fmt:string*[<System.ParamArray>] args:string []-> string'. Type constraint mismatch. The type
258
258
obj
259
259
isnot compatible with type
260
260
string
261
261
The type 'obj' isnot compatible with the type 'string'.
262
-
neg20.fs(188,14,188,31): typecheck error FS0041: Possible overload: 'static member C3.M : fmt:string*params args:string []-> string'. Type constraint mismatch. The type
262
+
neg20.fs(188,14,188,31): typecheck error FS0041: Possible overload: 'static member C3.M : fmt:string*[<System.ParamArray>] args:string []-> string'. Type constraint mismatch. The type