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