Skip to content

Commit a8c081a

Browse files
committed
Baselines
1 parent c41538a commit a8c081a

File tree

2 files changed

+8
-0
lines changed

2 files changed

+8
-0
lines changed

tests/fsharp/typecheck/sigs/neg135.bsl

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,3 +2,7 @@
22
neg135.fs(6,1,6,2): parse error FS0010: Unexpected symbol '}' in expression
33

44
neg135.fs(4,5,4,11): parse error FS3122: Missing 'do' in 'while' expression. Expected 'while <expr> do <expr>'.
5+
6+
neg135.fs(4,12,4,17): typecheck error FS0003: This value is not a function and cannot be applied.
7+
8+
neg135.fs(4,12,4,17): typecheck error FS0003: This value is not a function and cannot be applied.

tests/fsharp/typecheck/sigs/neg45.bsl

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -51,10 +51,14 @@ neg45.fs(79,28,79,33): typecheck error FS0193: A type parameter is missing a con
5151

5252
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
5353

54+
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
55+
5456
neg45.fs(80,28,80,33): typecheck error FS0193: A type parameter is missing a constraint 'when 'T :> System.IComparable'
5557

5658
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
5759

60+
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
61+
5862
neg45.fs(81,35,81,40): typecheck error FS0001: A type parameter is missing a constraint 'when 'T :> System.IComparable'
5963

6064
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.

0 commit comments

Comments
 (0)