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: src/fsharp/FSComp.txt
+1-1Lines changed: 1 addition & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -789,7 +789,7 @@ tcTypeAbbreviationHasTypeParametersMissingOnType,"This type abbreviation has one
789
789
954,tcTypeDefinitionIsCyclicThroughInheritance,"This type definition involves an immediate cyclic reference through a struct field or inheritance relation"
790
790
tcReservedSyntaxForAugmentation,"The syntax 'type X with ...' is reserved for augmentations. Types whose representations are hidden but which have members are now declared in signatures using 'type X = ...'. You may also need to add the '[<Sealed>] attribute to the type definition in the signature"
791
791
956,tcMembersThatExtendInterfaceMustBePlacedInSeparateModule,"Members that extend interface, delegate or enum types must be placed in a module separate to the definition of the type. This module must either have the AutoOpen attribute or be opened explicitly by client code to bring the extension members into scope."
792
-
957,tcDeclaredTypeParametersForExtensionDoNotMatchOriginal,"Thedeclared type parameters for this type extensiondo not match the declared typeparameters onthe original type '%s'"
792
+
957,tcDeclaredTypeParametersForExtensionDoNotMatchOriginal,"One or more of thedeclared type parameters for this type extensionhave a missing or wrong typeconstraint not matchingthe original type constraints on '%s'"
793
793
959,tcTypeDefinitionsWithImplicitConstructionMustHaveOneInherit,"Type definitions may only have one 'inherit' specification and it must be the first declaration"
794
794
960,tcTypeDefinitionsWithImplicitConstructionMustHaveLocalBindingsBeforeMembers,"'let' and 'do' bindings must come before member and interface definitions in type definitions"
795
795
961,tcInheritDeclarationMissingArguments,"This 'inherit' declaration specifies the inherited type but no arguments. Consider supplying arguments, e.g. 'inherit BaseType(args)'."
Copy file name to clipboardExpand all lines: tests/fsharp/typecheck/sigs/neg22.bsl
+2-2Lines changed: 2 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -33,8 +33,8 @@ but given a
33
33
'float<kg>'
34
34
The unit of measure 'm' doesnot match the unit of measure 'kg'
35
35
36
-
neg22.fs(28,12,28,18): typecheck error FS0957:Thedeclared type parametersfor this type extensiondonot match the declared typeparameters onthe original type 'LibGen<_>'
36
+
neg22.fs(28,12,28,18): typecheck error FS0957:Oneor more of thedeclared type parametersfor this type extensionhave a missingor wrong typeconstraintnot matchingthe original type constraints on 'LibGen<_>'
37
37
38
-
neg22.fs(40,12,40,18): typecheck error FS0957:Thedeclared type parametersfor this type extensiondonot match the declared typeparameters onthe original type 'LibGen<_>'
38
+
neg22.fs(40,12,40,18): typecheck error FS0957:Oneor more of thedeclared type parametersfor this type extensionhave a missingor wrong typeconstraintnot matchingthe original type constraints on 'LibGen<_>'
39
39
40
40
neg22.fs(33,17,33,19): typecheck error FS0341: The signatureand implementation arenot compatible because the type parameter 'T' has a constraint of the form 'T :> System.ValueType but the implementation does not. Either remove this constraint from the signatureor add itto the implementation.