Skip to content

Commit

Permalink
Baselines
Browse files Browse the repository at this point in the history
  • Loading branch information
auduchinok committed Feb 20, 2025
1 parent c41538a commit a8c081a
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 0 deletions.
4 changes: 4 additions & 0 deletions tests/fsharp/typecheck/sigs/neg135.bsl
Original file line number Diff line number Diff line change
Expand Up @@ -2,3 +2,7 @@
neg135.fs(6,1,6,2): parse error FS0010: Unexpected symbol '}' in expression

neg135.fs(4,5,4,11): parse error FS3122: Missing 'do' in 'while' expression. Expected 'while <expr> do <expr>'.

neg135.fs(4,12,4,17): typecheck error FS0003: This value is not a function and cannot be applied.

neg135.fs(4,12,4,17): typecheck error FS0003: This value is not a function and cannot be applied.
4 changes: 4 additions & 0 deletions tests/fsharp/typecheck/sigs/neg45.bsl
Original file line number Diff line number Diff line change
Expand Up @@ -51,10 +51,14 @@ neg45.fs(79,28,79,33): typecheck error FS0193: A type parameter is missing a con

neg45.fs(79,20,79,22): typecheck error FS0340: The signature and implementation are not compatible because the declaration of the type parameter 'T' requires a constraint of the form 'T :> System.IComparable

neg45.fs(79,20,79,22): typecheck error FS0340: The signature and implementation are not compatible because the declaration of the type parameter 'T' requires a constraint of the form 'T :> System.IComparable

neg45.fs(80,28,80,33): typecheck error FS0193: A type parameter is missing a constraint 'when 'T :> System.IComparable'

neg45.fs(80,20,80,22): typecheck error FS0340: The signature and implementation are not compatible because the declaration of the type parameter 'T' requires a constraint of the form 'T :> System.IComparable

neg45.fs(80,20,80,22): typecheck error FS0340: The signature and implementation are not compatible because the declaration of the type parameter 'T' requires a constraint of the form 'T :> System.IComparable

neg45.fs(81,35,81,40): typecheck error FS0001: A type parameter is missing a constraint 'when 'T :> System.IComparable'

neg45.fs(89,26,89,40): typecheck error FS0041: A unique overload for method 'M' could not be determined based on type information prior to this program point. A type annotation may be needed.
Expand Down

0 comments on commit a8c081a

Please sign in to comment.