diff --git a/lib/fcs/FSharp.Compiler.Service.deps.json b/lib/fcs/FSharp.Compiler.Service.deps.json index 657ba1de21..e2dc824d5e 100644 --- a/lib/fcs/FSharp.Compiler.Service.deps.json +++ b/lib/fcs/FSharp.Compiler.Service.deps.json @@ -7,13 +7,11 @@ "targets": { ".NETStandard,Version=v2.0": {}, ".NETStandard,Version=v2.0/": { - "FSharp.Compiler.Service/43.7.300-dev": { + "FSharp.Compiler.Service/43.8.100-dev": { "dependencies": { - "FSharp.Core": "7.0.300-dev", - "FSharp.DependencyManager.Nuget": "7.0.300-dev", - "Microsoft.DotNet.XliffTasks": "1.0.0-beta.22513.1", - "Microsoft.SourceLink.AzureRepos.Git": "1.2.0-beta-22518-02", - "Microsoft.SourceLink.GitHub": "1.2.0-beta-22518-02", + "FSharp.Core": "8.0.100-dev", + "FSharp.DependencyManager.Nuget": "8.0.100-dev", + "Microsoft.DotNet.XliffTasks": "1.0.0-beta.23426.1", "NETStandard.Library": "2.0.3", "System.Buffers": "4.5.1", "System.Collections.Immutable": "6.0.0", @@ -68,22 +66,8 @@ } } }, - "Microsoft.Build.Tasks.Git/1.2.0-beta-22518-02": {}, - "Microsoft.DotNet.XliffTasks/1.0.0-beta.22513.1": {}, + "Microsoft.DotNet.XliffTasks/1.0.0-beta.23426.1": {}, "Microsoft.NETCore.Platforms/1.1.0": {}, - "Microsoft.SourceLink.AzureRepos.Git/1.2.0-beta-22518-02": { - "dependencies": { - "Microsoft.Build.Tasks.Git": "1.2.0-beta-22518-02", - "Microsoft.SourceLink.Common": "1.2.0-beta-22518-02" - } - }, - "Microsoft.SourceLink.Common/1.2.0-beta-22518-02": {}, - "Microsoft.SourceLink.GitHub/1.2.0-beta-22518-02": { - "dependencies": { - "Microsoft.Build.Tasks.Git": "1.2.0-beta-22518-02", - "Microsoft.SourceLink.Common": "1.2.0-beta-22518-02" - } - }, "NETStandard.Library/2.0.3": { "dependencies": { "Microsoft.NETCore.Platforms": "1.1.0" @@ -180,7 +164,7 @@ } } }, - "FSharp.Core/7.0.300-dev": { + "FSharp.Core/8.0.100-dev": { "runtime": { "FSharp.Core.dll": {} }, @@ -226,9 +210,9 @@ } } }, - "FSharp.DependencyManager.Nuget/7.0.300-dev": { + "FSharp.DependencyManager.Nuget/8.0.100-dev": { "dependencies": { - "FSharp.Core": "7.0.300-dev", + "FSharp.Core": "8.0.100-dev", "System.Reflection.Emit": "4.7.0", "System.Reflection.Metadata": "6.0.1", "System.Runtime.CompilerServices.Unsafe": "6.0.0" @@ -281,24 +265,17 @@ } }, "libraries": { - "FSharp.Compiler.Service/43.7.300-dev": { + "FSharp.Compiler.Service/43.8.100-dev": { "type": "project", "serviceable": false, "sha512": "" }, - "Microsoft.Build.Tasks.Git/1.2.0-beta-22518-02": { - "type": "package", - "serviceable": true, - "sha512": "sha512-+eQBlD52h/xiCbmWCeeLTnw599RqTkWJ/WKadRolvYoo3Vxz8/egIqdOaHLAu3dvccSYTcltqagBYrYnnwAwqg==", - "path": "microsoft.build.tasks.git/1.2.0-beta-22518-02", - "hashPath": "microsoft.build.tasks.git.1.2.0-beta-22518-02.nupkg.sha512" - }, - "Microsoft.DotNet.XliffTasks/1.0.0-beta.22513.1": { + "Microsoft.DotNet.XliffTasks/1.0.0-beta.23426.1": { "type": "package", "serviceable": true, - "sha512": "sha512-7MfwZXG878da4m05oge5Gi9zgTwAUW5NINDDkOBflkZf4rCZXyrPP57BvKpuRW765UzJ/C6gx6J4wVJc3vbvhg==", - "path": "microsoft.dotnet.xlifftasks/1.0.0-beta.22513.1", - "hashPath": "microsoft.dotnet.xlifftasks.1.0.0-beta.22513.1.nupkg.sha512" + "sha512": "sha512-XS628H3vIhZR2KSlnt4Gz8UOq2Af8U5q5Iypfxk/HmBS/bU0r0qNHldAblwvxIuvJL1X797qZwTXwdtRPNj02A==", + "path": "microsoft.dotnet.xlifftasks/1.0.0-beta.23426.1", + "hashPath": "microsoft.dotnet.xlifftasks.1.0.0-beta.23426.1.nupkg.sha512" }, "Microsoft.NETCore.Platforms/1.1.0": { "type": "package", @@ -307,27 +284,6 @@ "path": "microsoft.netcore.platforms/1.1.0", "hashPath": "microsoft.netcore.platforms.1.1.0.nupkg.sha512" }, - "Microsoft.SourceLink.AzureRepos.Git/1.2.0-beta-22518-02": { - "type": "package", - "serviceable": true, - "sha512": "sha512-zD1v/X3AWm9K+AWskLCdR2aXZ3h4jcKPUoxQWTiJt+uGkOUNXVOEB+OGcBTkzE+shqrhpQKHkHeAqr943sVlKw==", - "path": "microsoft.sourcelink.azurerepos.git/1.2.0-beta-22518-02", - "hashPath": "microsoft.sourcelink.azurerepos.git.1.2.0-beta-22518-02.nupkg.sha512" - }, - "Microsoft.SourceLink.Common/1.2.0-beta-22518-02": { - "type": "package", - "serviceable": true, - "sha512": "sha512-FHujdrmp5iLqkxRGXho2HB6GAgmwwGeWZshL6ev0lA1OQx0M3GB26BuZEq38wXMyP30Bn1OYGIlL2LJQzUbbow==", - "path": "microsoft.sourcelink.common/1.2.0-beta-22518-02", - "hashPath": "microsoft.sourcelink.common.1.2.0-beta-22518-02.nupkg.sha512" - }, - "Microsoft.SourceLink.GitHub/1.2.0-beta-22518-02": { - "type": "package", - "serviceable": true, - "sha512": "sha512-zOA29A2i/9W4UBFQu4y8ZovKwb0l+0qN8eEj9WrlHg1djBhMUuBes0ddS71q6s9O/MGarUDM+/XfsZRJ94hKbg==", - "path": "microsoft.sourcelink.github/1.2.0-beta-22518-02", - "hashPath": "microsoft.sourcelink.github.1.2.0-beta-22518-02.nupkg.sha512" - }, "NETStandard.Library/2.0.3": { "type": "package", "serviceable": true, @@ -398,12 +354,12 @@ "path": "system.runtime.compilerservices.unsafe/6.0.0", "hashPath": "system.runtime.compilerservices.unsafe.6.0.0.nupkg.sha512" }, - "FSharp.Core/7.0.300-dev": { + "FSharp.Core/8.0.100-dev": { "type": "project", "serviceable": false, "sha512": "" }, - "FSharp.DependencyManager.Nuget/7.0.300-dev": { + "FSharp.DependencyManager.Nuget/8.0.100-dev": { "type": "project", "serviceable": false, "sha512": "" diff --git a/lib/fcs/FSharp.Compiler.Service.dll b/lib/fcs/FSharp.Compiler.Service.dll index 510ed77659..b22cfbc008 100644 Binary files a/lib/fcs/FSharp.Compiler.Service.dll and b/lib/fcs/FSharp.Compiler.Service.dll differ diff --git a/lib/fcs/FSharp.Compiler.Service.xml b/lib/fcs/FSharp.Compiler.Service.xml index 7cd94f4bd1..c6b8d87198 100644 --- a/lib/fcs/FSharp.Compiler.Service.xml +++ b/lib/fcs/FSharp.Compiler.Service.xml @@ -5,3745 +5,3811 @@ Consider using 'yield!' instead of 'yield'. - (Originally from FSComp.txt:37) + (Originally from FSComp.txt:38) This XML comment is invalid: unresolved cross-reference '%s' - (Originally from FSComp.txt:1623) + (Originally from FSComp.txt:1642) This XML comment is invalid: missing 'name' attribute for parameter or parameter reference - (Originally from FSComp.txt:1619) + (Originally from FSComp.txt:1638) This XML comment is incomplete: no documentation for parameter '%s' - (Originally from FSComp.txt:1624) + (Originally from FSComp.txt:1643) This XML comment is invalid: missing 'cref' attribute for cross-reference - (Originally from FSComp.txt:1620) + (Originally from FSComp.txt:1639) This XML comment is invalid: unknown parameter '%s' - (Originally from FSComp.txt:1621) + (Originally from FSComp.txt:1640) This XML comment is invalid: multiple documentation entries for parameter '%s' - (Originally from FSComp.txt:1622) + (Originally from FSComp.txt:1641) This XML comment is invalid: '%s' - (Originally from FSComp.txt:1618) + (Originally from FSComp.txt:1637) The byref pointer is readonly, so this write is not permitted. - (Originally from FSComp.txt:1488) + (Originally from FSComp.txt:1499) The value '%s' is not accessible from this code location - (Originally from FSComp.txt:970) + (Originally from FSComp.txt:974) Use reference assemblies for .NET framework references when available (Enabled by default). - (Originally from FSComp.txt:1526) + (Originally from FSComp.txt:1537) This attribute is currently unsupported by the F# compiler. Applying it will not achieve its intended effect. - (Originally from FSComp.txt:39) + (Originally from FSComp.txt:42) The union cases or fields of the type '%s' are not accessible from this code location - (Originally from FSComp.txt:969) + (Originally from FSComp.txt:973) The union case '%s' is not accessible from this code location - (Originally from FSComp.txt:971) + (Originally from FSComp.txt:975) The value or constructor '%s' is not defined. - (Originally from FSComp.txt:9) + (Originally from FSComp.txt:10) The value, namespace, type or module '%s' is not defined. - (Originally from FSComp.txt:10) + (Originally from FSComp.txt:11) The value, constructor, namespace or type '%s' is not defined. - (Originally from FSComp.txt:8) + (Originally from FSComp.txt:9) The type parameter %s is not defined. - (Originally from FSComp.txt:17) + (Originally from FSComp.txt:18) The type '%s' is not defined in '%s'. - (Originally from FSComp.txt:13) + (Originally from FSComp.txt:14) The type '%s' is not defined. - (Originally from FSComp.txt:12) + (Originally from FSComp.txt:13) Maybe you want one of the following: - (Originally from FSComp.txt:16) + (Originally from FSComp.txt:17) The record label or namespace '%s' is not defined. - (Originally from FSComp.txt:14) + (Originally from FSComp.txt:15) The record label '%s' is not defined. - (Originally from FSComp.txt:15) + (Originally from FSComp.txt:16) The pattern discriminator '%s' is not defined. - (Originally from FSComp.txt:18) + (Originally from FSComp.txt:19) The namespace or module '%s' is not defined. - (Originally from FSComp.txt:5) + (Originally from FSComp.txt:6) The namespace '%s' is not defined. - (Originally from FSComp.txt:4) + (Originally from FSComp.txt:5) The type '%s' does not define the field, constructor or member '%s'. - (Originally from FSComp.txt:7) + (Originally from FSComp.txt:8) The field, constructor or member '%s' is not defined. - (Originally from FSComp.txt:6) + (Originally from FSComp.txt:7) The constructor, module or namespace '%s' is not defined. - (Originally from FSComp.txt:11) + (Originally from FSComp.txt:12) The type '%s' implements 'System.IComparable'. Consider also adding an explicit override for 'Object.Equals' - (Originally from FSComp.txt:177) + (Originally from FSComp.txt:180) The type '%s' implements 'System.IComparable' explicitly but provides no corresponding override for 'Object.Equals'. An implementation of 'Object.Equals' has been automatically provided, implemented via 'System.IComparable'. Consider implementing the override 'Object.Equals' explicitly - (Originally from FSComp.txt:178) + (Originally from FSComp.txt:181) The signature and implementation are not compatible because the respective type parameter counts differ - (Originally from FSComp.txt:173) + (Originally from FSComp.txt:176) The signature and implementation are not compatible because the type parameter '%s' has a constraint of the form %s but the implementation does not. Either remove this constraint from the signature or add it to the implementation. - (Originally from FSComp.txt:176) + (Originally from FSComp.txt:179) The signature and implementation are not compatible because the declaration of the type parameter '%s' requires a constraint of the form %s - (Originally from FSComp.txt:175) + (Originally from FSComp.txt:178) The signature and implementation are not compatible because the type parameter in the class/signature has a different compile-time requirement to the one in the member/implementation - (Originally from FSComp.txt:174) + (Originally from FSComp.txt:177) The override for '%s' was ambiguous - (Originally from FSComp.txt:193) + (Originally from FSComp.txt:196) The override '%s' implements more than one abstract slot, e.g. '%s' and '%s' - (Originally from FSComp.txt:196) + (Originally from FSComp.txt:199) No implementations of '%s' had the correct number of arguments and type parameters. The required signature is '%s'. - (Originally from FSComp.txt:192) + (Originally from FSComp.txt:195) No implementation was given for '%s'. Note that all interface members must be implemented and listed under an appropriate 'interface' declaration, e.g. 'interface ... with member ...'. - (Originally from FSComp.txt:201) + (Originally from FSComp.txt:206) No implementation was given for those members: %sNote that all interface members must be implemented and listed under an appropriate 'interface' declaration, e.g. 'interface ... with member ...'. - (Originally from FSComp.txt:203) + (Originally from FSComp.txt:207) No implementation was given for those members (some results omitted): %sNote that all interface members must be implemented and listed under an appropriate 'interface' declaration, e.g. 'interface ... with member ...'. - (Originally from FSComp.txt:205) + (Originally from FSComp.txt:208) No implementation was given for those members (some results omitted): %s - (Originally from FSComp.txt:204) + (Originally from FSComp.txt:205) No implementation was given for those members: %s - (Originally from FSComp.txt:202) + (Originally from FSComp.txt:204) No implementation was given for '%s' - (Originally from FSComp.txt:200) + (Originally from FSComp.txt:203) A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. - (Originally from FSComp.txt:1683) + (Originally from FSComp.txt:1703) The interface '%s' is included in multiple explicitly implemented interface types. Add an explicit implementation of this interface. - (Originally from FSComp.txt:198) + (Originally from FSComp.txt:201) The named argument '%s' has been assigned more than one value - (Originally from FSComp.txt:199) + (Originally from FSComp.txt:202) More than one override implements '%s' - (Originally from FSComp.txt:194) + (Originally from FSComp.txt:197) The namespace or module attributes differ between signature and implementation - (Originally from FSComp.txt:190) + (Originally from FSComp.txt:193) The method '%s' is sealed and cannot be overridden - (Originally from FSComp.txt:195) + (Originally from FSComp.txt:198) This method is over-constrained in its type parameters - (Originally from FSComp.txt:191) + (Originally from FSComp.txt:194) The member '%s' matches multiple overloads of the same method.\nPlease restrict it to one of the following:%s. - (Originally from FSComp.txt:1384) + (Originally from FSComp.txt:1392) The member '%s' does not have the correct number of method type parameters. The required signature is '%s'. - (Originally from FSComp.txt:207) + (Originally from FSComp.txt:210) The member '%s' does not have the correct number of arguments. The required signature is '%s'. - (Originally from FSComp.txt:206) + (Originally from FSComp.txt:209) The member '%s' does not have the correct kinds of generic parameters. The required signature is '%s'. - (Originally from FSComp.txt:208) + (Originally from FSComp.txt:211) The member '%s' cannot be used to implement '%s'. The required signature is '%s'. - (Originally from FSComp.txt:209) + (Originally from FSComp.txt:212) Invalid value - (Originally from FSComp.txt:172) + (Originally from FSComp.txt:175) You cannot implement the interface '%s' with the two instantiations '%s' and '%s' because they may unify. - (Originally from FSComp.txt:1576) + (Originally from FSComp.txt:1596) '%s' cannot implement the interface '%s' with the two instantiations '%s' and '%s' because they may unify. - (Originally from FSComp.txt:1575) + (Originally from FSComp.txt:1595) Interface member '%s' does not have a most specific implementation. - (Originally from FSComp.txt:1523) + (Originally from FSComp.txt:1535) The struct, record or union type '%s' has an explicit implementation of 'Object.GetHashCode' or 'Object.Equals'. You must apply the 'CustomEquality' attribute to the type - (Originally from FSComp.txt:179) + (Originally from FSComp.txt:182) The struct, record or union type '%s' has an explicit implementation of 'Object.GetHashCode'. Consider implementing a matching override for 'Object.Equals(obj)' - (Originally from FSComp.txt:180) + (Originally from FSComp.txt:183) The struct, record or union type '%s' has an explicit implementation of 'Object.Equals'. Consider implementing a matching override for 'Object.GetHashCode()' - (Originally from FSComp.txt:181) + (Originally from FSComp.txt:184) Duplicate or redundant interface - (Originally from FSComp.txt:197) + (Originally from FSComp.txt:200) The implicit instantiation of a generic construct at or near this point could not be resolved because it could resolve to multiple unrelated types, e.g. '%s' and '%s'. Consider using type annotations to resolve the ambiguity - (Originally from FSComp.txt:168) + (Originally from FSComp.txt:171) Could not resolve the ambiguity in the use of a generic construct with an 'unmanaged' constraint at or near this position - (Originally from FSComp.txt:1082) + (Originally from FSComp.txt:1086) Could not resolve the ambiguity inherent in the use of a 'printf'-style format string - (Originally from FSComp.txt:169) + (Originally from FSComp.txt:172) Could not resolve the ambiguity in the use of a generic construct with an 'enum' constraint at or near this position - (Originally from FSComp.txt:170) + (Originally from FSComp.txt:173) Could not resolve the ambiguity in the use of a generic construct with a 'delegate' constraint at or near this position - (Originally from FSComp.txt:171) + (Originally from FSComp.txt:174) The type '%s' is not accessible from this code location - (Originally from FSComp.txt:968) + (Originally from FSComp.txt:972) union case - (Originally from FSComp.txt:947) + (Originally from FSComp.txt:950) property - (Originally from FSComp.txt:952) + (Originally from FSComp.txt:955) patvar - (Originally from FSComp.txt:957) + (Originally from FSComp.txt:960) and %d other overloads - (Originally from FSComp.txt:946) + (Originally from FSComp.txt:949) namespace/module - (Originally from FSComp.txt:960) + (Originally from FSComp.txt:963) namespace - (Originally from FSComp.txt:958) + (Originally from FSComp.txt:961) module - (Originally from FSComp.txt:959) + (Originally from FSComp.txt:962) generated type - (Originally from FSComp.txt:964) + (Originally from FSComp.txt:967) generated property - (Originally from FSComp.txt:963) + (Originally from FSComp.txt:966) Full name - (Originally from FSComp.txt:942) + (Originally from FSComp.txt:945) also from %s - (Originally from FSComp.txt:962) + (Originally from FSComp.txt:965) from %s - (Originally from FSComp.txt:961) + (Originally from FSComp.txt:964) field - (Originally from FSComp.txt:950) + (Originally from FSComp.txt:953) extension - (Originally from FSComp.txt:953) + (Originally from FSComp.txt:956) event - (Originally from FSComp.txt:951) + (Originally from FSComp.txt:954) custom operation - (Originally from FSComp.txt:954) + (Originally from FSComp.txt:957) Calls - (Originally from FSComp.txt:1288) + (Originally from FSComp.txt:1296) argument - (Originally from FSComp.txt:955) + (Originally from FSComp.txt:958) anonymous record field - (Originally from FSComp.txt:956) + (Originally from FSComp.txt:959) active recognizer - (Originally from FSComp.txt:949) + (Originally from FSComp.txt:952) active pattern result - (Originally from FSComp.txt:948) + (Originally from FSComp.txt:951) \nA tuple type is required for one or more arguments. Consider wrapping the given arguments in additional parentheses or review the definition of the interface. - (Originally from FSComp.txt:38) + (Originally from FSComp.txt:39) The specified .NET Framework version '%s' is not supported. Please specify a value from the enumeration Microsoft.Build.Utilities.TargetDotNetFrameworkVersion. - (Originally from FSComp.txt:1126) + (Originally from FSComp.txt:1134) Unexpected Expr.TyChoose - (Originally from FSComp.txt:978) + (Originally from FSComp.txt:982) Note: Lambda-lifting optimizations have not been applied because of the use of this local constrained generic function as a first class value. Adding type constraints may resolve this condition. - (Originally from FSComp.txt:979) + (Originally from FSComp.txt:983) The 'VolatileField' attribute may only be used on 'let' bindings in classes - (Originally from FSComp.txt:676) + (Originally from FSComp.txt:677) Volatile fields must be marked 'mutable' and cannot be thread-static - (Originally from FSComp.txt:731) + (Originally from FSComp.txt:732) A declaration may only be given a value in a signature if the declaration has the [<Literal>] attribute - (Originally from FSComp.txt:729) + (Originally from FSComp.txt:730) Declaring \"interfaces with static abstract methods\" is an advanced feature. See https://aka.ms/fsharp-iwsams for guidance. You can disable this warning by using '#nowarn \"3535\"' or '--nowarn:3535'. - (Originally from FSComp.txt:1665) + (Originally from FSComp.txt:1685) '%s' is normally used as a type constraint in generic code, e.g. \"'T when ISomeInterface<'T>\" or \"let f (x: #ISomeInterface<_>)\". See https://aka.ms/fsharp-iwsams for guidance. You can disable this warning by using '#nowarn \"3536\"' or '--nowarn:3536'. - (Originally from FSComp.txt:1666) + (Originally from FSComp.txt:1686) In sequence expressions, multiple results are generated using 'yield!' - (Originally from FSComp.txt:651) - - - - - Character range matches have been removed in F#. Consider using a 'when' pattern guard instead. - (Originally from FSComp.txt:584) + (Originally from FSComp.txt:652) 'use' expressions may not be used in queries - (Originally from FSComp.txt:1305) + (Originally from FSComp.txt:1313) The use of 'let! x = coll' in sequence expressions is not permitted. Use 'for x in coll' instead. - (Originally from FSComp.txt:649) + (Originally from FSComp.txt:650) This declaration is not supported in recursive declaration groups - (Originally from FSComp.txt:1374) + (Originally from FSComp.txt:1382) This attribute cannot be used in this version of F# - (Originally from FSComp.txt:703) + (Originally from FSComp.txt:704) This is not a known query operator. Query operators are identifiers such as 'select', 'where', 'sortBy', 'thenBy', 'groupBy', 'groupValBy', 'join', 'groupJoin', 'sumBy' and 'averageBy', defined using corresponding methods on the 'QueryBuilder' type. - (Originally from FSComp.txt:1308) + (Originally from FSComp.txt:1316) Arguments to query operators may require parentheses, e.g. 'where (x > y)' or 'groupBy (x.Length / 10)' - (Originally from FSComp.txt:1316) + (Originally from FSComp.txt:1324) Unrecognized attribute target. Valid attribute targets are 'assembly', 'module', 'type', 'method', 'property', 'return', 'param', 'field', 'event', 'constructor'. - (Originally from FSComp.txt:693) + (Originally from FSComp.txt:694) The unnamed arguments do not form a prefix of the arguments of the method called - (Originally from FSComp.txt:670) + (Originally from FSComp.txt:671) Unknown union case - (Originally from FSComp.txt:523) + (Originally from FSComp.txt:525) Unit-of-measure cannot be used in type constructor application - (Originally from FSComp.txt:560) + (Originally from FSComp.txt:562) This union case takes one argument - (Originally from FSComp.txt:578) + (Originally from FSComp.txt:580) The union case named '%s' conflicts with the generated type '%s' - (Originally from FSComp.txt:1106) + (Originally from FSComp.txt:1110) Union case/exception field '%s' cannot be used more than once. - (Originally from FSComp.txt:1343) + (Originally from FSComp.txt:1351) This union case expects %d arguments in tupled form, but was given %d. The missing field arguments may be any of:%s - (Originally from FSComp.txt:579) + (Originally from FSComp.txt:581) This union case does not take arguments - (Originally from FSComp.txt:577) + (Originally from FSComp.txt:579) The union case '%s' does not have a field named '%s'. - (Originally from FSComp.txt:1339) + (Originally from FSComp.txt:1347) Uninitialized 'val' fields must be mutable and marked with the '[<DefaultValue>]' attribute. Consider using a 'let' binding instead of a 'val' field. - (Originally from FSComp.txt:732) + (Originally from FSComp.txt:733) Unexpected type arguments - (Originally from FSComp.txt:569) + (Originally from FSComp.txt:571) Unexpected %s in type expression - (Originally from FSComp.txt:563) + (Originally from FSComp.txt:565) Unexpected / in type - (Originally from FSComp.txt:568) + (Originally from FSComp.txt:570) Unexpected source-level property specification - (Originally from FSComp.txt:534) + (Originally from FSComp.txt:536) Unexpected source-level property specification in syntax tree - (Originally from FSComp.txt:528) + (Originally from FSComp.txt:530) Unexpected SynMeasure.Anon - (Originally from FSComp.txt:484) + (Originally from FSComp.txt:487) + + + + + Unexpected function type in union case field definition. If you intend the field to be a function, consider wrapping the function signature with parens, e.g. | Case of a -> b into | Case of (a -> b). + (Originally from FSComp.txt:1726) Unexpected expression at recursive inference point - (Originally from FSComp.txt:513) + (Originally from FSComp.txt:515) Unexpected Const_uint16array - (Originally from FSComp.txt:489) + (Originally from FSComp.txt:492) Unexpected Const_bytearray - (Originally from FSComp.txt:490) + (Originally from FSComp.txt:493) Unexpected condition in imported assembly: failed to decode AttributeUsage attribute - (Originally from FSComp.txt:692) + (Originally from FSComp.txt:693) Unexpected big rational constant - (Originally from FSComp.txt:487) + (Originally from FSComp.txt:490) The field '%s' has been given a value, but is not present in the type '%s' - (Originally from FSComp.txt:616) + (Originally from FSComp.txt:617) Invalid interpolated string. %s - (Originally from FSComp.txt:1602) + (Originally from FSComp.txt:1622) Unable to parse format string '%s' - (Originally from FSComp.txt:594) + (Originally from FSComp.txt:595) Types cannot inherit from multiple concrete types - (Originally from FSComp.txt:781) + (Originally from FSComp.txt:782) Types cannot contain nested type definitions - (Originally from FSComp.txt:762) + (Originally from FSComp.txt:763) Struct types are always sealed - (Originally from FSComp.txt:793) + (Originally from FSComp.txt:794) Record types are always sealed - (Originally from FSComp.txt:791) + (Originally from FSComp.txt:792) Enum types are always sealed - (Originally from FSComp.txt:795) + (Originally from FSComp.txt:796) Delegate types are always sealed - (Originally from FSComp.txt:794) + (Originally from FSComp.txt:795) Discriminated union types are always sealed - (Originally from FSComp.txt:790) + (Originally from FSComp.txt:791) Assembly code types are always sealed - (Originally from FSComp.txt:792) + (Originally from FSComp.txt:793) The type '%s' is used in an invalid way. A value prior to '%s' has an inferred type involving '%s', which is an invalid forward reference. - (Originally from FSComp.txt:817) + (Originally from FSComp.txt:818) This type test or downcast will erase the provided type '%s' to the type '%s' - (Originally from FSComp.txt:1216) + (Originally from FSComp.txt:1224) This type test or downcast will ignore the unit-of-measure '%s' - (Originally from FSComp.txt:1117) + (Originally from FSComp.txt:1121) This type test with a provided type '%s' is not allowed because this provided type will be erased to '%s' at runtime. - (Originally from FSComp.txt:1218) + (Originally from FSComp.txt:1226) This type requires a definition - (Originally from FSComp.txt:778) + (Originally from FSComp.txt:779) The type parameters inferred for this value are not stable under the erasure of type abbreviations. This is due to the use of type abbreviations which drop or reorder type parameters, e.g. \n\ttype taggedInt<'a> = int or\n\ttype swap<'a,'b> = 'b * 'a.\nConsider declaring the type parameters for this value explicitly, e.g.\n\tlet f<'a,'b> ((x,y) : swap<'b,'a>) : swap<'a,'b> = (y,x). - (Originally from FSComp.txt:518) + (Originally from FSComp.txt:520) Type parameter cannot be used as type constructor - (Originally from FSComp.txt:564) + (Originally from FSComp.txt:566) This type parameter has been used in a way that constrains it to always be '%s' - (Originally from FSComp.txt:517) + (Originally from FSComp.txt:519) This value, type or method expects %d type parameter(s) but was given %d - (Originally from FSComp.txt:540) + (Originally from FSComp.txt:542) type or module - (Originally from FSComp.txt:764) + (Originally from FSComp.txt:765) The type '%s' is not an interface type - (Originally from FSComp.txt:739) + (Originally from FSComp.txt:740) This type is not an interface type - (Originally from FSComp.txt:757) + (Originally from FSComp.txt:758) This type is not a record type. Values of class and struct types must be created using calls to object constructors. - (Originally from FSComp.txt:644) + (Originally from FSComp.txt:645) This type is not a record type - (Originally from FSComp.txt:645) + (Originally from FSComp.txt:646) This type is not accessible from this code location - (Originally from FSComp.txt:691) + (Originally from FSComp.txt:692) This type has no nested types - (Originally from FSComp.txt:562) + (Originally from FSComp.txt:564) This type has no accessible object constructors - (Originally from FSComp.txt:654) + (Originally from FSComp.txt:655) type, exception or module - (Originally from FSComp.txt:763) + (Originally from FSComp.txt:764) This type does not inherit Attribute, it will not work correctly with other .NET languages. - (Originally from FSComp.txt:1504) + (Originally from FSComp.txt:1515) Type definitions may only have one 'inherit' specification and it must be the first declaration - (Originally from FSComp.txt:810) + (Originally from FSComp.txt:811) 'let' and 'do' bindings must come before member and interface definitions in type definitions - (Originally from FSComp.txt:811) + (Originally from FSComp.txt:812) This type definition involves an immediate cyclic reference through a struct field or inheritance relation - (Originally from FSComp.txt:806) + (Originally from FSComp.txt:807) This type definition involves an immediate cyclic reference through an abbreviation - (Originally from FSComp.txt:805) + (Originally from FSComp.txt:806) This downcast will erase the provided type '%s' to the type '%s'. - (Originally from FSComp.txt:1217) + (Originally from FSComp.txt:1225) The type '%s' is not a type whose values can be enumerated with this syntax, i.e. is not compatible with either seq<_>, IEnumerable<_> or IEnumerable and does not have a GetEnumerator method - (Originally from FSComp.txt:547) + (Originally from FSComp.txt:549) Type abbreviations cannot have members - (Originally from FSComp.txt:746) + (Originally from FSComp.txt:747) As of F# 4.1, the accessibility of type abbreviations is checked at compile-time. Consider changing the accessibility of the type abbreviation. Ignoring this warning might lead to runtime errors. - (Originally from FSComp.txt:747) + (Originally from FSComp.txt:748) Type abbreviations cannot have interface declarations - (Originally from FSComp.txt:755) + (Originally from FSComp.txt:756) Type abbreviations cannot have augmentations - (Originally from FSComp.txt:815) + (Originally from FSComp.txt:816) This type abbreviation has one or more declared type parameters that do not appear in the type being abbreviated. Type abbreviations must use all declared type parameters in the type being abbreviated. Consider removing one or more type parameters, or use a concrete type definition that wraps an underlying type, such as 'type C<'a> = C of ...'. - (Originally from FSComp.txt:779) + (Originally from FSComp.txt:780) One tuple type is a struct tuple, the other is a reference tuple - (Originally from FSComp.txt:1367) + (Originally from FSComp.txt:1375) This method or property is not normally used from F# code, use an explicit tuple pattern for deconstruction instead. - (Originally from FSComp.txt:1484) + (Originally from FSComp.txt:1495) 'try/with' expressions may not be used in queries - (Originally from FSComp.txt:1309) + (Originally from FSComp.txt:1317) 'try'/'with' cannot be used within sequence expressions - (Originally from FSComp.txt:650) + (Originally from FSComp.txt:651) A trait may not specify optional, in, out, ParamArray, CallerInfo or Quote arguments - (Originally from FSComp.txt:1662) + (Originally from FSComp.txt:1682) Trait '%s' is static - (Originally from FSComp.txt:1660) + (Originally from FSComp.txt:1680) Trait '%s' is not static - (Originally from FSComp.txt:1661) + (Originally from FSComp.txt:1681) Invocation of a static constraint should use \"'T.Ident\" and not \"^T.Ident\", even for statically resolved type parameters. - (Originally from FSComp.txt:1664) + (Originally from FSComp.txt:1684) The trait '%s' invoked by this call has multiple support types. This invocation syntax is not permitted for such traits. See https://aka.ms/fsharp-srtp for guidance. - (Originally from FSComp.txt:1667) + (Originally from FSComp.txt:1687) Thread-static and context-static variables must be static and given the [<DefaultValue>] attribute to indicate that the value is initialized to the default value on each new thread - (Originally from FSComp.txt:730) + (Originally from FSComp.txt:731) This member, function or value declaration may not be declared 'inline' - (Originally from FSComp.txt:1314) + (Originally from FSComp.txt:1322) This type definition may not have the 'CLIMutable' attribute. Only record types may have this attribute. - (Originally from FSComp.txt:1296) + (Originally from FSComp.txt:1304) Invalid provided field. Provided fields of erased provided types must be literals. - (Originally from FSComp.txt:1325) + (Originally from FSComp.txt:1333) The syntax 'expr.id' may only be used with record labels, properties and fields - (Originally from FSComp.txt:665) + (Originally from FSComp.txt:666) Syntax error - unexpected '?' symbol - (Originally from FSComp.txt:586) + (Originally from FSComp.txt:587) '%s' may only be used to construct object types - (Originally from FSComp.txt:614) + (Originally from FSComp.txt:615) SynType.Or is not permitted in this declaration - (Originally from FSComp.txt:1672) + (Originally from FSComp.txt:1692) This expression implicitly converts type '%s' to type '%s'. See https://aka.ms/fsharp-implicit-convs. - (Originally from FSComp.txt:1615) + (Originally from FSComp.txt:1635) The struct, record or union type '%s' has the 'StructuralEquality' attribute but the component type '%s' does not satisfy the 'equality' constraint - (Originally from FSComp.txt:1062) + (Originally from FSComp.txt:1066) The struct, record or union type '%s' has the 'StructuralEquality' attribute but the type parameter '%s' does not satisfy the 'equality' constraint. Consider adding the 'equality' constraint to the type parameter - (Originally from FSComp.txt:1061) + (Originally from FSComp.txt:1065) The struct, record or union type '%s' has the 'StructuralComparison' attribute but the component type '%s' does not satisfy the 'comparison' constraint - (Originally from FSComp.txt:1056) + (Originally from FSComp.txt:1060) The struct, record or union type '%s' has the 'StructuralComparison' attribute but the type parameter '%s' does not satisfy the 'comparison' constraint. Consider adding the 'comparison' constraint to the type parameter - (Originally from FSComp.txt:1055) + (Originally from FSComp.txt:1059) Each argument of the primary constructor for a struct must be given a type, for example 'type S(x1:int, x2: int) = ...'. These arguments determine the fields of the struct. - (Originally from FSComp.txt:1063) + (Originally from FSComp.txt:1067) Structs cannot contain value definitions because the default constructor for structs will not execute these bindings. Consider adding additional arguments to the primary constructor for the type. - (Originally from FSComp.txt:751) + (Originally from FSComp.txt:752) Structs cannot contain 'do' bindings because the default constructor for structs would not execute these bindings - (Originally from FSComp.txt:750) + (Originally from FSComp.txt:751) Structs, interfaces, enums and delegates cannot inherit from other types - (Originally from FSComp.txt:780) + (Originally from FSComp.txt:781) Structs cannot have an object constructor with no arguments. This is a restriction imposed on all CLI languages as structs automatically support a default constructor. - (Originally from FSComp.txt:722) + (Originally from FSComp.txt:723) Structs may only bind a 'this' parameter at member declarations - (Originally from FSComp.txt:512) + (Originally from FSComp.txt:514) If a multicase union type is a struct, then all union cases must have unique names. For example: 'type A = B of b: int | C of c: int'. - (Originally from FSComp.txt:1376) + (Originally from FSComp.txt:1384) Struct types cannot contain abstract members - (Originally from FSComp.txt:800) + (Originally from FSComp.txt:801) Static 'val' fields in types must be mutable, private and marked with the '[<DefaultValue>]' attribute. They are initialized to the 'null' or 'zero' value for their type. Consider also using a 'static let mutable' binding in a class type. - (Originally from FSComp.txt:733) + (Originally from FSComp.txt:734) Static optimization conditionals are only for use within the F# library - (Originally from FSComp.txt:671) + (Originally from FSComp.txt:672) This static member should not have a 'this' parameter. Consider using the notation 'member Member(args) = ...'. - (Originally from FSComp.txt:531) + (Originally from FSComp.txt:533) - Static value definitions may only be used in types with a primary constructor. Consider adding arguments to the type definition, e.g. 'type X(args) = ...'. - (Originally from FSComp.txt:752) + For F#7 and lower, static value definitions may only be used in types with a primary constructor ('type X(args) = ...'). To enable them in all other types, use language version 'preview'. + (Originally from FSComp.txt:753) Interfaces cannot contain definitions of static initializers - (Originally from FSComp.txt:717) + (Originally from FSComp.txt:718) A static initializer requires an argument - (Originally from FSComp.txt:529) + (Originally from FSComp.txt:531) A static field was used where an instance field is expected - (Originally from FSComp.txt:481) + (Originally from FSComp.txt:484) + + + + + Static bindings cannot be added to extrinsic augmentations. Consider using a 'static member' instead. + (Originally from FSComp.txt:1720) A simple method name is required here - (Originally from FSComp.txt:624) + (Originally from FSComp.txt:625) Cannot call '%s' - a setter for init-only property, please use object initialization instead. See https://aka.ms/fsharp-assigning-values-to-properties-at-initialization - (Originally from FSComp.txt:663) + (Originally from FSComp.txt:664) In sequence expressions, results are generated using 'yield' - (Originally from FSComp.txt:486) + (Originally from FSComp.txt:489) Array method '%s' is supplied by the runtime and cannot be directly used in code. For operations with array elements consider using family of GetArray/SetArray functions from LanguagePrimitives.IntrinsicFunctions module. - (Originally from FSComp.txt:1338) + (Originally from FSComp.txt:1346) Return values cannot have names - (Originally from FSComp.txt:492) + (Originally from FSComp.txt:495) Return types of union cases must be identical to the type being defined, up to abbreviations - (Originally from FSComp.txt:737) + (Originally from FSComp.txt:738) 'return' and 'return!' may not be used in queries - (Originally from FSComp.txt:1307) + (Originally from FSComp.txt:1315) Using resumable code or resumable state machines requires /langversion:preview - (Originally from FSComp.txt:1636) + (Originally from FSComp.txt:1656) Resumable code invocation. Suppress this warning if you are defining new low-level resumable code in terms of existing resumable code. - (Originally from FSComp.txt:1640) + (Originally from FSComp.txt:1660) Invalid resumable code. Any method of function accepting or returning resumable code must be marked 'inline' - (Originally from FSComp.txt:1632) + (Originally from FSComp.txt:1652) Invalid resumable code. A 'let rec' occured in the resumable code specification - (Originally from FSComp.txt:1635) + (Originally from FSComp.txt:1655) Invalid resumable code. Resumable code parameter must have name beginning with '__expand' - (Originally from FSComp.txt:1633) + (Originally from FSComp.txt:1653) Invalid resumable code. A resumable code parameter must be of delegate or function type - (Originally from FSComp.txt:1634) + (Originally from FSComp.txt:1654) 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 - (Originally from FSComp.txt:807) + (Originally from FSComp.txt:808) This is not a variable, constant, active recognizer or literal - (Originally from FSComp.txt:582) + (Originally from FSComp.txt:584) - The 'let! ... and! ...' construct may only be used if the computation expression builder defines either a '%s' method or appropriate 'MergeSource' and 'Bind' methods - (Originally from FSComp.txt:1518) + The 'let! ... and! ...' construct may only be used if the computation expression builder defines either a '%s' method or appropriate 'MergeSources' and 'Bind' methods + (Originally from FSComp.txt:1529) This control construct may only be used if the computation expression builder defines a '%s' method - (Originally from FSComp.txt:561) + (Originally from FSComp.txt:563) Only active patterns returning exactly one result may accept arguments - (Originally from FSComp.txt:574) + (Originally from FSComp.txt:576) The representation of this type is hidden by the signature. It must be given an attribute such as [<Sealed>], [<Class>] or [<Interface>] to indicate the characteristics of the type. - (Originally from FSComp.txt:786) + (Originally from FSComp.txt:787) Recursive bindings that include member specifications can only occur as a direct augmentation of a type - (Originally from FSComp.txt:724) + (Originally from FSComp.txt:725) Records, union, abbreviations and struct types cannot have the 'AllowNullLiteral' attribute - (Originally from FSComp.txt:782) + (Originally from FSComp.txt:783) This record contains fields from inconsistent types - (Originally from FSComp.txt:510) + (Originally from FSComp.txt:512) The 'rec' on this module is implied by an outer 'rec' declaration and is being ignored - (Originally from FSComp.txt:1371) + (Originally from FSComp.txt:1379) A property cannot have explicit type parameters. Consider using a method instead. - (Originally from FSComp.txt:525) + (Originally from FSComp.txt:527) This property or field was not found on this custom attribute type - (Originally from FSComp.txt:698) + (Originally from FSComp.txt:699) Property '%s' is static - (Originally from FSComp.txt:660) + (Originally from FSComp.txt:661) Property '%s' is not static - (Originally from FSComp.txt:657) + (Originally from FSComp.txt:658) Property '%s' is not readable - (Originally from FSComp.txt:658) + (Originally from FSComp.txt:659) Property '%s' cannot be set - (Originally from FSComp.txt:661) + (Originally from FSComp.txt:662) This property cannot be set - (Originally from FSComp.txt:697) + (Originally from FSComp.txt:698) The types System.ValueType, System.Enum, System.Delegate, System.MulticastDelegate and System.Array cannot be used as super types in an object expression or class - (Originally from FSComp.txt:625) + (Originally from FSComp.txt:626) The syntax '(expr1)[expr2]' is now reserved for indexing and is ambiguous when used as an argument. See https://aka.ms/fsharp-index-notation. If calling a function with multiple curried arguments, add a space between them, e.g. 'someFunction (expr1) [expr2]'. - (Originally from FSComp.txt:1584) + (Originally from FSComp.txt:1604) The syntax '(expr1)[expr2]' is ambiguous when used as an argument. See https://aka.ms/fsharp-index-notation. If you intend indexing or slicing then you must use '(expr1).[expr2]' in argument position. If calling a function with multiple curried arguments, add a space between them, e.g. 'someFunction (expr1) [expr2]'. - (Originally from FSComp.txt:1587) + (Originally from FSComp.txt:1607) A parameter with attributes must also be given a name, e.g. '[<Attribute>] Name : Type' - (Originally from FSComp.txt:491) + (Originally from FSComp.txt:494) The parameter '%s' was inferred to have byref type. Parameters of byref type must be given an explicit type annotation, e.g. 'x1: byref<int>'. When used, a byref parameter is implicitly dereferenced. - (Originally from FSComp.txt:1078) + (Originally from FSComp.txt:1082) You must explicitly declare either all or no type parameters when overriding a generic abstract method - (Originally from FSComp.txt:520) + (Originally from FSComp.txt:522) Accessibility modifiers are not permitted on overrides or interface implementations - (Originally from FSComp.txt:789) + (Originally from FSComp.txt:790) + + + + + This override takes a tuple instead of multiple arguments. Try to add an additional layer of parentheses at the method definition (e.g. 'member _.Foo((x, y))'), or remove parentheses at the abstract method declaration (e.g. 'abstract member Foo: 'a * 'b -> 'c'). + (Originally from FSComp.txt:1722) This override takes a different number of arguments to the corresponding abstract member. The following abstract members were found:%s - (Originally from FSComp.txt:709) + (Originally from FSComp.txt:710) One or more of the overloads of this method has curried arguments. Consider redesigning these members to take arguments in tupled form. - (Originally from FSComp.txt:669) + (Originally from FSComp.txt:670) The syntax 'expr1[expr2]' is now reserved for indexing and is ambiguous when used as an argument. See https://aka.ms/fsharp-index-notation. If calling a function with multiple curried arguments, add a space between them, e.g. 'someFunction expr1 [expr2]'. - (Originally from FSComp.txt:1586) + (Originally from FSComp.txt:1606) The syntax 'expr1[expr2]' is ambiguous when used as an argument. See https://aka.ms/fsharp-index-notation. If you intend indexing or slicing then you must use 'expr1.[expr2]' in argument position. If calling a function with multiple curried arguments, add a space between them, e.g. 'someFunction expr1 [expr2]'. - (Originally from FSComp.txt:1589) + (Originally from FSComp.txt:1609) Optional arguments cannot be used in custom attributes - (Originally from FSComp.txt:696) + (Originally from FSComp.txt:697) Optional arguments are only permitted on type members - (Originally from FSComp.txt:570) + (Originally from FSComp.txt:572) Optional arguments must come at the end of the argument list, after any non-optional arguments - (Originally from FSComp.txt:1103) + (Originally from FSComp.txt:1107) '%s' must be followed by 'in'. Usage: %s. - (Originally from FSComp.txt:1332) + (Originally from FSComp.txt:1340) Incorrect syntax for '%s'. Usage: %s. - (Originally from FSComp.txt:1260) + (Originally from FSComp.txt:1268) The operator '%s' does not accept the use of 'into' - (Originally from FSComp.txt:1294) + (Originally from FSComp.txt:1302) This declaration opens the namespace or module '%s' through a partially qualified path. Adjust this code to use the full path of the namespace. This change will make your code more robust as new constructs are added to the F# and CLI libraries. - (Originally from FSComp.txt:744) + (Originally from FSComp.txt:745) In a recursive declaration group, 'open' declarations must come first in each module - (Originally from FSComp.txt:1372) + (Originally from FSComp.txt:1380) Only types representing units-of-measure may be given the 'Measure' attribute - (Originally from FSComp.txt:788) + (Originally from FSComp.txt:789) Only structs and classes without primary constructors may be given the 'StructLayout' attribute - (Originally from FSComp.txt:785) + (Originally from FSComp.txt:786) Only simple variable patterns can be bound in 'let rec' constructs - (Originally from FSComp.txt:725) + (Originally from FSComp.txt:726) Only simple bindings of the form 'id = expr' can be used in construction expressions - (Originally from FSComp.txt:631) + (Originally from FSComp.txt:632) Mutable 'let' bindings can't be recursive or defined in recursive modules or namespaces - (Originally from FSComp.txt:726) + (Originally from FSComp.txt:727) Only functions may be marked 'inline' - (Originally from FSComp.txt:685) + (Originally from FSComp.txt:686) Only classes may be given the 'AbstractClass' attribute - (Originally from FSComp.txt:787) + (Originally from FSComp.txt:788) Objects must be initialized by an object construction expression that calls an inherited object constructor and assigns a value to each field - (Originally from FSComp.txt:632) + (Originally from FSComp.txt:633) The operator 'expr.[idx]' has been used on an object of indeterminate type based on information prior to this program point. Consider adding further type constraints - (Originally from FSComp.txt:605) + (Originally from FSComp.txt:606) Only overrides of abstract and virtual members may be specified in object expressions - (Originally from FSComp.txt:619) + (Originally from FSComp.txt:620) This form of object expression is not used in F#. Use 'member this.MemberName ... = ...' to define member implementations in object expressions. - (Originally from FSComp.txt:535) + (Originally from FSComp.txt:537) Calls to object constructors on type parameters cannot be given arguments - (Originally from FSComp.txt:607) + (Originally from FSComp.txt:608) Interfaces cannot contain definitions of object constructors - (Originally from FSComp.txt:718) + (Originally from FSComp.txt:719) An object constructor requires an argument - (Originally from FSComp.txt:530) + (Originally from FSComp.txt:532) Object construction expressions (i.e. record expressions with inheritance specifications) may only be used to implement constructors in object model types. Use 'new ObjectType(args)' to construct instances of object model types outside of constructors - (Originally from FSComp.txt:642) + (Originally from FSComp.txt:643) Object construction expressions may only be used to implement constructors in class types - (Originally from FSComp.txt:630) + (Originally from FSComp.txt:631) This numeric literal requires that a module '%s' defining functions FromZero, FromOne, FromInt32, FromInt64 and FromString be in scope - (Originally from FSComp.txt:638) + (Originally from FSComp.txt:639) This is not a valid name for an enumeration case - (Originally from FSComp.txt:598) + (Originally from FSComp.txt:599) This code is not sufficiently generic. The type variable %s could not be generalized because it would escape its scope. - (Originally from FSComp.txt:524) + (Originally from FSComp.txt:526) The value '%s' is not a function and does not support index notation. - (Originally from FSComp.txt:1573) + (Originally from FSComp.txt:1593) This expression is not a function and does not support index notation. - (Originally from FSComp.txt:1574) + (Originally from FSComp.txt:1594) Not an exception - (Originally from FSComp.txt:772) + (Originally from FSComp.txt:773) This value supports indexing, e.g. '%s.[index]'. The syntax '%s[index]' requires /langversion:preview. See https://aka.ms/fsharp-index-notation. - (Originally from FSComp.txt:1571) + (Originally from FSComp.txt:1591) This expression supports indexing, e.g. 'expr.[index]'. The syntax 'expr[index]' requires /langversion:preview. See https://aka.ms/fsharp-index-notation. - (Originally from FSComp.txt:1572) + (Originally from FSComp.txt:1592) Non-zero constants cannot have generic units. For generic zero, write 0.0<_>. - (Originally from FSComp.txt:485) + (Originally from FSComp.txt:488) The generic member '%s' has been used at a non-uniform instantiation prior to this program point. Consider reordering the members so this member occurs first. Alternatively, specify the full type of the member explicitly, including argument types, return type and any additional generic parameters and constraints. - (Originally from FSComp.txt:1079) + (Originally from FSComp.txt:1083) This 'let' definition may not be used in a query. Only simple value definitions may be used in queries. - (Originally from FSComp.txt:1310) + (Originally from FSComp.txt:1318) This value is not a literal and cannot be used in a pattern - (Originally from FSComp.txt:543) + (Originally from FSComp.txt:545) 'while' expressions may not be used in queries - (Originally from FSComp.txt:1303) + (Originally from FSComp.txt:1311) 'try/finally' expressions may not be used in queries - (Originally from FSComp.txt:1304) + (Originally from FSComp.txt:1312) No abstract property was found that corresponds to this override - (Originally from FSComp.txt:712) + (Originally from FSComp.txt:713) No abstract or interface member was found that corresponds to this override - (Originally from FSComp.txt:708) + (Originally from FSComp.txt:709) Interface implementations cannot be given on construction expressions - (Originally from FSComp.txt:629) + (Originally from FSComp.txt:630) In queries, use the form 'for x in n .. m do ...' for ranging over integers - (Originally from FSComp.txt:1302) + (Originally from FSComp.txt:1310) The struct, record or union type '%s' does not support structural equality because the type '%s' does not satisfy the 'equality' constraint. Consider adding the 'NoEquality' attribute to the type '%s' to clarify that the type does not support structural equality - (Originally from FSComp.txt:1060) + (Originally from FSComp.txt:1064) The struct, record or union type '%s' does not support structural equality because the type parameter %s does not satisfy the 'equality' constraint. Consider adding the 'NoEquality' attribute to the type '%s' to clarify that the type does not support structural equality - (Originally from FSComp.txt:1059) + (Originally from FSComp.txt:1063) Using methods with 'NoEagerConstraintApplicationAttribute' requires /langversion:6.0 or later - (Originally from FSComp.txt:1637) + (Originally from FSComp.txt:1657) The struct, record or union type '%s' is not structurally comparable because the type '%s' does not satisfy the 'comparison' constraint. Consider adding the 'NoComparison' attribute to the type '%s' to clarify that the type is not comparable - (Originally from FSComp.txt:1058) + (Originally from FSComp.txt:1062) The struct, record or union type '%s' is not structurally comparable because the type parameter %s does not satisfy the 'comparison' constraint. Consider adding the 'NoComparison' attribute to the type '%s' to clarify that the type is not comparable - (Originally from FSComp.txt:1057) + (Originally from FSComp.txt:1061) No arguments may be given when constructing a record value - (Originally from FSComp.txt:628) + (Originally from FSComp.txt:629) The member '%s' does not correspond to any abstract or virtual method available to override or implement. - (Originally from FSComp.txt:620) + (Originally from FSComp.txt:621) 'new' may only be used with object constructors - (Originally from FSComp.txt:636) + (Originally from FSComp.txt:637) 'new' must be used with a named type - (Originally from FSComp.txt:626) + (Originally from FSComp.txt:627) This new member hides the abstract member '%s' once tuples, functions, units of measure and/or provided types are erased. Rename the member or use 'override' instead. - (Originally from FSComp.txt:716) + (Originally from FSComp.txt:717) This new member hides the abstract member '%s'. Rename the member or use 'override' instead. - (Originally from FSComp.txt:715) + (Originally from FSComp.txt:716) 'new' cannot be used on interface types. Consider using an object expression '{ new ... with ... }' instead. - (Originally from FSComp.txt:611) + (Originally from FSComp.txt:612) Namespaces cannot contain values. Consider using a module to hold your value declarations. - (Originally from FSComp.txt:494) + (Originally from FSComp.txt:41) Namespaces cannot contain extension members except in the same file and namespace declaration group where the type is defined. Consider using a module to hold declarations of extension members. - (Originally from FSComp.txt:495) + (Originally from FSComp.txt:497) '%s' may only be used with named types - (Originally from FSComp.txt:609) + (Originally from FSComp.txt:610) Named arguments cannot be given to member trait calls - (Originally from FSComp.txt:597) + (Originally from FSComp.txt:598) The named argument '%s' did not match any argument or mutable property - (Originally from FSComp.txt:668) + (Originally from FSComp.txt:669) %s is an active pattern and cannot be treated as a discriminated union case with named fields. - (Originally from FSComp.txt:1381) + (Originally from FSComp.txt:1389) Name '%s' not bound in pattern context - (Originally from FSComp.txt:571) + (Originally from FSComp.txt:573) Named arguments must appear after all other arguments - (Originally from FSComp.txt:545) + (Originally from FSComp.txt:547) Mutable function values should be written 'let mutable f = (fun args -> ...)' - (Originally from FSComp.txt:684) + (Originally from FSComp.txt:685) Mutable values cannot have generic parameters - (Originally from FSComp.txt:683) + (Originally from FSComp.txt:684) Mutable values cannot be marked 'inline' - (Originally from FSComp.txt:682) + (Originally from FSComp.txt:683) Multiple visibility attributes have been specified for this identifier. 'let' bindings in classes are always private, as are any 'let' bindings inside expressions. - (Originally from FSComp.txt:497) + (Originally from FSComp.txt:499) Multiple visibility attributes have been specified for this identifier - (Originally from FSComp.txt:496) + (Originally from FSComp.txt:498) + + + + + Multiple type matches were found:\n%s\nThe type '%s' was used. Due to the overlapping field names\n%s\nconsider using type annotations or change the order of open statements. + (Originally from FSComp.txt:1712) + + + + + The field '%s' appears multiple times in this record expression or pattern + (Originally from FSComp.txt:524) This declaration opens the module '%s', which is marked as 'RequireQualifiedAccess'. Adjust your code to use qualified references to the elements of the module instead, e.g. 'List.map' instead of 'map'. This change will ensure that your code is robust as new constructs are added to libraries. - (Originally from FSComp.txt:743) + (Originally from FSComp.txt:744) The path '%s' is a namespace. A module abbreviation may not abbreviate a namespace. - (Originally from FSComp.txt:816) + (Originally from FSComp.txt:817) In a recursive declaration group, module abbreviations must come after all 'open' declarations and before other declarations - (Originally from FSComp.txt:1373) + (Originally from FSComp.txt:1381) The following required properties have to be initalized:%s - (Originally from FSComp.txt:1668) + (Originally from FSComp.txt:1688) A custom query operation for '%s' is required but not specified - (Originally from FSComp.txt:1230) + (Originally from FSComp.txt:1238) Method overrides and interface implementations are not permitted here - (Originally from FSComp.txt:707) + (Originally from FSComp.txt:708) Method '%s' is not accessible from this code location - (Originally from FSComp.txt:482) + (Originally from FSComp.txt:485) 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. - (Originally from FSComp.txt:808) + (Originally from FSComp.txt:809) The member '%s' is used in an invalid way. A use of '%s' has been inferred prior to the definition of '%s', which is an invalid forward reference. - (Originally from FSComp.txt:818) + (Originally from FSComp.txt:819) Interfaces cannot contain definitions of member overrides - (Originally from FSComp.txt:719) + (Originally from FSComp.txt:720) Extension members cannot provide operator overloads. Consider defining the operator as part of the type definition instead. - (Originally from FSComp.txt:1105) + (Originally from FSComp.txt:1109) This member is not permitted in an interface implementation - (Originally from FSComp.txt:760) + (Originally from FSComp.txt:761) SynMemberKind.PropertyGetSet only expected in parse trees - (Originally from FSComp.txt:493) + (Originally from FSComp.txt:496) This member is not sufficiently generic - (Originally from FSComp.txt:727) + (Originally from FSComp.txt:728) The type %s contains the member '%s' but it is not a virtual or abstract method that is available to override or implement. - (Originally from FSComp.txt:621) + (Originally from FSComp.txt:622) A member and a local class binding both have the name '%s' - (Originally from FSComp.txt:754) + (Originally from FSComp.txt:755) Measure definitions cannot have type parameters - (Originally from FSComp.txt:777) + (Originally from FSComp.txt:778) Measure declarations may have only static members: constructors are not available - (Originally from FSComp.txt:753) + (Originally from FSComp.txt:754) Measure declarations may have only static members - (Originally from FSComp.txt:749) + (Originally from FSComp.txt:750) 'match' expressions may not be used in queries - (Originally from FSComp.txt:1329) + (Originally from FSComp.txt:1337) This lookup cannot be used here - (Originally from FSComp.txt:659) + (Originally from FSComp.txt:660) Local class bindings cannot be marked inline. Consider lifting the definition out of the class or else do not mark it as inline. - (Originally from FSComp.txt:745) + (Originally from FSComp.txt:746) Cannot assign '%s' to a value marked literal - (Originally from FSComp.txt:1578) + (Originally from FSComp.txt:1598) Cannot assign a value to another value marked literal - (Originally from FSComp.txt:1579) + (Originally from FSComp.txt:1599) This literal pattern does not take arguments - (Originally from FSComp.txt:1361) + (Originally from FSComp.txt:1369) Literal values cannot have generic parameters - (Originally from FSComp.txt:689) + (Originally from FSComp.txt:690) A literal value cannot be marked 'mutable' - (Originally from FSComp.txt:687) + (Originally from FSComp.txt:688) A literal value cannot be marked 'inline' - (Originally from FSComp.txt:688) + (Originally from FSComp.txt:689) A declaration may only be the [<Literal>] attribute if a constant value is also given, e.g. 'val x: int = 1' - (Originally from FSComp.txt:728) + (Originally from FSComp.txt:729) A [<Literal>] declaration cannot use an active pattern for its identifier - (Originally from FSComp.txt:1629) + (Originally from FSComp.txt:1649) The syntax '[expr1][expr2]' is now reserved for indexing and is ambiguous when used as an argument. See https://aka.ms/fsharp-index-notation. If calling a function with multiple curried arguments, add a space between them, e.g. 'someFunction [expr1] [expr2]'. - (Originally from FSComp.txt:1585) + (Originally from FSComp.txt:1605) The syntax '[expr1][expr2]' is ambiguous when used as an argument. See https://aka.ms/fsharp-index-notation. If you intend indexing or slicing then you must use '(expr1).[expr2]' in argument position. If calling a function with multiple curried arguments, add a space between them, e.g. 'someFunction [expr1] [expr2]'. - (Originally from FSComp.txt:1588) + (Originally from FSComp.txt:1608) This list expression exceeds the maximum size for list literals. Use an array for larger literals and call Array.ToList. - (Originally from FSComp.txt:595) + (Originally from FSComp.txt:596) This definition may only be used in a type with a primary constructor. Consider adding arguments to your type definition, e.g. 'type X(args) = ...'. - (Originally from FSComp.txt:814) + (Originally from FSComp.txt:815) This code is less generic than required by its annotations because the explicit type variable '%s' could not be generalized. It was constrained to be '%s'. - (Originally from FSComp.txt:514) + (Originally from FSComp.txt:516) The kind of the type specified by its attributes does not match the kind implied by its definition - (Originally from FSComp.txt:776) + (Originally from FSComp.txt:777) In queries, '%s' must use a simple pattern - (Originally from FSComp.txt:1229) + (Originally from FSComp.txt:1237) A type annotated with IsReadOnly must also be a struct. Consider adding the [<Struct>] attribute to the type. - (Originally from FSComp.txt:1495) + (Originally from FSComp.txt:1506) Invalid use of a type name - (Originally from FSComp.txt:653) + (Originally from FSComp.txt:654) Invalid use of reverse index in list expression. - (Originally from FSComp.txt:1580) + (Originally from FSComp.txt:1600) Invalid use of an interface type - (Originally from FSComp.txt:655) + (Originally from FSComp.txt:656) Invalid use of a delegate constructor. Use the syntax 'new Type(args)' or just 'Type(args)'. - (Originally from FSComp.txt:656) + (Originally from FSComp.txt:657) The 'UseNullAsTrueValue' attribute flag may only be used with union types that have one nullary case and at least one non-nullary case - (Originally from FSComp.txt:1077) + (Originally from FSComp.txt:1081) 'use' bindings must be of the form 'use <var> = <expr>' - (Originally from FSComp.txt:705) + (Originally from FSComp.txt:706) use! may not be combined with and! - (Originally from FSComp.txt:1520) + (Originally from FSComp.txt:1531) 'use!' bindings must be of the form 'use! <var> = <expr>' - (Originally from FSComp.txt:1112) + (Originally from FSComp.txt:1116) Units-of-measure cannot be used as prefix arguments to a type. Rewrite as postfix arguments in angle brackets. - (Originally from FSComp.txt:559) + (Originally from FSComp.txt:561) Units-of-measure are only supported on float, float32, decimal, and integer types. - (Originally from FSComp.txt:488) + (Originally from FSComp.txt:491) Literal enumerations must have type int, uint, int16, uint16, int64, uint64, byte, sbyte or char - (Originally from FSComp.txt:804) + (Originally from FSComp.txt:805) Invalid type extension - (Originally from FSComp.txt:774) + (Originally from FSComp.txt:775) Type arguments cannot be specified here - (Originally from FSComp.txt:573) + (Originally from FSComp.txt:575) The number of type arguments did not match: '%d' given, '%d' expected. This may be related to a previously reported error. - (Originally from FSComp.txt:1223) + (Originally from FSComp.txt:1231) The use of '[<Struct>]' on values, functions and methods is only allowed on partial active pattern definitions - (Originally from FSComp.txt:1613) + (Originally from FSComp.txt:1633) Invalid signature for set member - (Originally from FSComp.txt:714) + (Originally from FSComp.txt:715) Invalid record, sequence or computation expression. Sequence expressions should be of the form 'seq { ... }' - (Originally from FSComp.txt:592) + (Originally from FSComp.txt:593) Invalid constraint. Valid constraint forms include \"'T :> ISomeInterface\" for interface constraints and \"SomeConstrainingType<'T>\" for self-constraints. See https://aka.ms/fsharp-type-constraints. - (Originally from FSComp.txt:1663) + (Originally from FSComp.txt:1683) The construct '%s' may only be used in valid resumable code. - (Originally from FSComp.txt:1631) + (Originally from FSComp.txt:1651) Invalid join relation in '%s'. Expected 'expr <op> expr', where <op> is =, =?, ?= or ?=?. - (Originally from FSComp.txt:1287) + (Originally from FSComp.txt:1295) Invalid record construction - (Originally from FSComp.txt:639) + (Originally from FSComp.txt:640) This property has an invalid type. Properties taking multiple indexer arguments should have types of the form 'ty1 * ty2 -> ty3'. Properties returning functions should have types of the form '(ty1 -> ty2)'. - (Originally from FSComp.txt:554) + (Originally from FSComp.txt:556) This is not a valid pattern - (Originally from FSComp.txt:583) + (Originally from FSComp.txt:585) Invalid optional assignment to a property or field - (Originally from FSComp.txt:673) + (Originally from FSComp.txt:674) The '%s' operator should not normally be redefined. To define overloaded comparison semantics for a particular type, implement the 'System.IComparable' interface in the definition of that type. - (Originally from FSComp.txt:502) + (Originally from FSComp.txt:504) The '%s' operator should not normally be redefined. To define equality semantics for a type, override the 'Object.Equals' member in the definition of that type. - (Originally from FSComp.txt:503) + (Originally from FSComp.txt:505) The '%s' operator should not normally be redefined. Consider using a different operator name - (Originally from FSComp.txt:504) + (Originally from FSComp.txt:506) Invalid object, sequence or record expression - (Originally from FSComp.txt:591) + (Originally from FSComp.txt:592) Invalid object expression. Objects without overrides or interfaces should use the expression form 'new Type(args)' without braces. - (Originally from FSComp.txt:590) + (Originally from FSComp.txt:591) This is not a valid object construction expression. Explicit object constructors must either call an alternate constructor or initialize all fields of the object and specify a call to a super class constructor. - (Originally from FSComp.txt:549) + (Originally from FSComp.txt:551) Non-primitive numeric literal constants cannot be used in pattern matches because they can be mapped to multiple different types through the use of a NumericLiteral module. Consider using replacing with a variable, and use 'when <variable> = <constant>' at the end of the match clause. - (Originally from FSComp.txt:572) + (Originally from FSComp.txt:574) 'new' constraints must take one argument of type 'unit' and return the constructed type - (Originally from FSComp.txt:553) + (Originally from FSComp.txt:555) Invalid namespace, module, type or union case name - (Originally from FSComp.txt:735) + (Originally from FSComp.txt:736) Invalid module name - (Originally from FSComp.txt:773) + (Originally from FSComp.txt:774) This recursive binding uses an invalid mixture of recursive forms - (Originally from FSComp.txt:548) + (Originally from FSComp.txt:550) The name '(%s)' should not be used as a member name. To define comparison semantics for a type, implement the 'System.IComparable' interface. If defining a static member for use from other CLI languages then use the name '%s' instead. - (Originally from FSComp.txt:498) + (Originally from FSComp.txt:500) The name '(%s)' should not be used as a member name. To define equality semantics for a type, override the 'Object.Equals' member. If defining a static member for use from other CLI languages then use the name '%s' instead. - (Originally from FSComp.txt:499) + (Originally from FSComp.txt:501) The name '(%s)' should not be used as a member name because it is given a standard definition in the F# library over fixed types - (Originally from FSComp.txt:501) + (Originally from FSComp.txt:503) Invalid member name. Members may not have name '.ctor' or '.cctor' - (Originally from FSComp.txt:1221) + (Originally from FSComp.txt:1229) The name '(%s)' should not be used as a member name. If defining a static member for use from other CLI languages then use the name '%s' instead. - (Originally from FSComp.txt:500) + (Originally from FSComp.txt:502) Invalid member declaration. The name of the member is missing or has parentheses. - (Originally from FSComp.txt:1656) + (Originally from FSComp.txt:1676) Invalid inline specification - (Originally from FSComp.txt:704) + (Originally from FSComp.txt:705) Incomplete expression or invalid use of indexer syntax - (Originally from FSComp.txt:604) + (Originally from FSComp.txt:605) The '%s' operator cannot be redefined. Consider using a different operator name - (Originally from FSComp.txt:505) + (Originally from FSComp.txt:507) Internal error. Invalid index into active pattern array - (Originally from FSComp.txt:576) + (Originally from FSComp.txt:578) This is not a valid value for an enumeration literal - (Originally from FSComp.txt:738) + (Originally from FSComp.txt:739) An 'enum' constraint must be of the form 'enum<type>' - (Originally from FSComp.txt:552) + (Originally from FSComp.txt:554) Delegate specifications must be of the form 'typ -> typ' - (Originally from FSComp.txt:802) + (Originally from FSComp.txt:803) Invalid declaration - (Originally from FSComp.txt:536) + (Originally from FSComp.txt:538) Invalid constraint: the type used for the constraint is sealed, which means the constraint could only be satisfied by at most one solution - (Originally from FSComp.txt:551) + (Originally from FSComp.txt:553) Invalid constraint - (Originally from FSComp.txt:550) + (Originally from FSComp.txt:552) This is not a valid constant expression - (Originally from FSComp.txt:690) + (Originally from FSComp.txt:691) Invalid assignment - (Originally from FSComp.txt:652) + (Originally from FSComp.txt:653) Invalid argument to parameterized pattern label - (Originally from FSComp.txt:575) + (Originally from FSComp.txt:577) Invalid alignment in interpolated string - (Originally from FSComp.txt:1599) + (Originally from FSComp.txt:1619) This is not a valid name for an active pattern - (Originally from FSComp.txt:680) + (Originally from FSComp.txt:681) A use of 'into' must be followed by the remainder of the computation - (Originally from FSComp.txt:1293) + (Originally from FSComp.txt:1301) Mismatch in interpolated string. Interpolated strings may not use '%%' format specifiers unless each is given an expression, e.g. '%%d{1+1}' - (Originally from FSComp.txt:1598) + (Originally from FSComp.txt:1618) Interfaces inherited by other interfaces should be declared using 'inherit ...' instead of 'interface ...' - (Originally from FSComp.txt:1094) + (Originally from FSComp.txt:1098) Interface types cannot be sealed - (Originally from FSComp.txt:801) + (Originally from FSComp.txt:802) Interface types and delegate types cannot contain fields - (Originally from FSComp.txt:796) + (Originally from FSComp.txt:797) This instance member needs a parameter to represent the object being invoked. Make the member static or use the notation 'member x.Member(args) = ...'. - (Originally from FSComp.txt:527) + (Originally from FSComp.txt:529) The 'InlineIfLambda' attribute may only be used on parameters of inlined functions of methods whose type is a function or F# delegate type. - (Originally from FSComp.txt:1654) + (Originally from FSComp.txt:1674) Init-only property '%s' cannot be set outside the initialization code. See https://aka.ms/fsharp-assigning-values-to-properties-at-initialization - (Originally from FSComp.txt:662) + (Originally from FSComp.txt:663) The inherited type is not an object model type - (Originally from FSComp.txt:641) + (Originally from FSComp.txt:642) A inheritance declaration is not permitted here - (Originally from FSComp.txt:742) + (Originally from FSComp.txt:743) This 'inherit' declaration specifies the inherited type but no arguments. Consider supplying arguments, e.g. 'inherit BaseType(args)'. - (Originally from FSComp.txt:812) + (Originally from FSComp.txt:813) This 'inherit' declaration has arguments, but is not in a type with a primary constructor. Consider adding arguments to your type definition, e.g. 'type X(args) = ...'. - (Originally from FSComp.txt:813) + (Originally from FSComp.txt:814) 'inherit' cannot be used on interface types. Consider implementing the interface by using 'interface ... with ... end' instead. - (Originally from FSComp.txt:610) + (Originally from FSComp.txt:611) + + + + + This is a function definition that shadows a union case. If this is what you want, ignore or suppress this warning. If you want it to be a union case deconstruction, add parentheses. + (Originally from FSComp.txt:1727) The function or member '%s' is used in a way that requires further type annotations at its definition to ensure consistency of inferred types. The inferred signature is '%s'. - (Originally from FSComp.txt:1222) + (Originally from FSComp.txt:1230) The syntax 'arr.[idx]' is now revised to 'arr[idx]'. Please update your code. - (Originally from FSComp.txt:1582) + (Originally from FSComp.txt:1602) Implicit product of measures following / - (Originally from FSComp.txt:483) + (Originally from FSComp.txt:486) This expression uses the implicit conversion '%s' to convert type '%s' to type '%s'. See https://aka.ms/fsharp-implicit-convs. This warning may be disabled using '#nowarn \"3391\". - (Originally from FSComp.txt:1617) + (Originally from FSComp.txt:1644) This expression uses the implicit conversion '%s' to convert type '%s' to type '%s'. - (Originally from FSComp.txt:1628) + (Originally from FSComp.txt:1648) The struct, record or union type '%s' implements the interface 'System.IStructuralEquatable' explicitly. Apply the 'CustomEquality' attribute to the type. - (Originally from FSComp.txt:765) + (Originally from FSComp.txt:766) The struct, record or union type '%s' implements the interface 'System.IStructuralComparable' explicitly. Apply the 'CustomComparison' attribute to the type. - (Originally from FSComp.txt:509) + (Originally from FSComp.txt:511) The struct, record or union type '%s' implements the interface 'System.IEquatable<_>' explicitly. Apply the 'CustomEquality' attribute to the type and provide a consistent implementation of the non-generic override 'System.Object.Equals(obj)'. - (Originally from FSComp.txt:766) + (Originally from FSComp.txt:767) The struct, record or union type '%s' implements the interface 'System.IComparable' explicitly. You must apply the 'CustomComparison' attribute to the type. - (Originally from FSComp.txt:507) + (Originally from FSComp.txt:509) The struct, record or union type '%s' implements the interface 'System.IComparable<_>' explicitly. You must apply the 'CustomComparison' attribute to the type, and should also provide a consistent implementation of the non-generic interface System.IComparable. - (Originally from FSComp.txt:508) + (Originally from FSComp.txt:510) Illegal syntax in type expression - (Originally from FSComp.txt:565) + (Originally from FSComp.txt:567) This is not valid literal expression. The [<Literal>] attribute will be ignored. - (Originally from FSComp.txt:1347) + (Originally from FSComp.txt:1355) Illegal pattern - (Originally from FSComp.txt:585) + (Originally from FSComp.txt:586) Explicit type declarations for constructors must be of the form 'ty1 * ... * tyN -> resTy'. Parentheses may be required around 'resTy' - (Originally from FSComp.txt:736) + (Originally from FSComp.txt:737) Byref types are not allowed in an open type declaration. - (Originally from FSComp.txt:1512) + (Originally from FSComp.txt:1523) A literal value cannot be given the [<ThreadStatic>] or [<ContextStatic>] attributes - (Originally from FSComp.txt:686) + (Originally from FSComp.txt:687) An if/then/else expression may not be used within queries. Consider using either an if/then expression, or use a sequence expression instead. - (Originally from FSComp.txt:1250) + (Originally from FSComp.txt:1258) It is recommended that objects supporting the IDisposable interface are created using the syntax 'new Type(args)', rather than 'Type(args)' or 'Type' as a function value representing the constructor, to indicate that resources may be owned by the generated value - (Originally from FSComp.txt:613) + (Originally from FSComp.txt:614) The syntax 'expr1[expr2]' is now reserved for indexing. See https://aka.ms/fsharp-index-notation. If calling a function, add a space between the function and argument, e.g. 'someFunction [expr]'. - (Originally from FSComp.txt:1583) + (Originally from FSComp.txt:1603) The syntax 'expr1[expr2]' is used for indexing. Consider adding a type annotation to enable indexing, or if calling a function add a space, e.g. 'expr1 [expr2]'. - (Originally from FSComp.txt:1581) + (Originally from FSComp.txt:1601) The system type '%s' was required but no referenced system DLL contained this type - (Originally from FSComp.txt:1383) + (Originally from FSComp.txt:1391) Generic types cannot be given the 'StructLayout' attribute - (Originally from FSComp.txt:784) + (Originally from FSComp.txt:785) A generic type parameter has been used in a way that constrains it to always be '%s' - (Originally from FSComp.txt:516) + (Originally from FSComp.txt:518) The provided types generated by this use of a type provider may not be used from other F# assemblies and should be marked internal or private. Consider using 'type internal TypeName = ...' or 'type private TypeName = ...'. - (Originally from FSComp.txt:1336) + (Originally from FSComp.txt:1344) The generic function '%s' must be given explicit type argument(s) - (Originally from FSComp.txt:538) + (Originally from FSComp.txt:540) This function value is being used to construct a delegate type whose signature includes a byref argument. You must use an explicit lambda expression taking %d arguments. - (Originally from FSComp.txt:546) + (Originally from FSComp.txt:548) The corresponding formal argument is not optional - (Originally from FSComp.txt:672) + (Originally from FSComp.txt:673) - Invalid use of 'fixed'. 'fixed' may only be used in a declaration of the form 'use x = fixed expr' where the expression is an array, the address of a field, the address of an array element or a string' - (Originally from FSComp.txt:1378) + Invalid use of 'fixed'. 'fixed' may only be used in a declaration of the form 'use x = fixed expr' where the expression is one of the following: an array, the address of an array element, a string, a byref, an inref, or a type implementing GetPinnableReference() + (Originally from FSComp.txt:1386) The field labels and expected type of this record expression or pattern do not uniquely determine a corresponding record type - (Originally from FSComp.txt:521) + (Originally from FSComp.txt:523) A field/val declaration is not permitted here - (Originally from FSComp.txt:741) + (Originally from FSComp.txt:742) This field requires a name - (Originally from FSComp.txt:734) + (Originally from FSComp.txt:735) No assignment given for field '%s' of type '%s' - (Originally from FSComp.txt:617) + (Originally from FSComp.txt:618) This field is not a literal and cannot be used in a pattern - (Originally from FSComp.txt:581) + (Originally from FSComp.txt:583) Named field '%s' is used more than once. - (Originally from FSComp.txt:1344) + (Originally from FSComp.txt:1352) Named field '%s' conflicts with autogenerated name for anonymous field. - (Originally from FSComp.txt:1345) + (Originally from FSComp.txt:1353) This field is readonly - (Originally from FSComp.txt:544) + (Originally from FSComp.txt:546) Field '%s' is not static - (Originally from FSComp.txt:580) + (Originally from FSComp.txt:582) This field is not mutable - (Originally from FSComp.txt:599) - - - - - The field '%s' appears twice in this record expression or pattern - (Originally from FSComp.txt:522) + (Originally from FSComp.txt:600) All record, union and struct types in FSharp.Core.dll must be explicitly labelled with 'StructuralComparison' or 'NoComparison' - (Originally from FSComp.txt:1054) + (Originally from FSComp.txt:1058) Extraneous fields have been given values - (Originally from FSComp.txt:618) + (Originally from FSComp.txt:619) This list or array expression includes an element of the form 'if ... then ... else'. Parenthesize this expression to indicate it is an individual element of the list or array, to disambiguate this from a list generated using a sequence expression - (Originally from FSComp.txt:593) + (Originally from FSComp.txt:594) This expression form may only be used in sequence and computation expressions - (Originally from FSComp.txt:589) + (Originally from FSComp.txt:590) The expression form { expr with ... } may only be used with record types. To build object types use { new Type(...) with ... } - (Originally from FSComp.txt:640) + (Originally from FSComp.txt:641) The expression form 'expr then expr' may only be used as part of an explicit object constructor - (Originally from FSComp.txt:596) + (Originally from FSComp.txt:597) Expected %d expressions, got %d - (Originally from FSComp.txt:587) + (Originally from FSComp.txt:588) TcExprUndelayed: delayed - (Originally from FSComp.txt:588) + (Originally from FSComp.txt:589) Explicit type specifications cannot be used for exception constructors - (Originally from FSComp.txt:767) + (Originally from FSComp.txt:768) Explicit type parameters may only be used on module or member bindings - (Originally from FSComp.txt:519) + (Originally from FSComp.txt:521) An explicit static initializer should use the syntax 'static new(args) = expr' - (Originally from FSComp.txt:532) + (Originally from FSComp.txt:534) An explicit object constructor should use the syntax 'new(args) = expr' - (Originally from FSComp.txt:533) + (Originally from FSComp.txt:535) Expected unit-of-measure, not type - (Originally from FSComp.txt:558) + (Originally from FSComp.txt:560) Expected unit-of-measure parameter, not type parameter. Explicit unit-of-measure parameters must be marked with the [<Measure>] attribute. - (Originally from FSComp.txt:555) + (Originally from FSComp.txt:557) Expected type parameter, not unit-of-measure parameter - (Originally from FSComp.txt:556) + (Originally from FSComp.txt:558) Expected type, not unit-of-measure - (Originally from FSComp.txt:557) + (Originally from FSComp.txt:559) Expected an interface type - (Originally from FSComp.txt:633) + (Originally from FSComp.txt:634) Expected module or namespace parent %s - (Originally from FSComp.txt:506) + (Originally from FSComp.txt:508) The exception '%s' does not have a field named '%s'. - (Originally from FSComp.txt:1340) + (Originally from FSComp.txt:1348) Exception abbreviations should not have argument lists - (Originally from FSComp.txt:768) + (Originally from FSComp.txt:769) Exception abbreviations must refer to existing exceptions or F# types deriving from System.Exception - (Originally from FSComp.txt:770) + (Originally from FSComp.txt:771) Event '%s' is static - (Originally from FSComp.txt:666) + (Originally from FSComp.txt:667) Event '%s' is not static - (Originally from FSComp.txt:667) + (Originally from FSComp.txt:668) Enumerations cannot have members - (Originally from FSComp.txt:748) + (Originally from FSComp.txt:749) Enumerations cannot have interface declarations - (Originally from FSComp.txt:756) + (Originally from FSComp.txt:757) The type '%s' is not a valid enumerator type , i.e. does not have a 'MoveNext()' method returning a bool, and a 'Current' property - (Originally from FSComp.txt:1114) + (Originally from FSComp.txt:1118) The 'EntryPointAttribute' attribute may only be used on function definitions in modules - (Originally from FSComp.txt:681) + (Originally from FSComp.txt:682) '{ }' is not a valid expression. Records must include at least one field. Empty sequences are specified by using Seq.empty or an empty list '[]'. - (Originally from FSComp.txt:643) + (Originally from FSComp.txt:644) Copy-and-update record expressions must include at least one field. - (Originally from FSComp.txt:1334) + (Originally from FSComp.txt:1342) Duplicate specification of an interface - (Originally from FSComp.txt:740) + (Originally from FSComp.txt:741) The method or function '%s' should not be given explicit type argument(s) because it does not declare its type parameters explicitly - (Originally from FSComp.txt:539) + (Originally from FSComp.txt:541) 'do!' cannot be used within sequence expressions - (Originally from FSComp.txt:648) + (Originally from FSComp.txt:649) DLLImport stubs cannot be inlined - (Originally from FSComp.txt:511) + (Originally from FSComp.txt:513) DLLImport bindings must be static members in a class or function definitions in a module - (Originally from FSComp.txt:1108) + (Originally from FSComp.txt:1112) Delegate specifications must not be curried types. Use 'typ * ... * typ -> typ' for multi-argument delegates, and 'typ -> (typ -> typ)' for delegates returning function values. - (Originally from FSComp.txt:803) + (Originally from FSComp.txt:804) A delegate constructor must be passed a single function value - (Originally from FSComp.txt:674) + (Originally from FSComp.txt:675) The 'DefaultValue' attribute may only be used on 'val' declarations - (Originally from FSComp.txt:678) + (Originally from FSComp.txt:679) The default, zero-initializing constructor of a struct type may only be used if all the fields of the struct type admit default initialization - (Originally from FSComp.txt:541) + (Originally from FSComp.txt:543) A default implementation of this interface has already been added because the explicit implementation of the interface was not specified at the definition of the type - (Originally from FSComp.txt:759) + (Originally from FSComp.txt:760) This method already has a default implementation - (Originally from FSComp.txt:710) + (Originally from FSComp.txt:711) The method implemented by this default is ambiguous - (Originally from FSComp.txt:711) + (Originally from FSComp.txt:712) One or more of the declared type parameters for this type extension have a missing or wrong type constraint not matching the original type constraints on '%s' - (Originally from FSComp.txt:809) + (Originally from FSComp.txt:810) This declaration element is not permitted in an augmentation - (Originally from FSComp.txt:761) + (Originally from FSComp.txt:762) '%s' is not used correctly. Usage: %s. This is a custom operation in this query or computation expression. - (Originally from FSComp.txt:1255) + (Originally from FSComp.txt:1263) '%s' is not used correctly. This is a custom operation in this query or computation expression. - (Originally from FSComp.txt:1254) + (Originally from FSComp.txt:1262) A custom operation may not be used in conjunction with a non-value or recursive 'let' binding in another part of this computation expression - (Originally from FSComp.txt:1236) + (Originally from FSComp.txt:1244) A custom operation may not be used in conjunction with 'use', 'try/with', 'try/finally', 'if/then/else' or 'match' operators within this computation expression - (Originally from FSComp.txt:1237) + (Originally from FSComp.txt:1245) The custom operation '%s' refers to a method which is overloaded. The implementations of custom operations may not be overloaded. - (Originally from FSComp.txt:1238) + (Originally from FSComp.txt:1246) The definition of the custom operator '%s' does not use a valid combination of attribute flags - (Originally from FSComp.txt:1295) + (Originally from FSComp.txt:1303) '%s' is used with an incorrect number of arguments. This is a custom operation in this query or computation expression. Expected %d argument(s), but given %d. - (Originally from FSComp.txt:1262) + (Originally from FSComp.txt:1270) A custom attribute must invoke an object constructor - (Originally from FSComp.txt:701) + (Originally from FSComp.txt:702) A custom attribute must be a reference type - (Originally from FSComp.txt:699) + (Originally from FSComp.txt:700) The number of args for a custom attribute does not match the expected number of args for the attribute constructor - (Originally from FSComp.txt:700) + (Originally from FSComp.txt:701) Could not find method System.Runtime.CompilerServices.OffsetToStringData in references when building 'fixed' expression. - (Originally from FSComp.txt:1379) + (Originally from FSComp.txt:1387) Couldn't find Dispose on IDisposable, or it was overloaded - (Originally from FSComp.txt:542) + (Originally from FSComp.txt:544) This copy-and-update record expression changes all fields of record type '%s'. Consider using the record construction syntax instead. - (Originally from FSComp.txt:1684) + (Originally from FSComp.txt:1704) The input to a copy-and-update expression that creates an anonymous record must be either an anonymous record or a record - (Originally from FSComp.txt:1507) + (Originally from FSComp.txt:1518) Constructors are not permitted as extension members - they must be defined as part of the original definition of the type - (Originally from FSComp.txt:1362) + (Originally from FSComp.txt:1370) Constructors cannot be defined for this type - (Originally from FSComp.txt:723) + (Originally from FSComp.txt:724) Constructors cannot be specified in exception augmentations - (Originally from FSComp.txt:721) + (Originally from FSComp.txt:722) Constructors must be applied to arguments and cannot be used as first-class values. If necessary use an anonymous function '(fun arg1 ... argN -> new Type(arg1,...,argN))'. - (Originally from FSComp.txt:664) + (Originally from FSComp.txt:665) Constructors for the type '%s' must directly or indirectly call its implicit object constructor. Use a call to the implicit object constructor instead of a record expression. - (Originally from FSComp.txt:615) + (Originally from FSComp.txt:616) This object constructor requires arguments - (Originally from FSComp.txt:635) + (Originally from FSComp.txt:636) Constructor expressions for interfaces do not take arguments - (Originally from FSComp.txt:634) + (Originally from FSComp.txt:635) The constructor does not have a field named '%s'. - (Originally from FSComp.txt:1342) + (Originally from FSComp.txt:1350) A constructor cannot have explicit type parameters. Consider using a static construction method instead. - (Originally from FSComp.txt:526) + (Originally from FSComp.txt:528) This construct may only be used within sequence or computation expressions - (Originally from FSComp.txt:602) + (Originally from FSComp.txt:603) This construct may only be used within list, array and sequence expressions, e.g. expressions of the form 'seq { ... }', '[ ... ]' or '[| ... |]'. These use the syntax 'for ... in ... do ... yield...' to generate elements - (Originally from FSComp.txt:600) + (Originally from FSComp.txt:601) This construct may only be used within computation expressions. To return a value from an ordinary function simply write the expression without 'return'. - (Originally from FSComp.txt:601) + (Originally from FSComp.txt:602) This construct may only be used within computation expressions - (Originally from FSComp.txt:603) + (Originally from FSComp.txt:604) This construct is ambiguous as part of a sequence expression. Nested expressions may be written using 'let _ = (...)' and nested sequences using 'yield! seq {... }'. - (Originally from FSComp.txt:647) + (Originally from FSComp.txt:648) This construct is ambiguous as part of a computation expression. Nested expressions may be written using 'let _ = (...)' and nested computations using 'let! res = builder { ... }'. - (Originally from FSComp.txt:646) + (Originally from FSComp.txt:647) One or more of the explicit class or function type variables for this binding could not be generalized, because they were constrained to other types - (Originally from FSComp.txt:515) + (Originally from FSComp.txt:517) Attribute 'System.Diagnostics.ConditionalAttribute' is only valid on methods or attribute classes - (Originally from FSComp.txt:1104) + (Originally from FSComp.txt:1108) The 'ConditionalAttribute' attribute may only be used on members - (Originally from FSComp.txt:679) + (Originally from FSComp.txt:680) Interfaces cannot contain definitions of concrete instance members. You may need to define a constructor on your type to indicate that the type is a class. - (Originally from FSComp.txt:720) + (Originally from FSComp.txt:721) The 'CompiledName' attribute cannot be used with this language element - (Originally from FSComp.txt:608) + (Originally from FSComp.txt:609) Cannot partially apply the extension method '%s' because the first parameter is a byref type. - (Originally from FSComp.txt:1503) + (Originally from FSComp.txt:1514) Cannot override inherited member '%s' because it is sealed - (Originally from FSComp.txt:1224) + (Originally from FSComp.txt:1232) Cannot inherit from a variable type - (Originally from FSComp.txt:606) + (Originally from FSComp.txt:607) Cannot inherit a sealed type - (Originally from FSComp.txt:798) + (Originally from FSComp.txt:799) Cannot inherit from interface type. Use interface ... with instead. - (Originally from FSComp.txt:799) + (Originally from FSComp.txt:800) Cannot inherit from erased provided type - (Originally from FSComp.txt:1219) + (Originally from FSComp.txt:1227) Cannot create an extension of a sealed type - (Originally from FSComp.txt:627) + (Originally from FSComp.txt:628) - Cannot call the byref extension method '%s. The first parameter requires the value to be mutable or a non-readonly byref type. - (Originally from FSComp.txt:1501) + Cannot call the byref extension method '%s. 'this' parameter requires the value to be mutable or a non-readonly byref type. + (Originally from FSComp.txt:1512) Cannot call an abstract base member: '%s' - (Originally from FSComp.txt:1081) + (Originally from FSComp.txt:1085) '%s' must be applied to an argument of type '%s', but has been applied to an argument of type '%s' - (Originally from FSComp.txt:1123) + (Originally from FSComp.txt:1127) '%s' can only be applied to optional arguments - (Originally from FSComp.txt:1124) + (Originally from FSComp.txt:1128) Byref types are not allowed to have optional type extensions. - (Originally from FSComp.txt:1502) + (Originally from FSComp.txt:1513) A byref pointer returned by a function or method is implicitly dereferenced as of F# 4.5. To acquire the return value as a pointer, use the address-of operator, e.g. '&f(x)' or '&obj.Method(arg1, arg2)'. - (Originally from FSComp.txt:1490) + (Originally from FSComp.txt:1501) A type annotated with IsByRefLike must also be a struct. Consider adding the [<Struct>] attribute to the type. - (Originally from FSComp.txt:1491) + (Originally from FSComp.txt:1502) This expression uses a built-in implicit conversion to convert type '%s' to type '%s'. See https://aka.ms/fsharp-implicit-convs. - (Originally from FSComp.txt:1616) + (Originally from FSComp.txt:1636) A binding cannot be marked both 'use' and 'rec' - (Originally from FSComp.txt:675) + (Originally from FSComp.txt:676) 'let!', 'use!' and 'do!' expressions may not be used in queries - (Originally from FSComp.txt:1306) + (Originally from FSComp.txt:1314) '%s' must be followed by a variable name. Usage: %s. - (Originally from FSComp.txt:1259) + (Originally from FSComp.txt:1267) '%s' must come after a 'for' selection clause and be followed by the rest of the query. Syntax: ... %s ... - (Originally from FSComp.txt:1261) + (Originally from FSComp.txt:1269) 'member val' definitions are only permitted in types with a primary constructor. Consider adding arguments to your type definition, e.g. 'type X(args) = ...'. - (Originally from FSComp.txt:1297) + (Originally from FSComp.txt:1305) Attributes cannot be applied to type extensions. - (Originally from FSComp.txt:1508) + (Originally from FSComp.txt:1519) The attributes of this type specify multiple kinds for the type - (Originally from FSComp.txt:775) + (Originally from FSComp.txt:776) Attributes are not allowed within patterns - (Originally from FSComp.txt:537) + (Originally from FSComp.txt:539) Attributes are not permitted on 'let' bindings in expressions - (Originally from FSComp.txt:677) + (Originally from FSComp.txt:678) This attribute is not valid for use on this language element. Assembly attributes should be attached to a 'do ()' declaration, if necessary within an F# module. - (Originally from FSComp.txt:694) + (Originally from FSComp.txt:695) This attribute is not valid for use on this language element - (Originally from FSComp.txt:695) + (Originally from FSComp.txt:696) Attribute expressions must be calls to object constructors - (Originally from FSComp.txt:702) + (Originally from FSComp.txt:703) The attribute 'AutoOpen(\"%s\")' in the assembly '%s' did not refer to a valid module or namespace in that assembly and has been ignored - (Originally from FSComp.txt:819) + (Originally from FSComp.txt:820) The attribute '%s' appears in both the implementation and the signature, but the attribute arguments differ. Only the attribute from the signature will be included in the compiled code. - (Originally from FSComp.txt:1080) + (Originally from FSComp.txt:1084) At least one override did not correctly implement its corresponding abstract member - (Originally from FSComp.txt:637) + (Originally from FSComp.txt:638) The member '%s' does not accept the correct number of arguments. One overload accepts %d arguments, but %d were given. The required signature is '%s'.%s - (Originally from FSComp.txt:623) + (Originally from FSComp.txt:624) The member '%s' does not accept the correct number of arguments. %d argument(s) are expected, but %d were given. The required signature is '%s'.%s - (Originally from FSComp.txt:622) + (Originally from FSComp.txt:623) Anonymous unit-of-measure cannot be nested inside another unit-of-measure expression - (Originally from FSComp.txt:566) + (Originally from FSComp.txt:568) Anonymous type variables are not permitted in this declaration - (Originally from FSComp.txt:567) + (Originally from FSComp.txt:569) The field '%s' appears multiple times in this anonymous record type. - (Originally from FSComp.txt:1658) + (Originally from FSComp.txt:1678) - + - Invalid Anonymous Record type declaration. - (Originally from FSComp.txt:1389) + This anonymous record has an extra field. Remove field '%s'. + (Originally from FSComp.txt:1400) - + - This anonymous record has too many fields. Remove the extra fields %s. - (Originally from FSComp.txt:1393) + This anonymous record is missing field '%s'. + (Originally from FSComp.txt:1398) - + - This anonymous record does not have enough fields. Add the missing fields %s. - (Originally from FSComp.txt:1392) + This anonymous record should have field '%s' but here has field '%s'. + (Originally from FSComp.txt:1402) - + - This anonymous record does not exactly match the expected shape. Add the missing fields %s and remove the extra fields %s. - (Originally from FSComp.txt:1391) + This anonymous record should have field '%s' but here has fields %s. + (Originally from FSComp.txt:1403) - + - This is the wrong anonymous record. It should have the fields %s. - (Originally from FSComp.txt:1394) + This anonymous record has extra fields. Remove fields %s. + (Originally from FSComp.txt:1401) + + + + + This anonymous record is missing fields %s. + (Originally from FSComp.txt:1399) + + + + + This anonymous record should have fields %s; but here has field '%s'. + (Originally from FSComp.txt:1404) + + + + + This anonymous record should have fields %s; but here has fields %s. + (Originally from FSComp.txt:1405) + + + + + Invalid Anonymous Record type declaration. + (Originally from FSComp.txt:1395) + + + + + This anonymous record does not exactly match the expected shape. Add the missing fields %s and remove the extra fields %s. + (Originally from FSComp.txt:1397) The field '%s' appears multiple times in this record expression. - (Originally from FSComp.txt:1657) + (Originally from FSComp.txt:1677) Two anonymous record types are from different assemblies '%s' and '%s' - (Originally from FSComp.txt:1390) + (Originally from FSComp.txt:1396) This feature is not supported in this version of F#. You may need to add /langversion:preview to use this feature. - (Originally from FSComp.txt:1519) + (Originally from FSComp.txt:1530) This expression has type '%s' and is only made compatible with type '%s' through an ambiguous implicit conversion. Consider using an explicit call to 'op_Implicit'. The applicable implicit conversions are:%s - (Originally from FSComp.txt:1614) + (Originally from FSComp.txt:1634) + + + + + The meaning of _ is ambiguous here. It cannot be used for a discarded variable and a function shorthand in the same scope. + (Originally from FSComp.txt:1716) Types with the 'AllowNullLiteral' attribute may only inherit from or implement types which also allow the use of the null literal - (Originally from FSComp.txt:783) + (Originally from FSComp.txt:784) All implemented interfaces should be declared on the initial declaration of the type - (Originally from FSComp.txt:758) + (Originally from FSComp.txt:759) Active patterns do not have fields. This syntax is invalid. - (Originally from FSComp.txt:1341) + (Originally from FSComp.txt:1349) Instances of this type cannot be created since it has been marked abstract or not all methods have been given implementations. Consider using an object expression '{ new ... with ... }' instead. - (Originally from FSComp.txt:612) + (Originally from FSComp.txt:613) This property overrides or implements an abstract property but the abstract property doesn't have a corresponding %s - (Originally from FSComp.txt:713) + (Originally from FSComp.txt:714) Abstract members are not permitted in an augmentation - they must be defined as part of the type itself - (Originally from FSComp.txt:706) + (Originally from FSComp.txt:707) Abbreviations for Common IL exception types must have a matching object constructor - (Originally from FSComp.txt:771) + (Originally from FSComp.txt:772) Abbreviations for Common IL exceptions cannot take arguments - (Originally from FSComp.txt:769) + (Originally from FSComp.txt:770) Abbreviated types cannot be given the 'Sealed' attribute - (Originally from FSComp.txt:797) + (Originally from FSComp.txt:798) F# supports array ranks between 1 and 32. The value %d is not allowed. - (Originally from FSComp.txt:1301) + (Originally from FSComp.txt:1309) A value must be mutable in order to mutate the contents or take the address of a value type, e.g. 'let mutable x = ...' - (Originally from FSComp.txt:91) + (Originally from FSComp.txt:94) A value defined in a module must be mutable in order to take its address, e.g. 'let mutable x = ...' - (Originally from FSComp.txt:1494) + (Originally from FSComp.txt:1505) The value has been copied to ensure the original is not mutated by this operation or because the copy is implicit when returning a struct from a member and another member is then accessed - (Originally from FSComp.txt:93) + (Originally from FSComp.txt:96) This value does not have a valid property setter type - (Originally from FSComp.txt:87) + (Originally from FSComp.txt:90) Unexpected decode of InternalsVisibleToAttribute - (Originally from FSComp.txt:98) + (Originally from FSComp.txt:101) Unexpected decode of InterfaceDataVersionAttribute - (Originally from FSComp.txt:99) + (Originally from FSComp.txt:102) Unexpected decode of AutoOpenAttribute - (Originally from FSComp.txt:97) + (Originally from FSComp.txt:100) Unexpected use of a byref-typed variable - (Originally from FSComp.txt:90) + (Originally from FSComp.txt:93) The module/namespace '%s' from compilation unit '%s' did not contain the val '%s' - (Originally from FSComp.txt:1075) + (Originally from FSComp.txt:1079) The module/namespace '%s' from compilation unit '%s' did not contain the namespace, module or type '%s' - (Originally from FSComp.txt:1076) + (Originally from FSComp.txt:1080) The module/namespace '%s' from compilation unit '%s' did not contain the module/namespace '%s' - (Originally from FSComp.txt:1074) + (Originally from FSComp.txt:1078) The type/module '%s' is not a concrete module or type - (Originally from FSComp.txt:79) + (Originally from FSComp.txt:82) The type '%s' has an inline assembly code representation - (Originally from FSComp.txt:80) + (Originally from FSComp.txt:83) Two modules named '%s' occur in two parts of this assembly - (Originally from FSComp.txt:83) + (Originally from FSComp.txt:86) Recursively defined values cannot appear directly as part of the construction of a tuple value within a recursive binding - (Originally from FSComp.txt:94) + (Originally from FSComp.txt:97) Recursive values cannot be directly assigned to the non-mutable field '%s' of the type '%s' within a recursive binding. Consider using a mutable field instead. - (Originally from FSComp.txt:96) + (Originally from FSComp.txt:99) Recursive values cannot appear directly as a construction of the type '%s' within a recursive binding. This feature has been removed from the F# language. Consider using a record instead. - (Originally from FSComp.txt:95) + (Originally from FSComp.txt:98) This is not a valid constant expression or custom attribute value - (Originally from FSComp.txt:101) + (Originally from FSComp.txt:104) A namespace and a module named '%s' both occur in two parts of this assembly - (Originally from FSComp.txt:82) + (Originally from FSComp.txt:85) Invalid mutation of a constant expression. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...'. - (Originally from FSComp.txt:92) + (Originally from FSComp.txt:95) Invalid member signature encountered because of an earlier error - (Originally from FSComp.txt:86) + (Originally from FSComp.txt:89) Invalid form for a property setter. At least one argument is required. - (Originally from FSComp.txt:89) + (Originally from FSComp.txt:92) Invalid form for a property getter. At least one '()' argument is required when using the explicit syntax. - (Originally from FSComp.txt:88) + (Originally from FSComp.txt:91) This operation accesses a mutable top-level value defined in another assembly in an unsupported way. The value cannot be accessed through its address. Consider copying the expression to a mutable local, e.g. 'let mutable x = ...', and if necessary assigning the value back after the completion of the operation - (Originally from FSComp.txt:1070) + (Originally from FSComp.txt:1074) Two type definitions named '%s' occur in namespace '%s' in two parts of this assembly - (Originally from FSComp.txt:84) + (Originally from FSComp.txt:87) This literal expression or attribute argument results in an arithmetic overflow. - (Originally from FSComp.txt:1346) + (Originally from FSComp.txt:1354) A module and a type definition named '%s' occur in namespace '%s' in two parts of this assembly - (Originally from FSComp.txt:85) + (Originally from FSComp.txt:88) Cannot take the address of the value returned from the expression. Assign the returned value to a let-bound value before taking the address. - (Originally from FSComp.txt:1500) + (Originally from FSComp.txt:1511) Active patterns cannot return more than 7 possibilities - (Originally from FSComp.txt:100) + (Originally from FSComp.txt:103) + + + + + (Suggested name) + (Originally from FSComp.txt:968) The struct or class field '%s' is not accessible from this code location - (Originally from FSComp.txt:973) + (Originally from FSComp.txt:977) Source file is too large to embed in a portable PDB - (Originally from FSComp.txt:870) + (Originally from FSComp.txt:873) @@ -3754,1369 +3820,1399 @@ The .NET SDK for this script could not be determined. If the script is in a directory using a 'global.json' then ensure the relevant .NET SDK is installed. Unexpected error '%s'. - (Originally from FSComp.txt:1611) + (Originally from FSComp.txt:1631) The .NET SDK for this script could not be determined. dotnet.exe could not be found ensure a .NET SDK is installed. - (Originally from FSComp.txt:1612) + (Originally from FSComp.txt:1632) The .NET SDK for this script could not be determined. If the script is in a directory using a 'global.json' then ensure the relevant .NET SDK is installed. The output from '%s --version' in the directory '%s' was: '%s' and the exit code was '%d'. - (Originally from FSComp.txt:1610) + (Originally from FSComp.txt:1630) Consider using 'return!' instead of 'return'. - (Originally from FSComp.txt:36) + (Originally from FSComp.txt:37) This state machine is not statically compilable and no alternative is available. %s. Use an 'if __useResumableCode then <state-machine> else <alternative>' to give an alternative. - (Originally from FSComp.txt:1639) + (Originally from FSComp.txt:1659) This state machine is not statically compilable. %s. An alternative dynamic implementation will be used, which may be slower. Consider adjusting your code to ensure this state machine is statically compilable, or else suppress this warning. - (Originally from FSComp.txt:1638) + (Originally from FSComp.txt:1658) The state machine has an unexpected form - (Originally from FSComp.txt:1651) + (Originally from FSComp.txt:1671) The resumable code value(s) '%s' does not have a definition - (Originally from FSComp.txt:1649) + (Originally from FSComp.txt:1669) A resumable code invocation at '%s' could not be reduced - (Originally from FSComp.txt:1642) + (Originally from FSComp.txt:1662) A delegate or function producing resumable code in a state machine has type parameters - (Originally from FSComp.txt:1650) + (Originally from FSComp.txt:1670) A try/finally may not contain resumption points - (Originally from FSComp.txt:1646) + (Originally from FSComp.txt:1666) The 'with' block of a try/with may not contain resumption points - (Originally from FSComp.txt:1647) + (Originally from FSComp.txt:1667) A 'let rec' occured in the resumable code specification - (Originally from FSComp.txt:1643) + (Originally from FSComp.txt:1663) A fast integer for loop may not contain resumption points - (Originally from FSComp.txt:1648) + (Originally from FSComp.txt:1668) A target label for __resumeAt was not statically determined. A __resumeAt with a non-static target label may only appear at the start of a resumable code method - (Originally from FSComp.txt:1645) + (Originally from FSComp.txt:1665) A constrained generic construct occured in the resumable code specification - (Originally from FSComp.txt:1644) + (Originally from FSComp.txt:1664) Replace with '%s' - (Originally from FSComp.txt:19) + (Originally from FSComp.txt:20) Recursive class hierarchy in type '%s' - (Originally from FSComp.txt:965) + (Originally from FSComp.txt:969) A ReadOnly attribute has been applied to a struct type with a mutable field. - (Originally from FSComp.txt:1489) + (Originally from FSComp.txt:1500) Unexpected token '%s' in preprocessor expression - (Originally from FSComp.txt:1353) + (Originally from FSComp.txt:1361) Missing token '%s' in preprocessor expression - (Originally from FSComp.txt:1355) + (Originally from FSComp.txt:1363) Incomplete preprocessor expression - (Originally from FSComp.txt:1354) + (Originally from FSComp.txt:1362) Unexpected character '%s' in preprocessor expression - (Originally from FSComp.txt:1352) + (Originally from FSComp.txt:1360) Expected single line comment or end of line - (Originally from FSComp.txt:1050) + (Originally from FSComp.txt:1054) #i is not supported by the registered PackageManagers - (Originally from FSComp.txt:1517) + (Originally from FSComp.txt:1528) An error occurred while reading the F# metadata of assembly '%s'. A reserved construct was utilized. You may need to upgrade your F# compiler or use an earlier version of the assembly that doesn't make use of a specific construct. - (Originally from FSComp.txt:1483) + (Originally from FSComp.txt:1494) An error occurred while reading the F# metadata node at position %d in table '%s' of assembly '%s'. The node had no matching declaration. Please report this warning. You may need to recompile the F# assembly you are using. - (Originally from FSComp.txt:1356) + (Originally from FSComp.txt:1364) + + + + + Newly added pickle state cannot be used in FSharp.Core, since it must be working in older compilers+tooling as well. The time window is at least 3 years after feature introduction. Violation: %s . Context: \n %s + (Originally from FSComp.txt:1721) Error reading/writing metadata for the F# compiled DLL '%s'. Was the DLL compiled with an earlier version of the F# compiler? (error: '%s'). - (Originally from FSComp.txt:78) + (Originally from FSComp.txt:81) A pattern match guard must be of type 'bool', but this 'when' expression is of type '%s'. - (Originally from FSComp.txt:32) + (Originally from FSComp.txt:33) Problem with filename '%s': Illegal characters in path. - (Originally from FSComp.txt:1162) + (Originally from FSComp.txt:1170) Partial active patterns may only generate one result - (Originally from FSComp.txt:983) + (Originally from FSComp.txt:987) Missing variable '%s' - (Originally from FSComp.txt:982) + (Originally from FSComp.txt:986) Missing 'do' in 'while' expression. Expected 'while <expr> do <expr>'. - (Originally from FSComp.txt:1285) + (Originally from FSComp.txt:1293) Accessibility modifiers are not permitted on an 'inherits' declaration - (Originally from FSComp.txt:429) + (Originally from FSComp.txt:433) Accessibility modifiers should come immediately prior to the identifier naming a construct - (Originally from FSComp.txt:400) + (Originally from FSComp.txt:404) 'use' bindings are not permitted in modules and are treated as 'let' bindings - (Originally from FSComp.txt:393) + (Originally from FSComp.txt:397) 'use' bindings are not permitted in primary constructors - (Originally from FSComp.txt:392) + (Originally from FSComp.txt:396) Unmatched 'with' or badly formatted 'with' block - (Originally from FSComp.txt:416) + (Originally from FSComp.txt:420) Incomplete value definition. If this is in an expression, the body of the expression must be indented to the same column as the 'use!' keyword. - (Originally from FSComp.txt:1283) + (Originally from FSComp.txt:1291) Incomplete value definition. If this is in an expression, the body of the expression must be indented to the same column as the 'use' keyword. - (Originally from FSComp.txt:1284) + (Originally from FSComp.txt:1292) Unmatched '(' - (Originally from FSComp.txt:443) + (Originally from FSComp.txt:446) Incomplete value definition. If this is in an expression, the body of the expression must be indented to the same column as the 'let!' keyword. - (Originally from FSComp.txt:1282) + (Originally from FSComp.txt:1290) Incomplete value or function definition. If this is in an expression, the body of the expression must be indented to the same column as the 'let' keyword. - (Originally from FSComp.txt:1281) + (Originally from FSComp.txt:1289) Unmatched '[<'. Expected closing '>]' - (Originally from FSComp.txt:1265) + (Originally from FSComp.txt:1273) Unmatched 'class', 'interface' or 'struct' - (Originally from FSComp.txt:414) + (Originally from FSComp.txt:418) Unmatched '[|' - (Originally from FSComp.txt:459) + (Originally from FSComp.txt:462) Unmatched '[' - (Originally from FSComp.txt:454) + (Originally from FSComp.txt:457) Unmatched '{|' - (Originally from FSComp.txt:461) + (Originally from FSComp.txt:464) Unmatched '{' - (Originally from FSComp.txt:460) + (Originally from FSComp.txt:463) Unmatched 'begin' or 'struct' - (Originally from FSComp.txt:407) + (Originally from FSComp.txt:411) Unmatched 'begin' - (Originally from FSComp.txt:419) + (Originally from FSComp.txt:423) Unmatched '%s' - (Originally from FSComp.txt:458) + (Originally from FSComp.txt:461) Accessibility modifiers are not permitted on union cases. Use 'type U = internal ...' or 'type U = private ...' to give an accessibility to the whole representation. - (Originally from FSComp.txt:438) + (Originally from FSComp.txt:441) Unexpected token '%s' or incomplete expression - (Originally from FSComp.txt:1321) + (Originally from FSComp.txt:1329) Accessibility modifiers are not permitted here, but '%s' was given. - (Originally from FSComp.txt:398) + (Originally from FSComp.txt:402) Unexpected symbol '=' in expression. Did you intend to use 'for x in y .. z do' instead? - (Originally from FSComp.txt:1386) + (Originally from FSComp.txt:1394) Unexpected symbol '.' in member definition. Expected 'with', '=' or other token. - (Originally from FSComp.txt:437) + (Originally from FSComp.txt:40) A semicolon is not expected at this point - (Originally from FSComp.txt:396) + (Originally from FSComp.txt:400) Unexpected quotation operator '<@' in type definition. If you intend to pass a verbatim string as a static argument to a type provider, put a space between the '<' and '@' characters. - (Originally from FSComp.txt:1120) + (Originally from FSComp.txt:1124) Unexpected infix operator in unit-of-measure expression. Legal operators are '*', '/' and '^'. - (Originally from FSComp.txt:469) + (Originally from FSComp.txt:472) Unexpected integer literal in unit-of-measure expression - (Originally from FSComp.txt:470) + (Originally from FSComp.txt:473) Unexpected infix operator in type expression - (Originally from FSComp.txt:466) + (Originally from FSComp.txt:469) Unexpected identifier: '%s' - (Originally from FSComp.txt:436) + (Originally from FSComp.txt:440) Unexpected end of input in 'match' or 'try' expression - (Originally from FSComp.txt:1270) + (Originally from FSComp.txt:1278) Unexpected end of input in 'while' expression. Expected 'while <expr> do <expr>'. - (Originally from FSComp.txt:1268) + (Originally from FSComp.txt:1276) Unexpected end of input in type signature - (Originally from FSComp.txt:1275) + (Originally from FSComp.txt:1283) Unexpected end of input in type definition - (Originally from FSComp.txt:1276) + (Originally from FSComp.txt:1284) Unexpected end of input in type arguments - (Originally from FSComp.txt:1274) + (Originally from FSComp.txt:1282) Unexpected end of input in 'try' expression. Expected 'try <expr> with <rules>' or 'try <expr> finally <expr>'. - (Originally from FSComp.txt:1267) + (Originally from FSComp.txt:1275) Unexpected end of input in 'then' branch of conditional expression. Expected 'if <expr> then <expr>' or 'if <expr> then <expr> else <expr>'. - (Originally from FSComp.txt:1271) + (Originally from FSComp.txt:1279) Unexpected end of input in object members - (Originally from FSComp.txt:1277) + (Originally from FSComp.txt:1285) Unexpected end of input in 'match' expression. Expected 'match <expr> with | <pat> -> <expr> | <pat> -> <expr> ...'. - (Originally from FSComp.txt:1266) + (Originally from FSComp.txt:1274) Unexpected end of input in body of lambda expression. Expected 'fun <pat> ... <pat> -> <expr>'. - (Originally from FSComp.txt:1273) + (Originally from FSComp.txt:1281) Unexpected end of input in 'for' expression. Expected 'for <pat> in <expr> do <expr>'. - (Originally from FSComp.txt:1269) + (Originally from FSComp.txt:1277) Unexpected end of input in expression - (Originally from FSComp.txt:1279) + (Originally from FSComp.txt:1287) Unexpected end of input in 'else' branch of conditional expression. Expected 'if <expr> then <expr>' or 'if <expr> then <expr> else <expr>'. - (Originally from FSComp.txt:1272) + (Originally from FSComp.txt:1280) Unexpected end of input in 'else if' or 'elif' branch of conditional expression. Expected 'elif <expr> then <expr>' or 'else if <expr> then <expr>'. - (Originally from FSComp.txt:1686) + (Originally from FSComp.txt:1706) Unexpected end of input in value, function or member definition - (Originally from FSComp.txt:1278) + (Originally from FSComp.txt:1286) Unexpected end of input - (Originally from FSComp.txt:397) + (Originally from FSComp.txt:401) Unexpected empty type moduleDefn list - (Originally from FSComp.txt:409) + (Originally from FSComp.txt:413) '_' cannot be used as field name - (Originally from FSComp.txt:1335) + (Originally from FSComp.txt:1343) + + + + + _. shorthand syntax for lambda functions can only be used with atomic expressions. That means expressions with no whitespace unless enclosed in parentheses. + (Originally from FSComp.txt:1717) Unclosed block - (Originally from FSComp.txt:406) + (Originally from FSComp.txt:410) Type name cannot be empty. - (Originally from FSComp.txt:1323) + (Originally from FSComp.txt:1331) Type annotations on property getters and setters must be given after the 'get()' or 'set(v)', e.g. 'with get() : string = ...' - (Originally from FSComp.txt:422) + (Originally from FSComp.txt:426) Accessibility modifiers are not permitted in this position for type abbreviations - (Originally from FSComp.txt:432) + (Originally from FSComp.txt:436) The syntax 'module ... = struct .. end' is not used in F# code. Consider using 'module ... = begin .. end' - (Originally from FSComp.txt:479) + (Originally from FSComp.txt:482) The syntax 'module ... : sig .. end' is not used in F# code. Consider using 'module ... = begin .. end' - (Originally from FSComp.txt:480) + (Originally from FSComp.txt:483) Syntax error in labelled type argument - (Originally from FSComp.txt:465) + (Originally from FSComp.txt:468) Syntax error - (Originally from FSComp.txt:412) + (Originally from FSComp.txt:416) Successive patterns should be separated by spaces or tupled - (Originally from FSComp.txt:444) + (Originally from FSComp.txt:447) Successive arguments should be separated by spaces or tupled, and arguments involving function or method applications should be parenthesized - (Originally from FSComp.txt:453) + (Originally from FSComp.txt:456) A setter property may have at most two argument groups - (Originally from FSComp.txt:1067) + (Originally from FSComp.txt:1071) Property setters must be defined using 'set value = ', 'set idx value = ' or 'set (idx1,...,idxN) value = ... ' - (Originally from FSComp.txt:425) + (Originally from FSComp.txt:429) Accessibility modifiers are not permitted on record fields. Use 'type R = internal ...' or 'type R = private ...' to give an accessibility to the whole representation. - (Originally from FSComp.txt:441) + (Originally from FSComp.txt:444) In F# code you may use 'expr.[expr]'. A type annotation may be required to indicate the first expression is an array - (Originally from FSComp.txt:456) + (Originally from FSComp.txt:459) At most one 'with' augmentation is permitted - (Originally from FSComp.txt:395) + (Originally from FSComp.txt:399) Only '#' compiler directives may occur prior to the first 'namespace' declaration - (Originally from FSComp.txt:399) + (Originally from FSComp.txt:403) Only class types may take value arguments - (Originally from FSComp.txt:418) + (Originally from FSComp.txt:422) The use of the type syntax 'int C' and 'C <int>' is not permitted here. Consider adjusting this type to be written in the form 'C<int>' - (Originally from FSComp.txt:1073) + (Originally from FSComp.txt:1077) Remove spaces between the type name and type parameter, e.g. \"type C<'T>\", not type \"C <'T>\". Type parameters must be placed directly adjacent to the type name. - (Originally from FSComp.txt:1071) + (Originally from FSComp.txt:1075) Remove spaces between the type name and type parameter, e.g. \"C<'T>\", not \"C <'T>\". Type parameters must be placed directly adjacent to the type name. - (Originally from FSComp.txt:1072) + (Originally from FSComp.txt:1076) No matching 'in' found for this 'let' - (Originally from FSComp.txt:445) + (Originally from FSComp.txt:448) No #endif found for #if or #else - (Originally from FSComp.txt:390) + (Originally from FSComp.txt:394) No '=' symbol should follow a 'namespace' declaration - (Originally from FSComp.txt:478) + (Originally from FSComp.txt:481) This member access is ambiguous. Please use parentheses around the object creation, e.g. '(new SomeType(args)).MemberName' - (Originally from FSComp.txt:1627) + (Originally from FSComp.txt:1647) Files should begin with either a namespace or module declaration, e.g. 'namespace SomeNamespace.SubNamespace' or 'module SomeNamespace.SomeModule', but not both. To define a module within a namespace use 'module SomeModule = ...' - (Originally from FSComp.txt:401) + (Originally from FSComp.txt:405) To indicate that this property can be set, use 'member val PropertyName = expr with get,set'. - (Originally from FSComp.txt:1299) + (Originally from FSComp.txt:1307) Property definitions may not be declared mutable. To indicate that this property can be set, use 'member val PropertyName = expr with get,set'. - (Originally from FSComp.txt:1298) + (Originally from FSComp.txt:1306) - Multiple accessibilities given for property getter or setter - (Originally from FSComp.txt:424) + When the visibility for a property is specified, setting the visibility of the set or get method is not allowed. + (Originally from FSComp.txt:428) The syntax '(typ,...,typ) ident' is not used in F# code. Consider using 'ident<typ,...,typ>' instead - (Originally from FSComp.txt:467) + (Originally from FSComp.txt:470) A module name must be a simple name, not a path - (Originally from FSComp.txt:408) + (Originally from FSComp.txt:412) A module abbreviation must be a simple name, not a path - (Originally from FSComp.txt:402) + (Originally from FSComp.txt:406) Missing union case name - (Originally from FSComp.txt:1688) + (Originally from FSComp.txt:1708) Expected type argument or static argument - (Originally from FSComp.txt:1118) + (Originally from FSComp.txt:1122) Missing qualification after '.' - (Originally from FSComp.txt:455) + (Originally from FSComp.txt:458) + + + + + Expecting member body + (Originally from FSComp.txt:1713) + + + + + Missing keyword '%s' + (Originally from FSComp.txt:1714) Unmatched '<'. Expected closing '>' - (Originally from FSComp.txt:1119) + (Originally from FSComp.txt:1123) Missing function body - (Originally from FSComp.txt:464) + (Originally from FSComp.txt:467) Mismatched quotation, beginning with '%s' - (Originally from FSComp.txt:457) + (Originally from FSComp.txt:460) Mismatched quotation operator name, beginning with '%s' - (Originally from FSComp.txt:472) + (Originally from FSComp.txt:475) This member is not permitted in an object implementation - (Originally from FSComp.txt:463) + (Originally from FSComp.txt:466) The declaration form 'let ... and ...' for non-recursive bindings is not used in F# code. Consider using a sequence of 'let' bindings - (Originally from FSComp.txt:442) + (Originally from FSComp.txt:445) Invalid use of 'rec' keyword - (Originally from FSComp.txt:1375) + (Originally from FSComp.txt:1383) Invalid property getter or setter - (Originally from FSComp.txt:1068) + (Originally from FSComp.txt:1072) Invalid operator definition. Prefix operator definitions must use a valid prefix operator name. - (Originally from FSComp.txt:1096) + (Originally from FSComp.txt:1100) Invalid prefix operator - (Originally from FSComp.txt:1095) + (Originally from FSComp.txt:1099) Invalid literal in type - (Originally from FSComp.txt:468) + (Originally from FSComp.txt:471) Invalid declaration syntax - (Originally from FSComp.txt:420) + (Originally from FSComp.txt:424) Invalid anonymous record type - (Originally from FSComp.txt:1506) + (Originally from FSComp.txt:1517) Invalid anonymous record expression - (Originally from FSComp.txt:1505) + (Originally from FSComp.txt:1516) Interfaces always have the same visibility as the enclosing type - (Originally from FSComp.txt:426) + (Originally from FSComp.txt:430) An integer for loop must use a simple identifier - (Originally from FSComp.txt:394) + (Originally from FSComp.txt:398) Accessibility modifiers are not permitted on inline assembly code types - (Originally from FSComp.txt:435) + (Originally from FSComp.txt:439) 'inherit' declarations cannot have 'as' bindings. To access members of the base class when overriding a method, the syntax 'base.SomeMember' may be used; 'base' is a keyword. Remove this 'as' binding. - (Originally from FSComp.txt:430) + (Originally from FSComp.txt:434) An indexer property must be given at least one argument - (Originally from FSComp.txt:1069) + (Originally from FSComp.txt:1073) Incomplete operator expression (example a^b) or qualified type invocation (example: ^T.Name) - (Originally from FSComp.txt:477) + (Originally from FSComp.txt:480) Incomplete character literal (example: 'Q') or qualified type invocation (example: 'T.Name) - (Originally from FSComp.txt:476) + (Originally from FSComp.txt:479) Incomplete conditional. Expected 'if <expr> then <expr>' or 'if <expr> then <expr> else <expr>'. - (Originally from FSComp.txt:448) + (Originally from FSComp.txt:451) 'in' or '=' expected - (Originally from FSComp.txt:451) + (Originally from FSComp.txt:454) Neither 'member val' nor 'override val' definitions are permitted in object expressions. - (Originally from FSComp.txt:1333) + (Originally from FSComp.txt:1341) Denominator must not be 0 in unit-of-measure exponent - (Originally from FSComp.txt:475) + (Originally from FSComp.txt:478) The '%s' visibility attribute is not allowed on module abbreviation. Module abbreviations are always private. - (Originally from FSComp.txt:405) + (Originally from FSComp.txt:409) The '%s' accessibility attribute is not allowed on module abbreviation. Module abbreviations are always private. - (Originally from FSComp.txt:404) + (Originally from FSComp.txt:408) Ignoring attributes on module abbreviation - (Originally from FSComp.txt:403) + (Originally from FSComp.txt:407) Identifier expected - (Originally from FSComp.txt:450) + (Originally from FSComp.txt:453) A getter property is expected to be a function, e.g. 'get() = ...' or 'get(index) = ...' - (Originally from FSComp.txt:423) + (Originally from FSComp.txt:427) A getter property may have at most one argument group - (Originally from FSComp.txt:1066) + (Originally from FSComp.txt:1070) 'get', 'set' or 'get,set' required - (Originally from FSComp.txt:417) + (Originally from FSComp.txt:421) 'get' and/or 'set' required - (Originally from FSComp.txt:421) + (Originally from FSComp.txt:425) Missing 'do' in 'for' expression. Expected 'for <pat> in <expr> do <expr>'. - (Originally from FSComp.txt:1286) + (Originally from FSComp.txt:1294) Field bindings must have the form 'id = expr;' - (Originally from FSComp.txt:462) + (Originally from FSComp.txt:465) Expecting type - (Originally from FSComp.txt:1689) + (Originally from FSComp.txt:1709) - + Expecting pattern - (Originally from FSComp.txt:1669) + (Originally from FSComp.txt:1689) - + Expecting expression - (Originally from FSComp.txt:1659) + (Originally from FSComp.txt:1679) Expected a type after this point - (Originally from FSComp.txt:1264) + (Originally from FSComp.txt:1272) Expected a pattern after this point - (Originally from FSComp.txt:1670) + (Originally from FSComp.txt:1690) Unexpected end of type. Expected a name after this point. - (Originally from FSComp.txt:1280) + (Originally from FSComp.txt:1288) Expected an expression after this point - (Originally from FSComp.txt:1263) + (Originally from FSComp.txt:1271) The block following this '%s' is unfinished. Every code block is an expression and must have a result. '%s' cannot be the final code element in a block. Consider giving this block an explicit result. - (Originally from FSComp.txt:447) + (Originally from FSComp.txt:450) Attempted to parse this as an operator name, but failed - (Originally from FSComp.txt:1121) + (Originally from FSComp.txt:1125) Error in the return expression for this 'let'. Possible incorrect indentation. - (Originally from FSComp.txt:446) - - - - - Unexpected token in type definition. Expected '=' after the type '%s'. - (Originally from FSComp.txt:1525) + (Originally from FSComp.txt:449) End of file in verbatim string embedded in comment begun at or before here - (Originally from FSComp.txt:387) + (Originally from FSComp.txt:391) End of file in verbatim string begun at or before here - (Originally from FSComp.txt:384) + (Originally from FSComp.txt:388) End of file in triple-quote string embedded in comment begun at or before here - (Originally from FSComp.txt:1116) + (Originally from FSComp.txt:1120) End of file in triple-quote string begun at or before here - (Originally from FSComp.txt:1115) + (Originally from FSComp.txt:1119) End of file in string embedded in comment begun at or before here - (Originally from FSComp.txt:386) + (Originally from FSComp.txt:390) End of file in string begun at or before here - (Originally from FSComp.txt:383) + (Originally from FSComp.txt:387) Incomplete interpolated verbatim string begun at or before here - (Originally from FSComp.txt:1606) + (Originally from FSComp.txt:1626) Incomplete interpolated triple-quote string begun at or before here - (Originally from FSComp.txt:1607) + (Originally from FSComp.txt:1627) Incomplete interpolated string expression fill begun at or before here - (Originally from FSComp.txt:1604) + (Originally from FSComp.txt:1624) Incomplete interpolated string begun at or before here - (Originally from FSComp.txt:1605) + (Originally from FSComp.txt:1625) End of file in IF-OCAML section begun at or before here - (Originally from FSComp.txt:388) + (Originally from FSComp.txt:392) End of file in #if section begun at or after here - (Originally from FSComp.txt:382) + (Originally from FSComp.txt:386) End of file in directive begun at or before here - (Originally from FSComp.txt:389) + (Originally from FSComp.txt:393) End of file in comment begun at or before here - (Originally from FSComp.txt:385) + (Originally from FSComp.txt:389) Accessibility modifiers are not permitted in this position for enum types - (Originally from FSComp.txt:433) + (Originally from FSComp.txt:437) Accessibility modifiers are not permitted on enumeration fields - (Originally from FSComp.txt:439) + (Originally from FSComp.txt:442) A type definition requires one or more members or other declarations. If you intend to define an empty class, struct or interface, then use 'type ... = class end', 'interface end' or 'struct end'. - (Originally from FSComp.txt:415) + (Originally from FSComp.txt:419) Invalid interpolated string. This interpolated string expression fill is empty, an expression was expected. - (Originally from FSComp.txt:1608) + (Originally from FSComp.txt:1628) Accessibility modifiers are not permitted on 'do' bindings, but '%s' was given. - (Originally from FSComp.txt:381) + (Originally from FSComp.txt:385) + + + + + Constraint intersection syntax may only be used with flexible types, e.g. '#IDisposable & #ISomeInterface'. + (Originally from FSComp.txt:1719) Consider using a separate record type instead - (Originally from FSComp.txt:440) + (Originally from FSComp.txt:443) Augmentations are not permitted on delegate type moduleDefns - (Originally from FSComp.txt:413) + (Originally from FSComp.txt:417) Attributes should be placed before 'val' - (Originally from FSComp.txt:410) + (Originally from FSComp.txt:414) Attributes are not permitted on 'inherit' declarations - (Originally from FSComp.txt:428) + (Originally from FSComp.txt:432) Attributes are not allowed here - (Originally from FSComp.txt:431) + (Originally from FSComp.txt:435) Attributes have been ignored in this construct - (Originally from FSComp.txt:391) + (Originally from FSComp.txt:395) Attributes are not permitted on interface implementations - (Originally from FSComp.txt:411) + (Originally from FSComp.txt:415) Cannot find code target for this attribute, possibly because the code after the attribute is incomplete. - (Originally from FSComp.txt:1322) + (Originally from FSComp.txt:1330) 'assert' may not be used as a first class value. Use 'assert <expr>' instead. - (Originally from FSComp.txt:449) + (Originally from FSComp.txt:452) The use of '->' in sequence and computation expressions is limited to the form 'for pat in expr -> expr'. Use the syntax 'for ... in ... do ... yield...' to generate elements in more complex sequence expressions. - (Originally from FSComp.txt:452) + (Originally from FSComp.txt:455) All enum fields must be given values - (Originally from FSComp.txt:434) + (Originally from FSComp.txt:438) Active pattern case identifiers must begin with an uppercase letter - (Originally from FSComp.txt:473) + (Originally from FSComp.txt:476) The '|' character is not permitted in active pattern case identifiers - (Originally from FSComp.txt:474) + (Originally from FSComp.txt:477) Accessibility modifiers are not allowed on this member. Abstract slots always have the same visibility as the enclosing type. - (Originally from FSComp.txt:427) + (Originally from FSComp.txt:431) - Package manager key '%s' was not registered in %s. Currently registered: %s - (Originally from FSComp.txt:1387) + Package manager key '%s' was not registered in %s. Currently registered: %s. To learn more about extensions, visit: https://aka.ms/dotnetdepmanager + (Originally from FSComp.txt:842) %s - (Originally from FSComp.txt:1388) + (Originally from FSComp.txt:843) The 'package management' feature requires language version 5.0 or above - (Originally from FSComp.txt:1515) + (Originally from FSComp.txt:1526) Write the xmldoc of the assembly to the given file - (Originally from FSComp.txt:851) + (Originally from FSComp.txt:854) Specify a Win32 resource file (.res) - (Originally from FSComp.txt:863) + (Originally from FSComp.txt:866) Specify a Win32 manifest file - (Originally from FSComp.txt:864) + (Originally from FSComp.txt:867) Specify a Win32 icon file (.ico) - (Originally from FSComp.txt:862) + (Originally from FSComp.txt:865) Report all warnings as errors - (Originally from FSComp.txt:883) + (Originally from FSComp.txt:886) Report specific warnings as errors - (Originally from FSComp.txt:884) + (Originally from FSComp.txt:887) Enable specific warnings that may be off by default - (Originally from FSComp.txt:887) + (Originally from FSComp.txt:890) Set a warning level (0-5) - (Originally from FSComp.txt:885) + (Originally from FSComp.txt:888) Display compiler version banner and exit - (Originally from FSComp.txt:893) + (Originally from FSComp.txt:896) Output messages in UTF-8 encoding - (Originally from FSComp.txt:897) + (Originally from FSComp.txt:900) Enable high-entropy ASLR - (Originally from FSComp.txt:930) + (Originally from FSComp.txt:927) Unrecognized target '%s', expected 'exe', 'winexe', 'library' or 'module' - (Originally from FSComp.txt:908) + (Originally from FSComp.txt:937) Unrecognized value '%s' for --langversion use --langversion:? for complete list - (Originally from FSComp.txt:81) + (Originally from FSComp.txt:84) Unrecognized debug type '%s', expected 'pdbonly' or 'full' - (Originally from FSComp.txt:909) + (Originally from FSComp.txt:938) Invalid value '%s' for --interfacedata, valid value are: none, file, compress. - (Originally from FSComp.txt:937) + (Originally from FSComp.txt:934) Unrecognized platform '%s', valid values are 'x86', 'x64', 'Arm', 'Arm64', 'Itanium', 'anycpu32bitpreferred', and 'anycpu'. The default is anycpu. - (Originally from FSComp.txt:923) + (Originally from FSComp.txt:943) Invalid value '%s' for --optimizationdata, valid value are: none, file, compress. - (Originally from FSComp.txt:939) + (Originally from FSComp.txt:936) Algorithm '%s' is not supported - (Originally from FSComp.txt:924) + (Originally from FSComp.txt:944) Unknown --test argument: '%s' - (Originally from FSComp.txt:922) + (Originally from FSComp.txt:942) Specify target framework profile of this assembly. Valid values are mscorlib, netcore or netstandard. Default - mscorlib - (Originally from FSComp.txt:932) + (Originally from FSComp.txt:929) Enable or disable tailcalls - (Originally from FSComp.txt:876) + (Originally from FSComp.txt:879) Supported language versions: - (Originally from FSComp.txt:1529) + (Originally from FSComp.txt:1540) Specify subsystem version of this assembly - (Originally from FSComp.txt:931) + (Originally from FSComp.txt:928) Specify a strong name key file - (Originally from FSComp.txt:852) + (Originally from FSComp.txt:855) Specify a strong name key container - (Originally from FSComp.txt:853) + (Originally from FSComp.txt:856) + + + + + Override indentation rules implied by the language version + (Originally from FSComp.txt:1541) Statically link the given assembly and all referenced DLLs that depend on this assembly. Use an assembly name e.g. mylib, not a DLL name. - (Originally from FSComp.txt:904) + (Originally from FSComp.txt:907) Statically link the F# library and all referenced DLLs that depend on it into the assembly being generated - (Originally from FSComp.txt:903) + (Originally from FSComp.txt:906) Source link information file to embed in the portable PDB file - (Originally from FSComp.txt:868) + (Originally from FSComp.txt:871) Resolve assembly references using directory-based rules rather than MSBuild resolution - (Originally from FSComp.txt:907) + (Originally from FSComp.txt:910) Include F# interface information, the default is file. Essential for distributing libraries. - (Originally from FSComp.txt:936) + (Originally from FSComp.txt:933) Print the inferred interface of the assembly to a file - (Originally from FSComp.txt:858) + (Originally from FSComp.txt:861) @@ -5128,187 +5224,187 @@ Specify language version such as 'latest' or 'preview'. - (Originally from FSComp.txt:1528) + (Originally from FSComp.txt:1539) Response file '%s' not found in '%s' - (Originally from FSComp.txt:1364) + (Originally from FSComp.txt:1372) Response file name '%s' is empty, contains invalid characters, has a drive specification without an absolute path, or is too long - (Originally from FSComp.txt:1365) + (Originally from FSComp.txt:1373) Read response file for more options - (Originally from FSComp.txt:894) + (Originally from FSComp.txt:897) Embed the specified managed resource - (Originally from FSComp.txt:871) + (Originally from FSComp.txt:874) Use a resident background compilation service to improve compiler startup times. - (Originally from FSComp.txt:905) + (Originally from FSComp.txt:908) Disable implicit generation of constructs using reflection - (Originally from FSComp.txt:882) + (Originally from FSComp.txt:885) Reference an assembly (Short form: -r) - (Originally from FSComp.txt:860) + (Originally from FSComp.txt:863) Produce a reference assembly with the specified file path. - (Originally from FSComp.txt:879) + (Originally from FSComp.txt:882) Produce a reference assembly, instead of a full assembly, as the primary output - (Originally from FSComp.txt:878) + (Originally from FSComp.txt:881) Public-sign the assembly using only the public portion of the strong name key, and mark the assembly as signed - (Originally from FSComp.txt:850) + (Originally from FSComp.txt:853) Problem with codepage '%d': %s - (Originally from FSComp.txt:841) + (Originally from FSComp.txt:844) Specify the preferred output language culture name (e.g. es-ES, ja-JP) - (Originally from FSComp.txt:934) + (Originally from FSComp.txt:931) Limit which platforms this code can run on: x86, x64, Arm, Arm64, Itanium, anycpu32bitpreferred, or anycpu. The default is anycpu. - (Originally from FSComp.txt:855) + (Originally from FSComp.txt:858) The pdb output file name cannot match the build output filename use --pdb:filename.pdb - (Originally from FSComp.txt:869) + (Originally from FSComp.txt:872) Name the output debug file - (Originally from FSComp.txt:906) + (Originally from FSComp.txt:909) Maps physical paths to source path names output by the compiler - (Originally from FSComp.txt:880) + (Originally from FSComp.txt:883) Enable optimizations (Short form: -O) - (Originally from FSComp.txt:875) + (Originally from FSComp.txt:878) Specify included optimization information, the default is file. Important for distributed libraries. - (Originally from FSComp.txt:938) + (Originally from FSComp.txt:935) Do not include the default Win32 manifest - (Originally from FSComp.txt:865) + (Originally from FSComp.txt:868) Disable specific warning messages - (Originally from FSComp.txt:886) + (Originally from FSComp.txt:889) Suppress compiler copyright message - (Originally from FSComp.txt:891) + (Originally from FSComp.txt:894) Do not reference the default CLI assemblies by default - (Originally from FSComp.txt:902) + (Originally from FSComp.txt:905) Only include optimization information essential for implementing inlined constructs. Inhibits cross-module inlining but improves binary compatibility. - (Originally from FSComp.txt:856) + (Originally from FSComp.txt:859) Don't add a resource to the generated assembly containing F#-specific metadata - (Originally from FSComp.txt:857) + (Originally from FSComp.txt:860) Don't copy FSharp.Core.dll along the produced binaries - (Originally from FSComp.txt:935) + (Originally from FSComp.txt:932) Name of the output file (Short form: -o) - (Originally from FSComp.txt:844) + (Originally from FSComp.txt:847) Ignore ML compatibility warnings - (Originally from FSComp.txt:890) + (Originally from FSComp.txt:893) Link the specified resource to this assembly where the resinfo format is <file>[,<string name>[,public|private]] - (Originally from FSComp.txt:872) + (Originally from FSComp.txt:875) Specify a directory for the include path which is used to resolve source files and assemblies (Short form: -I) - (Originally from FSComp.txt:899) + (Originally from FSComp.txt:902) Invalid warning level '%d' - (Originally from FSComp.txt:910) + (Originally from FSComp.txt:939) @@ -5326,31 +5422,31 @@ Invalid response file '%s' ( '%s' ) - (Originally from FSComp.txt:1363) + (Originally from FSComp.txt:1371) Invalid reference assembly path' - (Originally from FSComp.txt:1167) + (Originally from FSComp.txt:1175) Invalid use of emitting a reference assembly, do not use '--standalone or --staticlink' with '--refonly or --refout'. - (Originally from FSComp.txt:1168) + (Originally from FSComp.txt:1176) Invalid path map. Mappings must be comma separated and of the format 'path=sourcePath' - (Originally from FSComp.txt:1166) + (Originally from FSComp.txt:1174) The command-line option '%s' is for test purposes only - (Originally from FSComp.txt:925) + (Originally from FSComp.txt:922) @@ -5404,127 +5500,127 @@ Display this usage message (Short form: -?) - (Originally from FSComp.txt:892) + (Originally from FSComp.txt:895) Display the allowed values for language version. - (Originally from FSComp.txt:1527) + (Originally from FSComp.txt:1538) Output messages with fully qualified paths - (Originally from FSComp.txt:898) + (Originally from FSComp.txt:901) Emit debug information in quotations - (Originally from FSComp.txt:933) + (Originally from FSComp.txt:930) Embed specific source files in the portable PDB file - (Originally from FSComp.txt:867) + (Originally from FSComp.txt:870) Embed all source files in the portable PDB file - (Originally from FSComp.txt:866) + (Originally from FSComp.txt:869) Produce a deterministic assembly (including module version GUID and timestamp) - (Originally from FSComp.txt:877) + (Originally from FSComp.txt:880) Delay-sign the assembly using only the public portion of the strong name key - (Originally from FSComp.txt:849) + (Originally from FSComp.txt:852) Define conditional compilation symbols (Short form: -d) - (Originally from FSComp.txt:889) + (Originally from FSComp.txt:892) Emit debug information (Short form: -g) - (Originally from FSComp.txt:873) + (Originally from FSComp.txt:876) Specify debugging type: full, portable, embedded, pdbonly. ('%s' is the default if no debuggging type specified and enables attaching a debugger to a running program, 'portable' is a cross-platform format, 'embedded' is a cross-platform format embedded into the output file). - (Originally from FSComp.txt:874) + (Originally from FSComp.txt:877) The command-line option '%s' has been deprecated - (Originally from FSComp.txt:926) + (Originally from FSComp.txt:923) The command-line option '%s' has been deprecated. HTML document generation is now part of the F# Power Pack, via the tool FsHtmlDoc.exe. - (Originally from FSComp.txt:928) + (Originally from FSComp.txt:925) The command-line option '%s' has been deprecated. Use '%s' instead. - (Originally from FSComp.txt:927) + (Originally from FSComp.txt:924) Enable or disable cross-module optimizations - (Originally from FSComp.txt:881) + (Originally from FSComp.txt:884) Freely distributed under the MIT Open Source License. https://github.com/Microsoft/visualfsharp/blob/master/License.txt - (Originally from FSComp.txt:843) + (Originally from FSComp.txt:846) Copyright (c) Microsoft Corporation. All Rights Reserved. - (Originally from FSComp.txt:842) + (Originally from FSComp.txt:845) Output warning and error messages in color - (Originally from FSComp.txt:929) + (Originally from FSComp.txt:926) Compress interface and optimization data files - (Originally from FSComp.txt:854) + (Originally from FSComp.txt:857) Reference an assembly or directory containing a design time tool (Short form: -t) - (Originally from FSComp.txt:861) + (Originally from FSComp.txt:864) Specify the codepage used to read source files - (Originally from FSComp.txt:895) + (Originally from FSComp.txt:898) @@ -5542,1464 +5638,1494 @@ Clear the package manager results cache - (Originally from FSComp.txt:896) + (Originally from FSComp.txt:899) Specify algorithm for calculating source file checksum stored in PDB. Supported values are: SHA1 or SHA256 (default) - (Originally from FSComp.txt:901) + (Originally from FSComp.txt:904) Generate overflow checks - (Originally from FSComp.txt:888) + (Originally from FSComp.txt:891) Build a Windows executable - (Originally from FSComp.txt:846) + (Originally from FSComp.txt:849) Build a module that can be added to another assembly - (Originally from FSComp.txt:848) + (Originally from FSComp.txt:851) Build a library (Short form: -a) - (Originally from FSComp.txt:847) + (Originally from FSComp.txt:850) Build a console executable - (Originally from FSComp.txt:845) + (Originally from FSComp.txt:848) Base address for the library to be built - (Originally from FSComp.txt:900) + (Originally from FSComp.txt:903) Print the inferred interfaces of all compilation files to associated signature files - (Originally from FSComp.txt:859) + (Originally from FSComp.txt:862) A value marked as 'inline' has an unexpected value - (Originally from FSComp.txt:992) + (Originally from FSComp.txt:996) A value marked as 'inline' could not be inlined - (Originally from FSComp.txt:993) + (Originally from FSComp.txt:997) The value '%s' was marked inline but was not bound in the optimization environment - (Originally from FSComp.txt:990) + (Originally from FSComp.txt:994) The value '%s' was marked inline but its implementation makes use of an internal or private function which is not sufficiently accessible - (Originally from FSComp.txt:989) + (Originally from FSComp.txt:993) Recursive ValValue %s - (Originally from FSComp.txt:995) + (Originally from FSComp.txt:999) Local value %s not found during optimization - (Originally from FSComp.txt:991) + (Originally from FSComp.txt:995) Failed to inline the value '%s' marked 'inline', perhaps because a recursive value was marked 'inline' - (Originally from FSComp.txt:994) + (Originally from FSComp.txt:998) The value '%s' was marked 'InlineIfLambda' but was not determined to have a lambda value. This warning is for informational purposes only. - (Originally from FSComp.txt:1652) + (Originally from FSComp.txt:1672) The union type for union case '%s' was defined with the RequireQualifiedAccessAttribute. Include the name of the union type ('%s') in the name you are using. - (Originally from FSComp.txt:1009) + (Originally from FSComp.txt:1013) Unexpected empty long identifier - (Originally from FSComp.txt:1004) + (Originally from FSComp.txt:1008) Multiple types exist called '%s', taking different numbers of generic parameters. Provide a type instantiation to disambiguate the type resolution, e.g. '%s'. - (Originally from FSComp.txt:1000) + (Originally from FSComp.txt:1004) The instantiation of the generic type '%s' is missing and can't be inferred from the arguments or return type of this member. Consider providing a type instantiation when accessing this type, e.g. '%s'. - (Originally from FSComp.txt:1001) + (Originally from FSComp.txt:1005) The record type for the record field '%s' was defined with the RequireQualifiedAccessAttribute. Include the name of the record type ('%s') in the name you are using. - (Originally from FSComp.txt:1010) + (Originally from FSComp.txt:1014) The record type '%s' does not contain a label '%s'. - (Originally from FSComp.txt:1005) + (Originally from FSComp.txt:1009) No constructors are available for the type '%s' - (Originally from FSComp.txt:1008) + (Originally from FSComp.txt:1012) This is not a constructor or literal, or a constructor is being used incorrectly - (Originally from FSComp.txt:1003) + (Originally from FSComp.txt:1007) Invalid module/expression/type - (Originally from FSComp.txt:999) + (Originally from FSComp.txt:1003) Invalid field label - (Originally from FSComp.txt:1006) + (Originally from FSComp.txt:1010) Invalid expression '%s' - (Originally from FSComp.txt:1007) + (Originally from FSComp.txt:1011) 'global' may only be used as the first name in a qualified path - (Originally from FSComp.txt:1002) + (Originally from FSComp.txt:1006) This value is not a function and cannot be applied. Did you intend to access the indexer via '%s[index]'? - (Originally from FSComp.txt:1478) + (Originally from FSComp.txt:1490) This value is not a function and cannot be applied. Did you intend to access the indexer via '%s.[index]'? - (Originally from FSComp.txt:1476) + (Originally from FSComp.txt:1488) - (Originally from FSComp.txt:1480) + (Originally from FSComp.txt:1492) This expression is not a function and cannot be applied. Did you intend to access the indexer via 'expr[index]'? - (Originally from FSComp.txt:1479) + (Originally from FSComp.txt:1491) This expression is not a function and cannot be applied. Did you intend to access the indexer via 'expr.[index]'? - (Originally from FSComp.txt:1477) + (Originally from FSComp.txt:1489) This value is not a function and cannot be applied. Did you forget to terminate a declaration? - (Originally from FSComp.txt:1481) + (Originally from FSComp.txt:1493) This value is not a function and cannot be applied. - (Originally from FSComp.txt:1475) + (Originally from FSComp.txt:1487) No Invoke methods found for delegate type - (Originally from FSComp.txt:975) + (Originally from FSComp.txt:979) Files in libraries or multiple-file applications must begin with a namespace or module declaration. When using a module declaration at the start of a file the '=' sign is not allowed. If this is a top-level module, consider removing the = to resolve this error. - (Originally from FSComp.txt:55) + (Originally from FSComp.txt:58) + %d overloads - (Originally from FSComp.txt:1319) + (Originally from FSComp.txt:1327) + 1 overload - (Originally from FSComp.txt:1318) + (Originally from FSComp.txt:1326) Resource header beginning at offset %s is malformed. - (Originally from FSComp.txt:1531) + (Originally from FSComp.txt:1543) Stream does not begin with a null resource and is not in '.RES' format. - (Originally from FSComp.txt:1530) + (Originally from FSComp.txt:1542) More than one Invoke method found for delegate type - (Originally from FSComp.txt:976) + (Originally from FSComp.txt:980) The use of 'module M = struct ... end ' was deprecated in F# 2.0 and is no longer supported. Remove the 'struct' and 'end' and use indentation instead - (Originally from FSComp.txt:1092) + (Originally from FSComp.txt:1096) The use of 'module M = sig ... end ' was deprecated in F# 2.0 and is no longer supported. Remove the 'sig' and 'end' and use indentation instead - (Originally from FSComp.txt:1090) + (Originally from FSComp.txt:1094) The use of 'module M: sig ... end ' was deprecated in F# 2.0 and is no longer supported. Change the ':' to an '=' and remove the 'sig' and 'end' and use indentation instead - (Originally from FSComp.txt:1089) + (Originally from FSComp.txt:1093) The use of multiple parenthesized type parameters before a generic type name such as '(int, int) Map' was deprecated in F# 2.0 and is no longer supported - (Originally from FSComp.txt:1091) + (Originally from FSComp.txt:1095) This construct is for ML compatibility. %s. You can disable this warning by using '--mlcompatibility' or '--nowarn:62'. - (Originally from FSComp.txt:1085) + (Originally from FSComp.txt:1089) The use of '#light \"off\"' or '#indent \"off\"' was deprecated in F# 2.0 and is no longer supported - (Originally from FSComp.txt:1088) + (Originally from FSComp.txt:1092) In previous versions of F# '%s' was a reserved keyword but the use of this keyword is now deprecated - (Originally from FSComp.txt:1087) + (Originally from FSComp.txt:1091) This construct is deprecated. %s. You can enable this feature by using '--langversion:5.0' and '--mlcompatibility'. - (Originally from FSComp.txt:1086) + (Originally from FSComp.txt:1090) This 'if' expression is missing an 'else' branch. Because 'if' is an expression, and not a statement, add an 'else' branch which also returns a value of type '%s'. - (Originally from FSComp.txt:25) + (Originally from FSComp.txt:26) Method or object constructor '%s' is not static - (Originally from FSComp.txt:1385) + (Originally from FSComp.txt:1393) Infix operator member '%s' has %d initial argument(s). Expected a tuple of 3 arguments - (Originally from FSComp.txt:1330) + (Originally from FSComp.txt:1338) Infix operator member '%s' has %d initial argument(s). Expected a tuple of 2 arguments, e.g. static member (+) (x,y) = ... - (Originally from FSComp.txt:1052) + (Originally from FSComp.txt:1056) Infix operator member '%s' has no arguments. Expected a tuple of 2 arguments, e.g. static member (+) (x,y) = ... - (Originally from FSComp.txt:1051) + (Originally from FSComp.txt:1055) Infix operator member '%s' has extra curried arguments. Expected a tuple of 2 arguments, e.g. static member (+) (x,y) = ... - (Originally from FSComp.txt:1053) + (Originally from FSComp.txt:1057) Pattern discard is not allowed for union case that takes no data. - (Originally from FSComp.txt:1671) + (Originally from FSComp.txt:1691) (loading description...) - (Originally from FSComp.txt:1326) + (Originally from FSComp.txt:1334) All elements of a list must be implicitly convertible to the type of the first element, which here is a tuple of length %d of type\n %s \nThis element is a tuple of length %d of type\n %s \n - (Originally from FSComp.txt:22) + (Originally from FSComp.txt:23) All elements of a list must be implicitly convertible to the type of the first element, which here is '%s'. This element has type '%s'. - (Originally from FSComp.txt:21) + (Originally from FSComp.txt:22) Identifiers containing '@' are reserved for use in F# code generation - (Originally from FSComp.txt:980) + (Originally from FSComp.txt:984) The identifier '%s' is reserved for future use by F# - (Originally from FSComp.txt:981) + (Originally from FSComp.txt:985) - Possible incorrect indentation: this token is offside of context started at position %s. Try indenting this token further or using standard formatting conventions. - (Originally from FSComp.txt:997) + Unexpected syntax or possible incorrect indentation: this token is offside of context started at position %s. Try indenting this further.\nTo continue using non-conforming indentation, pass the '--strict-indentation-' flag to the compiler, or set the language version to F# 7. + (Originally from FSComp.txt:1001) The '|' tokens separating rules of this pattern match are misaligned by one column. Consider realigning your code or using further indentation. - (Originally from FSComp.txt:998) + (Originally from FSComp.txt:1002) The indentation of this 'in' token is incorrect with respect to the corresponding 'let' - (Originally from FSComp.txt:996) + (Originally from FSComp.txt:1000) Syntax error. Wrong nested #endif, unexpected tokens before it. - (Originally from FSComp.txt:1048) + (Originally from FSComp.txt:1052) + + + + + The interpolated string contains unmatched closing braces. + (Originally from FSComp.txt:1130) Unexpected character '%s' - (Originally from FSComp.txt:1017) + (Originally from FSComp.txt:1021) Invalid interpolated string. Triple quote string literals may not be used in interpolated expressions. Consider using an explicit 'let' binding for the interpolation expression. - (Originally from FSComp.txt:1601) + (Originally from FSComp.txt:1621) + + + + + The interpolated triple quoted string literal does not start with enough '$' characters to allow this many consecutive '%%' characters. + (Originally from FSComp.txt:1131) + + + + + The interpolated triple quoted string literal does not start with enough '$' characters to allow this many consecutive opening braces as content. + (Originally from FSComp.txt:1129) This token is reserved for future use - (Originally from FSComp.txt:1038) + (Originally from FSComp.txt:1042) This Unicode encoding is only valid in string literals - (Originally from FSComp.txt:1037) + (Originally from FSComp.txt:1041) TABs are not allowed in F# code unless the #indent \"off\" option is used - (Originally from FSComp.txt:1039) + (Originally from FSComp.txt:1043) Invalid interpolated string. Single quote or verbatim string literals may not be used in interpolated expressions in single quote or verbatim strings. Consider using an explicit 'let' binding for the interpolation expression or use a triple quote string as the outer string literal. - (Originally from FSComp.txt:1600) + (Originally from FSComp.txt:1620) A '}' character must be escaped (by doubling) in an interpolated string. - (Originally from FSComp.txt:1609) + (Originally from FSComp.txt:1629) This number is outside the allowable range for 32-bit unsigned integers - (Originally from FSComp.txt:1026) + (Originally from FSComp.txt:1030) This number is outside the allowable range for 32-bit signed integers - (Originally from FSComp.txt:1025) + (Originally from FSComp.txt:1029) This number is outside the allowable range for 64-bit unsigned integers - (Originally from FSComp.txt:1028) + (Originally from FSComp.txt:1032) This number is outside the allowable range for 64-bit signed integers - (Originally from FSComp.txt:1027) + (Originally from FSComp.txt:1031) This number is outside the allowable range for 16-bit unsigned integers - (Originally from FSComp.txt:1024) + (Originally from FSComp.txt:1028) This number is outside the allowable range for 16-bit signed integers - (Originally from FSComp.txt:1023) + (Originally from FSComp.txt:1027) This number is outside the allowable range for unsigned native integers - (Originally from FSComp.txt:1030) + (Originally from FSComp.txt:1034) This number is outside the allowable range for signed native integers - (Originally from FSComp.txt:1029) + (Originally from FSComp.txt:1033) This number is outside the allowable range for this integer type - (Originally from FSComp.txt:1012) + (Originally from FSComp.txt:1016) This number is outside the allowable range for 8-bit unsigned integers - (Originally from FSComp.txt:1022) + (Originally from FSComp.txt:1026) This number is outside the allowable range for hexadecimal 8-bit signed integers - (Originally from FSComp.txt:1021) + (Originally from FSComp.txt:1025) This number is outside the allowable range for 8-bit signed integers - (Originally from FSComp.txt:1020) + (Originally from FSComp.txt:1024) This number is outside the allowable range for 32-bit floats - (Originally from FSComp.txt:1033) + (Originally from FSComp.txt:1037) This number is outside the allowable range for decimal literals - (Originally from FSComp.txt:1032) + (Originally from FSComp.txt:1036) \U%s is not a valid Unicode character escape sequence - (Originally from FSComp.txt:1122) + (Originally from FSComp.txt:1126) This is not a valid numeric literal. Valid numeric literals include 1, 0x1, 0o1, 0b1, 1l (int/int32), 1u (uint/uint32), 1L (int64), 1UL (uint64), 1s (int16), 1us (uint16), 1y (int8/sbyte), 1uy (uint8/byte), 1.0 (float/double), 1.0f (float32/single), 1.0m (decimal), 1I (bigint). - (Originally from FSComp.txt:1034) + (Originally from FSComp.txt:1038) Invalid line number: '%s' - (Originally from FSComp.txt:1040) + (Originally from FSComp.txt:1044) This is not a valid identifier - (Originally from FSComp.txt:1687) + (Originally from FSComp.txt:1707) Invalid floating point number - (Originally from FSComp.txt:1031) + (Originally from FSComp.txt:1035) This is not a valid character literal - (Originally from FSComp.txt:1036) + (Originally from FSComp.txt:1040) This is not a valid byte literal - (Originally from FSComp.txt:1035) + (Originally from FSComp.txt:1039) Consider using a file with extension '.ml' or '.mli' instead - (Originally from FSComp.txt:1098) + (Originally from FSComp.txt:1102) IF-FSHARP/IF-CAML regions are no longer supported - (Originally from FSComp.txt:1099) + (Originally from FSComp.txt:1103) Identifiers followed by '%s' are reserved for future use - (Originally from FSComp.txt:1019) + (Originally from FSComp.txt:1023) #if directive should be immediately followed by an identifier - (Originally from FSComp.txt:1047) + (Originally from FSComp.txt:1051) #if directive must appear as the first non-whitespace character on a line - (Originally from FSComp.txt:1041) + (Originally from FSComp.txt:1045) #endif has no matching #if - (Originally from FSComp.txt:1045) + (Originally from FSComp.txt:1049) #endif required for #else - (Originally from FSComp.txt:1043) + (Originally from FSComp.txt:1047) #endif directive must appear as the first non-whitespace character on a line - (Originally from FSComp.txt:1046) + (Originally from FSComp.txt:1050) #else has no matching #if - (Originally from FSComp.txt:1042) + (Originally from FSComp.txt:1046) #else directive must appear as the first non-whitespace character on a line - (Originally from FSComp.txt:1044) + (Originally from FSComp.txt:1048) #! may only appear as the first line at the start of a file. - (Originally from FSComp.txt:1049) + (Originally from FSComp.txt:1053) + + + + + Extended string interpolation is not supported in this version of F#. + (Originally from FSComp.txt:1132) '%s' is not permitted as a character in operator names and is reserved for future use - (Originally from FSComp.txt:1016) + (Originally from FSComp.txt:1020) a byte string may not be interpolated - (Originally from FSComp.txt:1603) + (Originally from FSComp.txt:1623) This byte array literal contains characters that do not encode as a single byte - (Originally from FSComp.txt:1018) + (Originally from FSComp.txt:1022) Used in a computation expression to append the result of a given computation expression to a collection of results for the containing computation expression. - (Originally from FSComp.txt:1465) + (Originally from FSComp.txt:1477) Used in a sequence expression to produce a value for a sequence. - (Originally from FSComp.txt:1464) + (Originally from FSComp.txt:1476) Used together with the match keyword in pattern matching expressions. Also used in object expressions, record copying expressions, and type extensions to introduce member definitions, and to introduce exception handlers. - (Originally from FSComp.txt:1463) + (Originally from FSComp.txt:1475) + + + + + Used in computation expressions to introduce a looping construct where the condition is the result of another computation expression. + (Originally from FSComp.txt:1474) Introduces a looping construct. - (Originally from FSComp.txt:1462) + (Originally from FSComp.txt:1473) Used for Boolean conditions (when guards) on pattern matches and to introduce a constraint clause for a generic type parameter. - (Originally from FSComp.txt:1461) + (Originally from FSComp.txt:1472) Indicates the .NET void type. Used when interoperating with other .NET languages. - (Originally from FSComp.txt:1460) + (Originally from FSComp.txt:1471) Used in a signature to indicate a value, or in a type to declare a member, in limited situations. - (Originally from FSComp.txt:1459) + (Originally from FSComp.txt:1470) Used instead of let! in computation expressions for computation expression results that implement IDisposable. - (Originally from FSComp.txt:1458) + (Originally from FSComp.txt:1469) Used instead of let for values that implement IDisposable - (Originally from FSComp.txt:1457) + (Originally from FSComp.txt:1468) Used to convert to a type that is higher in the inheritance chain. - (Originally from FSComp.txt:1456) + (Originally from FSComp.txt:1467) Delimits a untyped code quotation. - (Originally from FSComp.txt:1471) + (Originally from FSComp.txt:1483) Delimits a typed code quotation. - (Originally from FSComp.txt:1470) + (Originally from FSComp.txt:1482) Used to check if an object is of the given type in a pattern or binding. - (Originally from FSComp.txt:1455) + (Originally from FSComp.txt:1466) Used to declare a class, record, structure, discriminated union, enumeration type, unit of measure, or type abbreviation. - (Originally from FSComp.txt:1454) + (Originally from FSComp.txt:1465) Used to introduce a block of code that might generate an exception. Used together with with or finally. - (Originally from FSComp.txt:1453) + (Originally from FSComp.txt:1464) Used as a Boolean literal. - (Originally from FSComp.txt:1414) + (Originally from FSComp.txt:1425) Used in for loops to indicate a range. - (Originally from FSComp.txt:1452) + (Originally from FSComp.txt:1463) Used in conditional expressions. Also used to perform side effects after object construction. - (Originally from FSComp.txt:1451) + (Originally from FSComp.txt:1462) Used to declare a structure type. Also used in generic parameter constraints. - (Originally from FSComp.txt:1450) + (Originally from FSComp.txt:1461) Used to indicate a method or property that can be called without an instance of a type, or a value member that is shared among all instances of a type. - (Originally from FSComp.txt:1449) + (Originally from FSComp.txt:1460) Keyword reserved for ML-compatibility. - (Originally from FSComp.txt:1448) + (Originally from FSComp.txt:1459) Used in query expressions to specify what fields or columns to extract. Note that this is a contextual keyword, which means that it is not actually a reserved word and it only acts like a keyword in appropriate context. - (Originally from FSComp.txt:1447) + (Originally from FSComp.txt:1458) In function types, delimits arguments and return values. Yields an expression (in sequence expressions); equivalent to the yield keyword. Used in match expressions - (Originally from FSComp.txt:1466) + (Originally from FSComp.txt:1478) Used to provide a value for the result of the containing computation expression, where that value itself comes from the result another computation expression. - (Originally from FSComp.txt:1446) + (Originally from FSComp.txt:1457) Used to provide a value for the result of the containing computation expression. - (Originally from FSComp.txt:1445) + (Originally from FSComp.txt:1456) Used to indicate that a function is recursive. - (Originally from FSComp.txt:1444) + (Originally from FSComp.txt:1455) Allows access to a member from outside the type. - (Originally from FSComp.txt:1443) + (Originally from FSComp.txt:1454) Restricts access to a member to code in the same type or module. - (Originally from FSComp.txt:1442) + (Originally from FSComp.txt:1453) Used to implement a version of an abstract or virtual method that differs from the base version. - (Originally from FSComp.txt:1441) + (Originally from FSComp.txt:1452) Used with Boolean conditions as a Boolean or operator. Equivalent to ||. Also used in member constraints. - (Originally from FSComp.txt:1440) + (Originally from FSComp.txt:1451) Used to make the contents of a namespace or module available without qualification. - (Originally from FSComp.txt:1439) + (Originally from FSComp.txt:1450) Used in discriminated unions to indicate the type of categories of values, and in delegate and exception declarations. - (Originally from FSComp.txt:1438) + (Originally from FSComp.txt:1449) Indicates the absence of an object. Also used in generic parameter constraints. - (Originally from FSComp.txt:1437) + (Originally from FSComp.txt:1448) Not actually a keyword. However, not struct in combination is used as a generic parameter constraint. - (Originally from FSComp.txt:1436) + (Originally from FSComp.txt:1447) Used to declare, define, or invoke a constructor that creates or that can create an object. Also used in generic parameter constraints to indicate that a type must have a certain constructor. - (Originally from FSComp.txt:1435) + (Originally from FSComp.txt:1446) Used to associate a name with a group of related types and modules, to logically separate it from other code. - (Originally from FSComp.txt:1434) + (Originally from FSComp.txt:1445) Used to declare a variable, that is, a value that can be changed. - (Originally from FSComp.txt:1433) + (Originally from FSComp.txt:1444) Used to associate a name with a group of related types, values, and functions, to logically separate it from other code. - (Originally from FSComp.txt:1432) + (Originally from FSComp.txt:1443) Used to declare a property or method in an object type. - (Originally from FSComp.txt:1431) + (Originally from FSComp.txt:1442) Used in computation expressions to pattern match directly over the result of another computation expression. - (Originally from FSComp.txt:1430) + (Originally from FSComp.txt:1441) Used to branch by comparing a value to a pattern. - (Originally from FSComp.txt:1429) + (Originally from FSComp.txt:1440) Used in computation expressions to bind a name to the result of another computation expression. - (Originally from FSComp.txt:1428) + (Originally from FSComp.txt:1439) Used to associate, or bind, a name to a value or function. - (Originally from FSComp.txt:1427) + (Originally from FSComp.txt:1438) Assigns a value to a variable. - (Originally from FSComp.txt:1467) + (Originally from FSComp.txt:1479) Used to specify a computation that is to be performed only when a result is needed. - (Originally from FSComp.txt:1426) + (Originally from FSComp.txt:1437) Used to specify that a member is visible inside an assembly but not outside it. - (Originally from FSComp.txt:1425) + (Originally from FSComp.txt:1436) Used to declare and implement interfaces. - (Originally from FSComp.txt:1424) + (Originally from FSComp.txt:1435) Used to indicate a function that should be integrated directly into the caller's code. - (Originally from FSComp.txt:1423) + (Originally from FSComp.txt:1434) Used to specify a base class or base interface. - (Originally from FSComp.txt:1422) + (Originally from FSComp.txt:1433) Used for sequence expressions and, in verbose syntax, to separate expressions from bindings. - (Originally from FSComp.txt:1421) + (Originally from FSComp.txt:1432) Used in conditional branching constructs. - (Originally from FSComp.txt:1420) + (Originally from FSComp.txt:1431) Used to reference the top-level .NET namespace. - (Originally from FSComp.txt:1419) + (Originally from FSComp.txt:1430) Used as a shorter alternative to the fun keyword and a match expression in a lambda expression that has pattern matching on a single argument. - (Originally from FSComp.txt:1418) + (Originally from FSComp.txt:1429) Used in lambda expressions, also known as anonymous functions. - (Originally from FSComp.txt:1417) + (Originally from FSComp.txt:1428) Used in looping constructs. - (Originally from FSComp.txt:1416) + (Originally from FSComp.txt:1427) Used together with try to introduce a block of code that executes regardless of whether an exception occurs. - (Originally from FSComp.txt:1415) + (Originally from FSComp.txt:1426) Indicates that a declared program element is defined in another binary or assembly. - (Originally from FSComp.txt:1413) + (Originally from FSComp.txt:1424) Used to declare an exception type. - (Originally from FSComp.txt:1412) + (Originally from FSComp.txt:1423) In type definitions and type extensions, indicates the end of a section of member definitions. In verbose syntax, used to specify the end of a code block that starts with the begin keyword. - (Originally from FSComp.txt:1411) + (Originally from FSComp.txt:1422) Used in conditional branching. - (Originally from FSComp.txt:1410) + (Originally from FSComp.txt:1421) Used in conditional branching. A short form of else if. - (Originally from FSComp.txt:1409) + (Originally from FSComp.txt:1420) Converts a type to a type that is lower in the hierarchy. - (Originally from FSComp.txt:1469) + (Originally from FSComp.txt:1481) In a for expression, used when counting in reverse. - (Originally from FSComp.txt:1408) + (Originally from FSComp.txt:1419) Used to convert to a type that is lower in the inheritance chain. - (Originally from FSComp.txt:1407) + (Originally from FSComp.txt:1418) In verbose syntax, indicates the end of a block of code in a looping expression. - (Originally from FSComp.txt:1406) + (Originally from FSComp.txt:1417) Used in looping constructs or to execute imperative code. - (Originally from FSComp.txt:1405) + (Originally from FSComp.txt:1416) Used to declare a delegate. - (Originally from FSComp.txt:1404) + (Originally from FSComp.txt:1415) Indicates an implementation of an abstract method; used together with an abstract method declaration to create a virtual method. - (Originally from FSComp.txt:1403) + (Originally from FSComp.txt:1414) Keyword to specify a constant literal as a type parameter argument in Type Providers. - (Originally from FSComp.txt:1402) + (Originally from FSComp.txt:1413) In verbose syntax, indicates the start of a class definition. - (Originally from FSComp.txt:1401) + (Originally from FSComp.txt:1412) Converts a type to type that is higher in the hierarchy. - (Originally from FSComp.txt:1468) + (Originally from FSComp.txt:1480) In verbose syntax, indicates the start of a code block. - (Originally from FSComp.txt:1400) + (Originally from FSComp.txt:1411) Used as the name of the base class object. - (Originally from FSComp.txt:1399) + (Originally from FSComp.txt:1410) Used to verify code during debugging. - (Originally from FSComp.txt:1398) + (Originally from FSComp.txt:1409) Used to give the current class object an object name. Also used to give a name to a whole pattern within a pattern match. - (Originally from FSComp.txt:1397) + (Originally from FSComp.txt:1408) Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. - (Originally from FSComp.txt:1396) + (Originally from FSComp.txt:1407) Indicates a method that either has no implementation in the type in which it is declared or that is virtual and has a default implementation. - (Originally from FSComp.txt:1395) + (Originally from FSComp.txt:1406) %s '%s' not found in type '%s' from assembly '%s'. A possible cause may be a version incompatibility. You may need to explicitly reference the correct version of this assembly to allow all referenced components to use the correct version. - (Originally from FSComp.txt:1473) + (Originally from FSComp.txt:1485) %s '%s' not found in assembly '%s'. A possible cause may be a version incompatibility. You may need to explicitly reference the correct version of this assembly to allow all referenced components to use the correct version. - (Originally from FSComp.txt:1472) + (Originally from FSComp.txt:1484) XML comment is not placed on a valid language element. - (Originally from FSComp.txt:1655) + (Originally from FSComp.txt:1675) The 'anycpu32bitpreferred' platform can only be used with EXE targets. You must use 'anycpu' instead. - (Originally from FSComp.txt:1313) + (Originally from FSComp.txt:1321) invalid namespace for provided type - (Originally from FSComp.txt:1209) + (Originally from FSComp.txt:1217) invalid full name for provided type - (Originally from FSComp.txt:1210) + (Originally from FSComp.txt:1218) Invalid provided literal value '%s' - (Originally from FSComp.txt:1312) + (Originally from FSComp.txt:1320) This expression returns a value of type '%s' but is implicitly discarded. Consider using 'let' to bind the result to a name, e.g. 'let result = expression'. If you intended to use the expression as a value in the sequence then use an explicit 'yield!'. - (Originally from FSComp.txt:1486) + (Originally from FSComp.txt:1497) This expression returns a value of type '%s' but is implicitly discarded. Consider using 'let' to bind the result to a name, e.g. 'let result = expression'. If you intended to use the expression as a value in the sequence then use an explicit 'yield'. - (Originally from FSComp.txt:1485) + (Originally from FSComp.txt:1496) The 'InlineIfLambda' attribute is present in the signature but not the implementation. - (Originally from FSComp.txt:1653) + (Originally from FSComp.txt:1673) The type '%s' is required here and is unavailable. You must add a reference to assembly '%s'. - (Originally from FSComp.txt:984) + (Originally from FSComp.txt:988) A reference to the type '%s' in assembly '%s' was found, but the type could not be found in that assembly - (Originally from FSComp.txt:985) + (Originally from FSComp.txt:989) A reference to the DLL %s is required by assembly %s. The imported type %s is located in the first assembly and could not be resolved. - (Originally from FSComp.txt:987) + (Originally from FSComp.txt:991) Internal error or badly formed metadata: not enough type parameters were in scope while importing - (Originally from FSComp.txt:986) + (Originally from FSComp.txt:990) Invalid number of generic arguments to type '%s' in provided type. Expected '%d' arguments, given '%d'. - (Originally from FSComp.txt:1289) + (Originally from FSComp.txt:1297) Invalid value unit-of-measure parameter '%s' - (Originally from FSComp.txt:1291) + (Originally from FSComp.txt:1299) Invalid value '%s' for unit-of-measure parameter '%s' - (Originally from FSComp.txt:1290) + (Originally from FSComp.txt:1298) An imported assembly uses the type '%s' but that type is not public - (Originally from FSComp.txt:988) + (Originally from FSComp.txt:992) Invalid argument to 'methodhandleof' during codegen - (Originally from FSComp.txt:1251) + (Originally from FSComp.txt:1259) The resumable code construct '%s' may only be used in inlined code protected by 'if __useResumableCode then ...' and the overall composition must form valid resumable code. - (Originally from FSComp.txt:1630) + (Originally from FSComp.txt:1650) Unknown debug point '%s'. The available debug points are '%s'. - (Originally from FSComp.txt:1641) + (Originally from FSComp.txt:1661) Unexpected error creating debug information file '%s' - (Originally from FSComp.txt:1011) + (Originally from FSComp.txt:1015) The file '%s' changed on disk unexpectedly, please reload. - (Originally from FSComp.txt:1487) + (Originally from FSComp.txt:1498) Compiler error: unexpected unrealized value - (Originally from FSComp.txt:833) + (Originally from FSComp.txt:834) Unexpected GetSet annotation on a property - (Originally from FSComp.txt:836) + (Originally from FSComp.txt:837) Undefined value '%s' - (Originally from FSComp.txt:820) + (Originally from FSComp.txt:821) This type cannot be used for a literal field - (Originally from FSComp.txt:835) + (Originally from FSComp.txt:836) The StructLayout attribute could not be decoded - (Originally from FSComp.txt:838) + (Originally from FSComp.txt:839) GenSetStorage: %s was represented as a static method but was not an appropriate lambda expression - (Originally from FSComp.txt:831) + (Originally from FSComp.txt:832) The signature for this external function contains type parameters. Constrain the argument and return types to indicate the types of the corresponding C function. - (Originally from FSComp.txt:828) + (Originally from FSComp.txt:829) RSA key expected - (Originally from FSComp.txt:1133) + (Originally from FSComp.txt:1141) Private key expected - (Originally from FSComp.txt:1132) + (Originally from FSComp.txt:1140) No signature directory - (Originally from FSComp.txt:1138) + (Originally from FSComp.txt:1146) Invalid signature size - (Originally from FSComp.txt:1137) + (Originally from FSComp.txt:1145) Invalid RSAParameters structure - '{0}' expected - (Originally from FSComp.txt:1135) + (Originally from FSComp.txt:1143) Invalid Public Key blob - (Originally from FSComp.txt:1139) + (Originally from FSComp.txt:1147) Invalid Magic value in CLR Header - (Originally from FSComp.txt:1130) + (Originally from FSComp.txt:1138) Invalid bit Length - (Originally from FSComp.txt:1134) + (Originally from FSComp.txt:1142) Invalid algId - 'Exponent' expected - (Originally from FSComp.txt:1136) + (Originally from FSComp.txt:1144) Bad image format - (Originally from FSComp.txt:1131) + (Originally from FSComp.txt:1139) Reflected definitions cannot contain uses of the prefix splice operator '%%' - (Originally from FSComp.txt:840) + (Originally from FSComp.txt:841) Mutable variables cannot escape their method - (Originally from FSComp.txt:832) + (Originally from FSComp.txt:833) The MarshalAs attribute could not be decoded - (Originally from FSComp.txt:827) + (Originally from FSComp.txt:828) Main module of program is empty: nothing will happen when it is run - (Originally from FSComp.txt:834) + (Originally from FSComp.txt:835) Literal fields cannot be set - (Originally from FSComp.txt:830) + (Originally from FSComp.txt:831) Label %s not found - (Originally from FSComp.txt:821) + (Originally from FSComp.txt:822) Incorrect number of type arguments to local call - (Originally from FSComp.txt:822) + (Originally from FSComp.txt:823) The FieldOffset attribute could not be decoded - (Originally from FSComp.txt:837) + (Originally from FSComp.txt:838) The FieldOffset attribute can only be placed on members of types marked with the StructLayout(LayoutKind.Explicit) - (Originally from FSComp.txt:1102) + (Originally from FSComp.txt:1106) The type '%s' has been marked as having an Explicit layout, but the field '%s' has not been marked with the 'FieldOffset' attribute - (Originally from FSComp.txt:1093) + (Originally from FSComp.txt:1097) Dynamic invocation of %s is not supported - (Originally from FSComp.txt:823) + (Originally from FSComp.txt:824) The DllImport attribute could not be decoded - (Originally from FSComp.txt:829) + (Originally from FSComp.txt:830) The DefaultAugmentation attribute could not be decoded - (Originally from FSComp.txt:839) + (Originally from FSComp.txt:840) Custom marshallers cannot be specified in F# code. Consider using a C# helper function. - (Originally from FSComp.txt:826) + (Originally from FSComp.txt:827) This operation involves taking the address of a value '%s' represented using a local variable or other special representation. This is invalid. - (Originally from FSComp.txt:825) + (Originally from FSComp.txt:826) Taking the address of a literal field is invalid - (Originally from FSComp.txt:824) + (Originally from FSComp.txt:825) The 'if' expression needs to return a tuple of length %d of type\n %s \nto satisfy context type requirements. It currently returns a tuple of length %d of type\n %s \n - (Originally from FSComp.txt:27) + (Originally from FSComp.txt:28) The 'if' expression needs to have type '%s' to satisfy context type requirements. It currently has type '%s'. - (Originally from FSComp.txt:26) + (Originally from FSComp.txt:27) @@ -7010,3036 +7136,3127 @@ Invalid directive '#%s %s' - (Originally from FSComp.txt:1570) + (Originally from FSComp.txt:1536) Cannot find FSharp.Core.dll in compiler's directory - (Originally from FSComp.txt:1366) + (Originally from FSComp.txt:1374) Conflicting options specified: 'win32manifest' and 'win32res'. Only one of these can be used. - (Originally from FSComp.txt:1145) + (Originally from FSComp.txt:1153) Exiting - too many errors - (Originally from FSComp.txt:1141) + (Originally from FSComp.txt:1149) System.Runtime.InteropServices assembly is required to use UnknownWrapper\DispatchWrapper classes. - (Originally from FSComp.txt:1348) + (Originally from FSComp.txt:1356) Static linking may not be used on an assembly referencing mscorlib (e.g. a .NET Framework assembly) when generating an assembly that references System.Runtime (e.g. a .NET Core or Portable assembly). - (Originally from FSComp.txt:1164) + (Originally from FSComp.txt:1172) Static linking may not include a mixed managed/unmanaged DLL - (Originally from FSComp.txt:1149) + (Originally from FSComp.txt:1157) Static linking may not include a .EXE - (Originally from FSComp.txt:1148) + (Originally from FSComp.txt:1156) Passing a .resx file (%s) as a source file to the compiler is deprecated. Use resgen.exe to transform the .resx file into a .resources file to pass as a --resource option. If you are using MSBuild, this can be done via an <EmbeddedResource> item in the .fsproj project file. - (Originally from FSComp.txt:1163) + (Originally from FSComp.txt:1171) The resident compilation service was not used because a problem occured in communicating with the server. - (Originally from FSComp.txt:1161) + (Originally from FSComp.txt:1169) The assembly '%s' is listed on the command line. Assemblies should be referenced using a command line flag such as '-r'. - (Originally from FSComp.txt:1160) + (Originally from FSComp.txt:1168) Code in this assembly makes uses of quotation literals. Static linking may not include components that make use of quotation literals unless all assemblies are compiled with at least F# 4.0. - (Originally from FSComp.txt:1147) + (Originally from FSComp.txt:1155) The code in assembly '%s' makes uses of quotation literals. Static linking may not include components that make use of quotation literals unless all assemblies are compiled with at least F# 4.0. - (Originally from FSComp.txt:1146) + (Originally from FSComp.txt:1154) A problem occurred writing the binary '%s': %s - (Originally from FSComp.txt:1154) + (Originally from FSComp.txt:1162) No implementation files specified - (Originally from FSComp.txt:1143) + (Originally from FSComp.txt:1151) Option '--keycontainer' overrides attribute 'System.Reflection.AssemblyNameAttribute' given in a source file or added module - (Originally from FSComp.txt:1159) + (Originally from FSComp.txt:1167) Option '--keyfile' overrides attribute 'System.Reflection.AssemblyKeyFileAttribute' given in a source file or added module - (Originally from FSComp.txt:1158) + (Originally from FSComp.txt:1166) The key file '%s' could not be opened - (Originally from FSComp.txt:1153) + (Originally from FSComp.txt:1161) Ignoring mixed managed/unmanaged assembly '%s' during static linking - (Originally from FSComp.txt:1150) + (Originally from FSComp.txt:1158) Option '--delaysign' overrides attribute 'System.Reflection.AssemblyDelaySignAttribute' given in a source file or added module - (Originally from FSComp.txt:1157) + (Originally from FSComp.txt:1165) The attribute %s specified version '%s', but this value is invalid and has been ignored - (Originally from FSComp.txt:1144) + (Originally from FSComp.txt:1152) Assembly '%s' was referenced transitively and the assembly could not be resolved automatically. Static linking will assume this DLL has no dependencies on the F# library or other statically linked DLLs. Consider adding an explicit reference to this DLL. - (Originally from FSComp.txt:1151) + (Originally from FSComp.txt:1159) An %s specified version '%s', but this value is a wildcard, and you have requested a deterministic build, these are in conflict. - (Originally from FSComp.txt:1165) + (Originally from FSComp.txt:1173) The 'AssemblyVersionAttribute' has been ignored because a version was given using a command line option - (Originally from FSComp.txt:1155) + (Originally from FSComp.txt:1163) Assembly '%s' not found in dependency set of target binary. Statically linked roots should be specified using an assembly name, without a DLL or EXE extension. If this assembly was referenced explicitly then it is possible the assembly was not actually required by the generated binary, in which case it should not be statically linked. - (Originally from FSComp.txt:1152) + (Originally from FSComp.txt:1160) Error emitting 'System.Reflection.AssemblyCultureAttribute' attribute -- 'Executables cannot be satellite assemblies, Culture should always be empty' - (Originally from FSComp.txt:1156) + (Originally from FSComp.txt:1164) The 'from the end slicing' feature requires language version 'preview'. - (Originally from FSComp.txt:1516) + (Originally from FSComp.txt:1527) - %s - (Originally from FSComp.txt:1532) + (Originally from FSComp.txt:1544) Prefix flag (' ' or '+') set twice - (Originally from FSComp.txt:230) + (Originally from FSComp.txt:233) Precision missing after the '.' - (Originally from FSComp.txt:235) + (Originally from FSComp.txt:238) Positional specifiers are not permitted in format strings - (Originally from FSComp.txt:227) + (Originally from FSComp.txt:230) The '%%A' format specifier may not be used in an assembly being compiled with option '--reflectionfree'. This construct implicitly uses reflection. - (Originally from FSComp.txt:242) + (Originally from FSComp.txt:245) Missing format specifier - (Originally from FSComp.txt:228) + (Originally from FSComp.txt:231) The 'l' or 'L' in this format specifier is unnecessary. In F# code you can use %%d, %%x, %%o or %%u instead, which are overloaded to work with all basic integer types. - (Originally from FSComp.txt:238) + (Originally from FSComp.txt:241) The # formatting modifier is invalid in F# - (Originally from FSComp.txt:231) + (Originally from FSComp.txt:234) The 'h' or 'H' in this format specifier is unnecessary. You can use %%d, %%x, %%o or %%u instead, which are overloaded to work with all basic integer types. - (Originally from FSComp.txt:239) + (Originally from FSComp.txt:242) Interpolated strings used as type IFormattable or type FormattableString may not use '%%' specifiers, only .NET-style interpolands such as '{expr}', '{expr,3}' or '{expr:N5}' may be used. - (Originally from FSComp.txt:1597) + (Originally from FSComp.txt:1617) The '%%P' specifier may not be used explicitly. - (Originally from FSComp.txt:1596) + (Originally from FSComp.txt:1616) .NET-style format specifiers such as '{x,3}' or '{x:N5}' may not be mixed with '%%' format specifiers. - (Originally from FSComp.txt:1595) + (Originally from FSComp.txt:1615) Interpolated strings may not use '%%' format specifiers unless each is given an expression, e.g. '%%d{1+1}'. - (Originally from FSComp.txt:1594) + (Originally from FSComp.txt:1614) '%s' format does not support precision - (Originally from FSComp.txt:236) + (Originally from FSComp.txt:239) '%s' flag set twice - (Originally from FSComp.txt:229) + (Originally from FSComp.txt:232) '%s' format does not support '0' flag - (Originally from FSComp.txt:234) + (Originally from FSComp.txt:237) '%s' does not support prefix '%s' flag - (Originally from FSComp.txt:240) + (Originally from FSComp.txt:243) Bad width in format specifier - (Originally from FSComp.txt:233) + (Originally from FSComp.txt:236) Bad precision in format specifier - (Originally from FSComp.txt:232) + (Originally from FSComp.txt:235) Bad format specifier: '%s' - (Originally from FSComp.txt:241) + (Originally from FSComp.txt:244) Bad format specifier (after l or L): Expected ld,li,lo,lu,lx or lX. In F# code you can use %%d, %%x, %%o or %%u instead, which are overloaded to work with all basic integer types. - (Originally from FSComp.txt:237) + (Originally from FSComp.txt:240) All branches of a pattern match expression must return values implicitly convertible to the type of the first branch, which here is a tuple of length %d of type\n %s \nThis branch returns a tuple of length %d of type\n %s \n - (Originally from FSComp.txt:31) + (Originally from FSComp.txt:32) All branches of a pattern match expression must return values implicitly convertible to the type of the first branch, which here is '%s'. This branch returns a value of type '%s'. - (Originally from FSComp.txt:30) + (Originally from FSComp.txt:31) The record, struct or class field '%s' is not accessible from this code location - (Originally from FSComp.txt:972) + (Originally from FSComp.txt:976) witness passing for trait constraints in F# quotations - (Originally from FSComp.txt:1548) + (Originally from FSComp.txt:1560) wild card in for loop - (Originally from FSComp.txt:1534) + (Originally from FSComp.txt:1546) + + + + + 'while!' expression + (Originally from FSComp.txt:1588) + + + + + Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. + (Originally from FSComp.txt:1583) Raises warnings when 'let inline ... =' is used together with [<MethodImpl(MethodImplOptions.NoInlining)>] attribute. Function is not getting inlined. - (Originally from FSComp.txt:1562) + (Originally from FSComp.txt:1574) Raises warnings when an copy-and-update record expression changes all fields of a record. - (Originally from FSComp.txt:1566) + (Originally from FSComp.txt:1578) + + + + + Interop between C#'s and F#'s unmanaged generic constraint (emit additional modreq) + (Originally from FSComp.txt:1723) Support for try-with in sequence expressions - (Originally from FSComp.txt:1565) + (Originally from FSComp.txt:1577) struct representation for active patterns - (Originally from FSComp.txt:1550) + (Originally from FSComp.txt:1562) string interpolation - (Originally from FSComp.txt:1547) + (Originally from FSComp.txt:1559) + + + + + Raises errors on incorrect indentation, allows better recovery and analysis during editing + (Originally from FSComp.txt:1585) Static members in interfaces - (Originally from FSComp.txt:1567) + (Originally from FSComp.txt:1579) + + + + + Allow static let bindings in union, record, struct, non-incremental-class types + (Originally from FSComp.txt:1711) single underscore pattern - (Originally from FSComp.txt:1533) + (Originally from FSComp.txt:1545) self type constraints - (Originally from FSComp.txt:1555) + (Originally from FSComp.txt:1567) resumable state machines - (Originally from FSComp.txt:1544) + (Originally from FSComp.txt:1556) support for required properties - (Originally from FSComp.txt:1556) + (Originally from FSComp.txt:1568) whitespace relaxation v2 - (Originally from FSComp.txt:1551) + (Originally from FSComp.txt:1563) whitespace relexation - (Originally from FSComp.txt:1535) + (Originally from FSComp.txt:1547) informational messages related to reference cells - (Originally from FSComp.txt:1243) + (Originally from FSComp.txt:1251) list literals of any size - (Originally from FSComp.txt:1552) + (Originally from FSComp.txt:1564) binary formatting for integers - (Originally from FSComp.txt:1241) + (Originally from FSComp.txt:1249) + + + + + prefer String.GetPinnableReference in fixed bindings + (Originally from FSComp.txt:1590) package management - (Originally from FSComp.txt:1540) + (Originally from FSComp.txt:1552) overloads for custom operations - (Originally from FSComp.txt:1239) + (Originally from FSComp.txt:1247) open type declaration - (Originally from FSComp.txt:1538) + (Originally from FSComp.txt:1550) nullable optional interop - (Originally from FSComp.txt:1545) + (Originally from FSComp.txt:1557) non-variable patterns to the right of 'as' patterns - (Originally from FSComp.txt:1245) + (Originally from FSComp.txt:1253) String values marked as literals and IL constants as printf format - (Originally from FSComp.txt:1568) + (Originally from FSComp.txt:1580) Nested record field copy-and-update - (Originally from FSComp.txt:1569) + (Originally from FSComp.txt:1581) nameof - (Originally from FSComp.txt:1536) + (Originally from FSComp.txt:1548) Pattern match discard is not allowed for union case that takes no data. - (Originally from FSComp.txt:1559) + (Originally from FSComp.txt:1571) ML compatibility revisions - (Originally from FSComp.txt:1247) + (Originally from FSComp.txt:1255) Allow lowercase DU when RequireQualifiedAccess attribute - (Originally from FSComp.txt:1558) + (Originally from FSComp.txt:1570) interfaces with multiple generic instantiation - (Originally from FSComp.txt:1577) + (Originally from FSComp.txt:1597) static abstract interface members - (Originally from FSComp.txt:1554) + (Originally from FSComp.txt:1566) support for consuming init properties - (Originally from FSComp.txt:1557) + (Originally from FSComp.txt:1569) + + + + + Diagnostic 3559 (warn when obj inferred) at informational level, off by default + (Originally from FSComp.txt:1710) expr[idx] notation for indexing and slicing - (Originally from FSComp.txt:1242) + (Originally from FSComp.txt:1250) + + + + + Improved implied argument names + (Originally from FSComp.txt:1584) implicit yield - (Originally from FSComp.txt:1537) + (Originally from FSComp.txt:1549) from-end slicing - (Originally from FSComp.txt:1541) + (Originally from FSComp.txt:1553) fixed-index slice 3d/4d - (Originally from FSComp.txt:1542) + (Originally from FSComp.txt:1554) + + + + + Extended string interpolation similar to C# raw string literals. + (Originally from FSComp.txt:1582) + + + + + extended fixed bindings for byref and GetPinnableReference + (Originally from FSComp.txt:1589) more types support units of measure - (Originally from FSComp.txt:1240) + (Originally from FSComp.txt:1248) Escapes curly braces before calling FormattableStringFactory.Create when interpolated string literal is typed as FormattableString - (Originally from FSComp.txt:1674) + (Originally from FSComp.txt:1694) Error reporting on static classes - (Originally from FSComp.txt:1564) + (Originally from FSComp.txt:1576) give error on deprecated access of construct with RequireQualifiedAccess attribute - (Originally from FSComp.txt:1553) + (Originally from FSComp.txt:1565) Raises errors for non-virtual members overrides - (Originally from FSComp.txt:1561) + (Originally from FSComp.txt:1573) dotless float32 literal - (Originally from FSComp.txt:1539) + (Originally from FSComp.txt:1551) discard pattern in use binding - (Originally from FSComp.txt:1244) + (Originally from FSComp.txt:1252) fix to resolution of delegate type names, see https://github.com/dotnet/fsharp/issues/10228 - (Originally from FSComp.txt:1249) + (Originally from FSComp.txt:1257) default interface member consumption - (Originally from FSComp.txt:1546) + (Originally from FSComp.txt:1558) + + + + + Constraint intersection on flexible types + (Originally from FSComp.txt:1586) + + + + + Raises warnings if a member or function has the 'TailCall' attribute, but is not being used in a tail recursive way. + (Originally from FSComp.txt:1587) Allow implicit Extension attribute on declaring types, modules - (Originally from FSComp.txt:1560) + (Originally from FSComp.txt:1572) automatic generation of 'Message' property for 'exception' declarations - (Originally from FSComp.txt:1248) + (Originally from FSComp.txt:1256) attributes to the right of the 'module' keyword - (Originally from FSComp.txt:1246) + (Originally from FSComp.txt:1254) Arithmetic and logical operations in literals, enum definitions and attributes - (Originally from FSComp.txt:1563) + (Originally from FSComp.txt:1575) applicative computation expressions - (Originally from FSComp.txt:1543) + (Originally from FSComp.txt:1555) additional type-directed conversions - (Originally from FSComp.txt:1549) + (Originally from FSComp.txt:1561) + + + + + underscore dot shorthand for accessor only function + (Originally from FSComp.txt:1718) Expression does not have a name. - (Originally from FSComp.txt:1510) + (Originally from FSComp.txt:1521) This construct is experimental - (Originally from FSComp.txt:974) + (Originally from FSComp.txt:978) The event '%s' has a non-standard type. If this event is declared in another CLI language, you may need to access this event using the explicit %s and %s methods for the event. If this event is declared in F#, make the type of the event an instantiation of either 'IDelegateEvent<_>' or 'IEvent<_,_>'. - (Originally from FSComp.txt:967) + (Originally from FSComp.txt:971) Unsupported expression '%s' from type provider. If you are the author of this type provider, consider adjusting it to provide a different provided expression. - (Originally from FSComp.txt:1188) + (Originally from FSComp.txt:1196) Invalid member '%s' on provided type '%s'. Only properties, methods and constructors are allowed - (Originally from FSComp.txt:1180) + (Originally from FSComp.txt:1188) Unsupported constant type '%s'. Quotations provided by type providers can only contain simple constants. The implementation of the type provider may need to be adjusted by moving a value declared outside a provided quotation literal to be a 'let' binding inside the quotation literal. - (Originally from FSComp.txt:1187) + (Originally from FSComp.txt:1195) Unknown static argument kind '%s' when resolving a reference to a provided type or method '%s' - (Originally from FSComp.txt:1206) + (Originally from FSComp.txt:1214) Unexpected 'null' return value from provided type '%s' member '%s' - (Originally from FSComp.txt:1201) + (Originally from FSComp.txt:1209) Unexpected exception from provided type '%s' member '%s': %s - (Originally from FSComp.txt:1186) + (Originally from FSComp.txt:1194) Unexpected exception from member '%s' of provided type '%s' member '%s': %s - (Originally from FSComp.txt:1202) + (Originally from FSComp.txt:1210) The type provider constructor has thrown an exception: %s - (Originally from FSComp.txt:1212) + (Originally from FSComp.txt:1220) Too many static parameters. Expected at most %d parameters, but got %d unnamed and %d named parameters. - (Originally from FSComp.txt:1311) + (Originally from FSComp.txt:1319) The static parameter '%s' of the provided type or method '%s' requires a value. Static parameters to type providers may be optionally specified using named arguments, e.g. '%s<%s=...>'. - (Originally from FSComp.txt:1232) + (Originally from FSComp.txt:1240) The static parameter '%s' has already been given a value - (Originally from FSComp.txt:1234) + (Originally from FSComp.txt:1242) The type provider returned 'null', which is not a valid return value from '%s' - (Originally from FSComp.txt:1211) + (Originally from FSComp.txt:1219) Assembly attribute '%s' refers to a designer assembly '%s' which cannot be loaded or doesn't exist. The exception reported was: %s - %s - (Originally from FSComp.txt:1192) + (Originally from FSComp.txt:1200) Assembly attribute '%s' refers to a designer assembly '%s' which cannot be loaded from path '%s'. The exception reported was: %s - %s - (Originally from FSComp.txt:1193) + (Originally from FSComp.txt:1201) The type provider designer assembly '%s' could not be loaded from folder '%s'. The exception reported was: %s - %s - (Originally from FSComp.txt:1208) + (Originally from FSComp.txt:1216) The type provider designer assembly '%s' could not be loaded from folder '%s' because a dependency was missing or could not loaded. All dependencies of the type provider designer assembly must be located in the same folder as that assembly. The exception reported was: %s - %s - (Originally from FSComp.txt:1207) + (Originally from FSComp.txt:1215) The type provider '%s' reported an error in the context of provided type '%s', member '%s'. The error: %s - (Originally from FSComp.txt:1225) + (Originally from FSComp.txt:1233) The type provider '%s' reported an error: %s - (Originally from FSComp.txt:1195) + (Originally from FSComp.txt:1203) The type provider does not have a valid constructor. A constructor taking either no arguments or one argument of type 'TypeProviderConfig' was expected. - (Originally from FSComp.txt:1194) + (Originally from FSComp.txt:1202) The '%s' of a provided type was null or empty. - (Originally from FSComp.txt:1227) + (Originally from FSComp.txt:1235) An exception occurred when accessing the '%s' of a provided type: %s - (Originally from FSComp.txt:1226) + (Originally from FSComp.txt:1234) A reference to a provided type was missing a value for the static parameter '%s'. You may need to recompile one or more referenced assemblies. - (Originally from FSComp.txt:1252) + (Originally from FSComp.txt:1260) A reference to a provided type had an invalid value '%s' for a static parameter. You may need to recompile one or more referenced assemblies. - (Originally from FSComp.txt:1253) + (Originally from FSComp.txt:1261) Expected provided type with path '%s' but provided type has path '%s' - (Originally from FSComp.txt:1200) + (Originally from FSComp.txt:1208) Expected provided type named '%s' but provided type has 'Name' with value '%s' - (Originally from FSComp.txt:1189) + (Originally from FSComp.txt:1197) The type provider '%s' returned an invalid type from 'ApplyStaticArguments'. A type with name '%s' was expected, but a type with name '%s' was returned. - (Originally from FSComp.txt:1214) + (Originally from FSComp.txt:1222) The type provider '%s' returned an invalid method from 'ApplyStaticArgumentsForMethod'. A method with name '%s' was expected, but a method with name '%s' was returned. - (Originally from FSComp.txt:1215) + (Originally from FSComp.txt:1223) Property '%s' on provided type '%s' is neither readable nor writable as it has CanRead=false and CanWrite=false - (Originally from FSComp.txt:1292) + (Originally from FSComp.txt:1300) Property '%s' on provided type '%s' has CanWrite=false but GetSetMethod() returned a method - (Originally from FSComp.txt:1184) + (Originally from FSComp.txt:1192) Property '%s' on provided type '%s' has CanRead=false but GetGetMethod() returned a method - (Originally from FSComp.txt:1182) + (Originally from FSComp.txt:1190) Property '%s' on provided type '%s' has CanWrite=true but there was no value from GetSetMethod() - (Originally from FSComp.txt:1183) + (Originally from FSComp.txt:1191) Property '%s' on provided type '%s' has CanRead=true but there was no value from GetGetMethod() - (Originally from FSComp.txt:1181) + (Originally from FSComp.txt:1189) One or more errors seen during provided type setup - (Originally from FSComp.txt:1185) + (Originally from FSComp.txt:1193) Type provider '%s' returned null from GetInvokerExpression. - (Originally from FSComp.txt:1213) + (Originally from FSComp.txt:1221) The provided type '%s' returned a member with a null or empty member name - (Originally from FSComp.txt:1170) + (Originally from FSComp.txt:1178) The provided type '%s' has member '%s' which has declaring type '%s'. Expected declaring type to be the same as provided type. - (Originally from FSComp.txt:1173) + (Originally from FSComp.txt:1181) The provided type '%s' member info '%s' has null declaring type - (Originally from FSComp.txt:1172) + (Originally from FSComp.txt:1180) The provided type '%s' returned a null member - (Originally from FSComp.txt:1171) + (Originally from FSComp.txt:1179) No static parameter exists with name '%s' - (Originally from FSComp.txt:1233) + (Originally from FSComp.txt:1241) Nested provided types do not take static arguments or generic parameters - (Originally from FSComp.txt:1203) + (Originally from FSComp.txt:1211) Provided type '%s' has 'IsGenericType' as true, but generic types are not supported. - (Originally from FSComp.txt:1177) + (Originally from FSComp.txt:1185) Provided type '%s' has 'IsArray' as true, but array types are not supported. - (Originally from FSComp.txt:1178) + (Originally from FSComp.txt:1186) Multiple static parameters exist with name '%s' - (Originally from FSComp.txt:1235) + (Originally from FSComp.txt:1243) This provided method requires static parameters - (Originally from FSComp.txt:1368) + (Originally from FSComp.txt:1376) Invalid member '%s' on provided type '%s'. Provided type members must be public, and not be generic, virtual, or abstract. - (Originally from FSComp.txt:1179) + (Originally from FSComp.txt:1187) Assembly '%s' hase TypeProviderAssembly attribute with invalid value '%s'. The value should be a valid assembly name - (Originally from FSComp.txt:1220) + (Originally from FSComp.txt:1228) Invalid static argument to provided type. Expected an argument of kind '%s'. - (Originally from FSComp.txt:1204) + (Originally from FSComp.txt:1212) The type provider '%s' provided a method with a name '%s' and metadata token '%d', which is not reported among its methods of its declaring type '%s' - (Originally from FSComp.txt:1197) + (Originally from FSComp.txt:1205) The type provider '%s' provided a constructor which is not reported among the constructors of its declaring type '%s' - (Originally from FSComp.txt:1198) + (Originally from FSComp.txt:1206) The type provider '%s' used an invalid parameter in the ParameterExpression: %s - (Originally from FSComp.txt:1196) + (Originally from FSComp.txt:1204) Character '%s' is not allowed in provided type name '%s' - (Originally from FSComp.txt:1228) + (Originally from FSComp.txt:1236) Character '%s' is not allowed in provided namespace name '%s' - (Originally from FSComp.txt:1169) + (Originally from FSComp.txt:1177) Referenced assembly '%s' has assembly level attribute '%s' but no public type provider classes were found - (Originally from FSComp.txt:1174) + (Originally from FSComp.txt:1182) Event '%s' on provided type '%s' has no value from GetRemoveMethod() - (Originally from FSComp.txt:1191) + (Originally from FSComp.txt:1199) Event '%s' on provided type '%s' has no value from GetAddMethod() - (Originally from FSComp.txt:1190) + (Originally from FSComp.txt:1198) An error occured applying the static arguments to a provided type - (Originally from FSComp.txt:1205) + (Originally from FSComp.txt:1213) An error occured applying the static arguments to a provided method - (Originally from FSComp.txt:1351) + (Originally from FSComp.txt:1359) The provider '%s' returned a non-generated type '%s' in the context of a set of generated types. Consider adjusting the type provider to only return generated types. - (Originally from FSComp.txt:1315) + (Originally from FSComp.txt:1323) Type '%s' from type provider '%s' has an empty namespace. Use 'null' for the global namespace. - (Originally from FSComp.txt:1175) + (Originally from FSComp.txt:1183) Empty namespace found from the type provider '%s'. Use 'null' for the global namespace. - (Originally from FSComp.txt:1176) + (Originally from FSComp.txt:1184) A direct reference to the generated type '%s' is not permitted. Instead, use a type definition, e.g. 'type TypeAlias = <path>'. This indicates that a type provider adds generated types to your assembly. - (Originally from FSComp.txt:1199) + (Originally from FSComp.txt:1207) Named static arguments must come after all unnamed static arguments - (Originally from FSComp.txt:1231) + (Originally from FSComp.txt:1239) A type provider implemented GetStaticParametersForMethod, but ApplyStaticArgumentsForMethod was not implemented or invalid - (Originally from FSComp.txt:1350) + (Originally from FSComp.txt:1358) Erased to - (Originally from FSComp.txt:1320) + (Originally from FSComp.txt:1328) All branches of an 'if' expression must return values implicitly convertible to the type of the first branch, which here is a tuple of length %d of type\n %s \nThis branch returns a tuple of length %d of type\n %s \n - (Originally from FSComp.txt:29) + (Originally from FSComp.txt:30) All branches of an 'if' expression must return values implicitly convertible to the type of the first branch, which here is '%s'. This branch returns a value of type '%s'. - (Originally from FSComp.txt:28) + (Originally from FSComp.txt:29) System.Environment.Exit did not exit - (Originally from FSComp.txt:243) + (Originally from FSComp.txt:246) The treatment of this operator is now handled directly by the F# compiler and its meaning cannot be redefined - (Originally from FSComp.txt:244) + (Originally from FSComp.txt:247) The documentation file has no .xml suffix - (Originally from FSComp.txt:1142) + (Originally from FSComp.txt:1150) is - (Originally from FSComp.txt:1474) + (Originally from FSComp.txt:1486) (description unavailable...) - (Originally from FSComp.txt:1327) + (Originally from FSComp.txt:1335) The '!' operator is used to dereference a ref cell. Consider using 'not expr' here. - (Originally from FSComp.txt:34) + (Originally from FSComp.txt:35) Delegates are not allowed to have curried signatures - (Originally from FSComp.txt:977) + (Originally from FSComp.txt:981) %s var in collection - (Originally from FSComp.txt:1258) + (Originally from FSComp.txt:1266) %s var in collection %s (outerKey = innerKey). Note that parentheses are required after '%s' - (Originally from FSComp.txt:1256) + (Originally from FSComp.txt:1264) %s var in collection %s (outerKey = innerKey) into group. Note that parentheses are required after '%s' - (Originally from FSComp.txt:1257) + (Originally from FSComp.txt:1265) + + + + + The constraints 'unmanaged' and 'not struct' are inconsistent + (Originally from FSComp.txt:324) None of the types '%s' support the operator '%s'. Consider opening the module 'Microsoft.FSharp.Linq.NullableOperators'. - (Originally from FSComp.txt:315) + (Originally from FSComp.txt:318) None of the types '%s' support the operator '%s' - (Originally from FSComp.txt:313) + (Originally from FSComp.txt:316) This type parameter cannot be instantiated to 'Nullable'. This is a restriction imposed in order to ensure the meaning of 'null' in some CLI languages is not confusing when used in conjunction with 'Nullable' values. - (Originally from FSComp.txt:332) + (Originally from FSComp.txt:336) The type '%s' is not compatible with any of the types %s, arising from the use of a printf-style format string - (Originally from FSComp.txt:335) + (Originally from FSComp.txt:339) The type '%s' is not a CLI enum type - (Originally from FSComp.txt:329) + (Originally from FSComp.txt:333) The type '%s' is not a CLI delegate type - (Originally from FSComp.txt:331) + (Originally from FSComp.txt:335) Type instantiation length mismatch - (Originally from FSComp.txt:340) + (Originally from FSComp.txt:344) Type inference problem too complicated (maximum iteration depth reached). Consider adding further type annotations. - (Originally from FSComp.txt:308) + (Originally from FSComp.txt:311) The type '%s' has a non-standard delegate type - (Originally from FSComp.txt:330) + (Originally from FSComp.txt:334) The type '%s' does not support the operator '%s'. Consider opening the module 'Microsoft.FSharp.Linq.NullableOperators'. - (Originally from FSComp.txt:316) + (Originally from FSComp.txt:319) The type '%s' does not support the operator '%s' - (Originally from FSComp.txt:314) + (Originally from FSComp.txt:317) The type '%s' does not support the 'equality' constraint because it is a record, union or struct with one or more structural element types which do not support the 'equality' constraint. Either avoid the use of equality with this type, or add the 'StructuralEquality' attribute to the type to determine which field type does not support equality - (Originally from FSComp.txt:328) + (Originally from FSComp.txt:332) The type '%s' does not support the 'equality' constraint because it is a function type - (Originally from FSComp.txt:327) + (Originally from FSComp.txt:331) The type '%s' does not support the 'equality' constraint because it has the 'NoEquality' attribute - (Originally from FSComp.txt:326) + (Originally from FSComp.txt:330) The type '%s' does not support a conversion to the type '%s' - (Originally from FSComp.txt:317) + (Originally from FSComp.txt:320) The type '%s' does not support the 'comparison' constraint because it is a record, union or struct with one or more structural element types which do not support the 'comparison' constraint. Either avoid the use of comparison with this type, or add the 'StructuralComparison' attribute to the type to determine which field type does not support comparison - (Originally from FSComp.txt:325) + (Originally from FSComp.txt:329) The type '%s' does not support the 'comparison' constraint. For example, it does not support the 'System.IComparable' interface - (Originally from FSComp.txt:324) + (Originally from FSComp.txt:328) The type '%s' does not support the 'comparison' constraint because it has the 'NoComparison' attribute - (Originally from FSComp.txt:323) + (Originally from FSComp.txt:327) The type '%s' does not have 'null' as a proper value - (Originally from FSComp.txt:321) + (Originally from FSComp.txt:325) The declared type parameter '%s' cannot be used here since the type parameter cannot be resolved at compile time - (Originally from FSComp.txt:306) + (Originally from FSComp.txt:309) The constraints 'struct' and 'not struct' are inconsistent - (Originally from FSComp.txt:320) + (Originally from FSComp.txt:323) The required signature is %s - (Originally from FSComp.txt:353) + (Originally from FSComp.txt:357) Argument '%s' doesn't match - (Originally from FSComp.txt:379) + (Originally from FSComp.txt:383) Argument at index %d doesn't match - (Originally from FSComp.txt:380) + (Originally from FSComp.txt:384) Optional arguments not permitted here - (Originally from FSComp.txt:341) + (Originally from FSComp.txt:345) The type '%s' does not have 'null' as a proper value. To create a null value for a Nullable type use 'System.Nullable()'. - (Originally from FSComp.txt:322) + (Originally from FSComp.txt:326) Known type parameter: %s - (Originally from FSComp.txt:373) + (Originally from FSComp.txt:377) Known type parameters: %s - (Originally from FSComp.txt:374) + (Originally from FSComp.txt:378) Known return type: %s - (Originally from FSComp.txt:375) + (Originally from FSComp.txt:379) Known type of argument: %s - (Originally from FSComp.txt:371) + (Originally from FSComp.txt:375) Known types of arguments: %s - (Originally from FSComp.txt:372) + (Originally from FSComp.txt:376) No overloads match for method '%s'. - (Originally from FSComp.txt:370) + (Originally from FSComp.txt:374) No %s member or object constructor named '%s' takes %d arguments. The named argument '%s' doesn't correspond to any argument or settable return property for any overload. - (Originally from FSComp.txt:368) + (Originally from FSComp.txt:372) No %s member or object constructor named '%s' takes %d arguments. Note the call to this member also provides %d named arguments. - (Originally from FSComp.txt:367) + (Originally from FSComp.txt:371) No %s member or object constructor named '%s' takes %d arguments - (Originally from FSComp.txt:366) + (Originally from FSComp.txt:370) Method or object constructor '%s' not found - (Originally from FSComp.txt:369) + (Originally from FSComp.txt:373) A unique overload for method '%s' could not be determined based on type information prior to this program point. A type annotation may be needed. - (Originally from FSComp.txt:376) + (Originally from FSComp.txt:380) %s is not an instance method - (Originally from FSComp.txt:350) + (Originally from FSComp.txt:354) %s is not a static method - (Originally from FSComp.txt:349) + (Originally from FSComp.txt:353) The type '%s' has a method '%s' (full name '%s'), but the method is static - (Originally from FSComp.txt:318) + (Originally from FSComp.txt:321) The type '%s' has a method '%s' (full name '%s'), but the method is not static - (Originally from FSComp.txt:319) + (Originally from FSComp.txt:322) This method expects a CLI 'params' parameter in this position. 'params' is a way of passing a variable number of arguments to a method in languages such as C#. Consider passing an array for this argument - (Originally from FSComp.txt:346) + (Originally from FSComp.txt:350) The member or object constructor '%s' takes %d type argument(s) but is here given %d. The required signature is '%s'. - (Originally from FSComp.txt:362) + (Originally from FSComp.txt:366) The member or object constructor '%s' requires %d argument(s) but is here given %d unnamed and %d named argument(s). The required signature is '%s'. - (Originally from FSComp.txt:358) + (Originally from FSComp.txt:362) The member or object constructor '%s' takes %d argument(s) but is here given %d. The required signature is '%s'. - (Originally from FSComp.txt:359) + (Originally from FSComp.txt:363) The member or object constructor '%s' requires %d additional argument(s). The required signature is '%s'. Some names for missing arguments are %s. - (Originally from FSComp.txt:357) + (Originally from FSComp.txt:361) The member or object constructor '%s' requires %d argument(s). The required signature is '%s'. Some names for missing arguments are %s. - (Originally from FSComp.txt:356) + (Originally from FSComp.txt:360) The member or object constructor '%s' requires %d additional argument(s). The required signature is '%s'. - (Originally from FSComp.txt:355) + (Originally from FSComp.txt:359) The member or object constructor '%s' requires %d argument(s). The required signature is '%s'. - (Originally from FSComp.txt:354) + (Originally from FSComp.txt:358) The member or object constructor '%s' does not take %d argument(s). An overload was found taking %d arguments. - (Originally from FSComp.txt:365) + (Originally from FSComp.txt:369) A member or object constructor '%s' taking %d arguments is not accessible from this code location. All accessible versions of method '%s' take %d arguments. - (Originally from FSComp.txt:363) + (Originally from FSComp.txt:367) %s is not a static member - (Originally from FSComp.txt:342) + (Originally from FSComp.txt:346) %s is not an instance member - (Originally from FSComp.txt:343) + (Originally from FSComp.txt:347) The member or object constructor '%s' is not %s. Private members may only be accessed from within the declaring type. Protected members may only be accessed from an extending type and cannot be accessed from inner lambda expressions. - (Originally from FSComp.txt:348) + (Originally from FSComp.txt:352) The member or object constructor '%s' is not %s - (Originally from FSComp.txt:347) + (Originally from FSComp.txt:351) The member or object constructor '%s' has no argument or settable return property '%s'. %s. - (Originally from FSComp.txt:351) + (Originally from FSComp.txt:355) This indexer expects %d arguments but is here given %d - (Originally from FSComp.txt:310) + (Originally from FSComp.txt:313) Incorrect generic instantiation. No %s member named '%s' takes %d generic arguments. - (Originally from FSComp.txt:364) + (Originally from FSComp.txt:368) A generic construct requires that the type '%s' is an unmanaged type - (Originally from FSComp.txt:334) + (Originally from FSComp.txt:338) A generic construct requires that the type '%s' is a CLI or F# struct type - (Originally from FSComp.txt:333) + (Originally from FSComp.txt:337) A generic construct requires that a generic type parameter be known as a struct or reference type. Consider adding a type annotation. - (Originally from FSComp.txt:339) + (Originally from FSComp.txt:343) A generic construct requires that the type '%s' have reference semantics, but it does not, i.e. it is a struct - (Originally from FSComp.txt:336) + (Originally from FSComp.txt:340) A generic construct requires that the type '%s' have a public default constructor - (Originally from FSComp.txt:338) + (Originally from FSComp.txt:342) A generic construct requires that the type '%s' be non-abstract - (Originally from FSComp.txt:337) + (Originally from FSComp.txt:341) Expected arguments to an instance member - (Originally from FSComp.txt:309) + (Originally from FSComp.txt:312) Expecting a type supporting the operator '%s' but given a tuple type - (Originally from FSComp.txt:312) + (Originally from FSComp.txt:315) Expecting a type supporting the operator '%s' but given a function type. You may be missing an argument to a function. - (Originally from FSComp.txt:311) + (Originally from FSComp.txt:314) The object constructor '%s' takes %d argument(s) but is here given %d. The required signature is '%s'. If some of the arguments are meant to assign values to properties, consider separating those arguments with a comma (','). - (Originally from FSComp.txt:361) + (Originally from FSComp.txt:365) The object constructor '%s' takes %d argument(s) but is here given %d. The required signature is '%s'. - (Originally from FSComp.txt:360) + (Originally from FSComp.txt:364) The object constructor '%s' has no argument or settable return property '%s'. %s. - (Originally from FSComp.txt:352) + (Originally from FSComp.txt:356) This code is less generic than indicated by its annotations. A unit-of-measure specified using '_' has been determined to be '1', i.e. dimensionless. Consider making the code generic, or removing the use of '_'. - (Originally from FSComp.txt:307) + (Originally from FSComp.txt:310) Candidates:\n%s - (Originally from FSComp.txt:377) + (Originally from FSComp.txt:381) Available overloads:\n%s - (Originally from FSComp.txt:378) + (Originally from FSComp.txt:382) The argument types don't match - (Originally from FSComp.txt:345) + (Originally from FSComp.txt:349) Argument length mismatch - (Originally from FSComp.txt:344) + (Originally from FSComp.txt:348) Quotations cannot contain expressions that set union case fields - (Originally from FSComp.txt:298) + (Originally from FSComp.txt:301) Quotations cannot contain expressions that set fields in exception values - (Originally from FSComp.txt:299) + (Originally from FSComp.txt:302) Quotations cannot contain expressions that require byref pointers - (Originally from FSComp.txt:300) + (Originally from FSComp.txt:303) Quotations cannot contain expressions that fetch union case indexes - (Originally from FSComp.txt:297) + (Originally from FSComp.txt:300) Quotations cannot contain this kind of type - (Originally from FSComp.txt:305) + (Originally from FSComp.txt:308) Quotations cannot contain this kind of pattern match - (Originally from FSComp.txt:303) + (Originally from FSComp.txt:306) Quotations cannot contain this kind of constant - (Originally from FSComp.txt:302) + (Originally from FSComp.txt:305) Quotations cannot contain expressions that fetch static fields - (Originally from FSComp.txt:294) + (Originally from FSComp.txt:297) Quotations cannot contain object expressions - (Originally from FSComp.txt:292) + (Originally from FSComp.txt:295) Quotations cannot contain inline assembly code or pattern matching on arrays - (Originally from FSComp.txt:295) + (Originally from FSComp.txt:298) Quotations cannot contain function definitions that are inferred or declared to be generic. Consider adding some type constraints to make this a valid quoted expression. - (Originally from FSComp.txt:291) + (Originally from FSComp.txt:294) Quotations cannot contain uses of generic expressions - (Originally from FSComp.txt:290) + (Originally from FSComp.txt:293) Quotations cannot contain descending for loops - (Originally from FSComp.txt:296) + (Originally from FSComp.txt:299) Quotations cannot contain array pattern matching - (Originally from FSComp.txt:304) + (Originally from FSComp.txt:307) Quotations cannot contain expressions that take the address of a field - (Originally from FSComp.txt:293) + (Originally from FSComp.txt:296) Quotations cannot contain expressions that make member constraint calls, or uses of operators that implicitly resolve to a member constraint call - (Originally from FSComp.txt:301) + (Originally from FSComp.txt:304) A quotation may not involve an assignment to or taking the address of a captured local variable - (Originally from FSComp.txt:1317) + (Originally from FSComp.txt:1325) Inner generic functions are not permitted in quoted expressions. Consider adding some type constraints until this function is no longer generic. - (Originally from FSComp.txt:1113) + (Originally from FSComp.txt:1117) The variable '%s' is bound in a quotation but is used as part of a spliced expression. This is not permitted since it may escape its scope. - (Originally from FSComp.txt:289) + (Originally from FSComp.txt:292) The dependency manager extension %s could not be loaded. Message: %s - (Originally from FSComp.txt:1509) + (Originally from FSComp.txt:1520) Key container signing is not supported on this platform. - (Originally from FSComp.txt:1626) + (Originally from FSComp.txt:1646) The 'AssemblyKeyNameAttribute' has been deprecated. Use 'AssemblyKeyFileAttribute' instead. - (Originally from FSComp.txt:1625) + (Originally from FSComp.txt:1645) The conversion from %s to %s is a compile-time safe upcast, not a downcast. Consider using the :> (upcast) operator instead of the :?> (downcast) operator. - (Originally from FSComp.txt:1370) + (Originally from FSComp.txt:1378) The conversion from %s to %s is a compile-time safe upcast, not a downcast. Consider using 'upcast' instead of 'downcast'. - (Originally from FSComp.txt:1369) + (Originally from FSComp.txt:1377) A ';' is used to separate field values in records. Consider replacing ',' with ';'. - (Originally from FSComp.txt:33) + (Originally from FSComp.txt:34) The variable '%s' is used in an invalid way - (Originally from FSComp.txt:248) + (Originally from FSComp.txt:251) The type of a field using the 'DefaultValue' attribute must admit default initialization, i.e. have 'null' as a proper value or be a struct type whose fields all admit default initialization. You can use 'DefaultValue(false)' to disable this check - (Originally from FSComp.txt:287) + (Originally from FSComp.txt:290) The value '%s' is unused - (Originally from FSComp.txt:1064) + (Originally from FSComp.txt:1068) The recursive object reference '%s' is unused. The presence of a recursive object reference adds runtime initialization checks to members in this and derived types. Consider removing this recursive object reference. - (Originally from FSComp.txt:1065) + (Originally from FSComp.txt:1069) default augmentation of the union case - (Originally from FSComp.txt:273) + (Originally from FSComp.txt:276) compiled form of the union case - (Originally from FSComp.txt:272) + (Originally from FSComp.txt:275) The type '%s' is less accessible than the value, member or type '%s' it is used in. - (Originally from FSComp.txt:249) + (Originally from FSComp.txt:252) A type variable has been constrained by multiple different class types. A type variable may only have one class constraint. - (Originally from FSComp.txt:1328) + (Originally from FSComp.txt:1336) 'System.Void' can only be used as 'typeof<System.Void>' in F# - (Originally from FSComp.txt:250) + (Originally from FSComp.txt:253) Struct members cannot return the address of fields of the struct by reference - (Originally from FSComp.txt:1496) + (Originally from FSComp.txt:1507) Expression-splicing operators may only be used within quotations - (Originally from FSComp.txt:253) + (Originally from FSComp.txt:256) A method return type would contain byrefs which is not permitted - (Originally from FSComp.txt:265) + (Originally from FSComp.txt:268) [<ReflectedDefinition>] terms cannot contain uses of the prefix splice operator '%%' - (Originally from FSComp.txt:270) + (Originally from FSComp.txt:273) A protected member is called or 'base' is being used. This is only allowed in the direct implementation of members since they could escape their object scope. - (Originally from FSComp.txt:245) + (Originally from FSComp.txt:248) The property '%s' has the same name as a method in type '%s'. - (Originally from FSComp.txt:274) + (Originally from FSComp.txt:277) The property '%s' has the same name as another property in type '%s', but one takes indexer arguments and the other does not. You may be missing an indexer argument to one of your properties. - (Originally from FSComp.txt:276) + (Originally from FSComp.txt:279) + + + + + The member or function '%s' has the 'TailCallAttribute' attribute, but is not being used in a tail recursive way. + (Originally from FSComp.txt:1715) This value can't be assigned because the target '%s' may refer to non-stack-local memory, while the expression being assigned is assessed to potentially refer to stack-local memory. This is to help prevent pointers to stack-bound memory escaping their scope. - (Originally from FSComp.txt:1493) + (Originally from FSComp.txt:1504) The Span or IsByRefLike variable '%s' cannot be used at this point. This is to ensure the address of the local value does not escape its scope. - (Originally from FSComp.txt:1498) + (Originally from FSComp.txt:1509) A Span or IsByRefLike value returned from the expression cannot be used at ths point. This is to ensure the address of the local value does not escape its scope. - (Originally from FSComp.txt:1499) + (Originally from FSComp.txt:1510) ReflectedDefinitionAttribute may not be applied to an instance member on a struct type, because the instance member takes an implicit 'this' byref parameter - (Originally from FSComp.txt:1107) + (Originally from FSComp.txt:1111) First-class uses of the expression-splicing operator are not permitted - (Originally from FSComp.txt:254) + (Originally from FSComp.txt:257) First-class uses of the 'reraise' function is not permitted - (Originally from FSComp.txt:256) + (Originally from FSComp.txt:259) Using the 'nameof' operator as a first-class function value is not permitted. - (Originally from FSComp.txt:1511) + (Originally from FSComp.txt:1522) First-class uses of the address-of operators are not permitted - (Originally from FSComp.txt:255) + (Originally from FSComp.txt:258) Type '%s' is illegal because in byref<T>, T cannot contain byref types. - (Originally from FSComp.txt:1300) + (Originally from FSComp.txt:1308) The function or method call cannot be used at this point, because one argument that is a byref of a non-stack-local Span or IsByRefLike type is used with another argument that is a stack-local Span or IsByRefLike type. This is to ensure the address of the local value does not escape its scope. - (Originally from FSComp.txt:1497) + (Originally from FSComp.txt:1508) The type abbreviation contains byrefs. This is not permitted by F#. - (Originally from FSComp.txt:288) + (Originally from FSComp.txt:291) The byref typed value '%s' cannot be used at this point - (Originally from FSComp.txt:257) + (Originally from FSComp.txt:260) A byref typed value would be stored here. Top-level let-bound byref values are not permitted. - (Originally from FSComp.txt:269) + (Originally from FSComp.txt:272) The address of a value returned from the expression cannot be used at this point. This is to ensure the address of the local value does not escape its scope. - (Originally from FSComp.txt:1492) + (Originally from FSComp.txt:1503) The address of the variable '%s' or a related expression cannot be used at this point. This is to ensure the address of the local value does not escape its scope. - (Originally from FSComp.txt:1380) + (Originally from FSComp.txt:1388) The address of the static field '%s' cannot be used at this point - (Originally from FSComp.txt:261) + (Originally from FSComp.txt:264) The address of the variable '%s' cannot be used at this point - (Originally from FSComp.txt:260) + (Originally from FSComp.txt:263) The address of an array element cannot be used at this point - (Originally from FSComp.txt:263) + (Originally from FSComp.txt:266) The address of the field '%s' cannot be used at this point - (Originally from FSComp.txt:262) + (Originally from FSComp.txt:265) This type implements the same interface at different generic instantiations '%s' and '%s'. This is not permitted in this version of F#. - (Originally from FSComp.txt:286) + (Originally from FSComp.txt:289) The member '%s' is used in an invalid way. A use of '%s' has been inferred prior to its definition at or near '%s'. This is an invalid forward reference. - (Originally from FSComp.txt:268) + (Originally from FSComp.txt:271) 'base' values may only be used to make direct calls to the base implementations of overridden members - (Originally from FSComp.txt:258) + (Originally from FSComp.txt:261) The function or method has an invalid return type '%s'. This is not permitted by the rules of Common IL. - (Originally from FSComp.txt:1514) + (Originally from FSComp.txt:1525) The parameter '%s' has an invalid type '%s'. This is not permitted by the rules of Common IL. - (Originally from FSComp.txt:1513) + (Originally from FSComp.txt:1524) Invalid custom attribute value (not a constant or literal) - (Originally from FSComp.txt:266) + (Originally from FSComp.txt:269) If a type uses both [<Sealed>] and [<AbstractClass>] attributes, it means it is static. Instance members are not allowed. - (Originally from FSComp.txt:1678) + (Originally from FSComp.txt:1698) If a type uses both [<Sealed>] and [<AbstractClass>] attributes, it means it is static. Instance let bindings are not allowed. - (Originally from FSComp.txt:1679) + (Originally from FSComp.txt:1699) The use of 'incr' from the F# library is deprecated. See https://aka.ms/fsharp-refcell-ops. For example, please change 'incr cell' to 'cell.Value <- cell.Value + 1'. - (Originally from FSComp.txt:1592) + (Originally from FSComp.txt:1612) The use of '!' from the F# library is deprecated. See https://aka.ms/fsharp-refcell-ops. For example, please change '!cell' to 'cell.Value'. - (Originally from FSComp.txt:1590) + (Originally from FSComp.txt:1610) The use of 'decr' from the F# library is deprecated. See https://aka.ms/fsharp-refcell-ops. For example, please change 'decr cell' to 'cell.Value <- cell.Value - 1'. - (Originally from FSComp.txt:1593) + (Originally from FSComp.txt:1613) The use of ':=' from the F# library is deprecated. See https://aka.ms/fsharp-refcell-ops. For example, please change 'cell := expr' to 'cell.Value <- expr'. - (Originally from FSComp.txt:1591) + (Originally from FSComp.txt:1611) If a type uses both [<Sealed>] and [<AbstractClass>] attributes, it means it is static. Implementing interfaces is not allowed. - (Originally from FSComp.txt:1680) + (Originally from FSComp.txt:1700) The property '%s' of type '%s' has a getter and a setter that do not match. If one is abstract then the other must be as well. - (Originally from FSComp.txt:275) + (Originally from FSComp.txt:278) A property's getter and setter must have the same type. Property '%s' has getter of type '%s' but setter of type '%s'. - (Originally from FSComp.txt:1337) + (Originally from FSComp.txt:1345) The type of a first-class function cannot contain byrefs - (Originally from FSComp.txt:264) + (Originally from FSComp.txt:267) Feature '%s' requires the F# library for language version %s or greater. - (Originally from FSComp.txt:1524) + (Originally from FSComp.txt:1532) Feature '%s' is not supported by target runtime. - (Originally from FSComp.txt:1522) + (Originally from FSComp.txt:1534) Feature '%s' is not available in F# %s. Please use language version %s or greater. - (Originally from FSComp.txt:1521) + (Originally from FSComp.txt:1533) If a type uses both [<Sealed>] and [<AbstractClass>] attributes, it means it is static. Explicit field declarations are not allowed. - (Originally from FSComp.txt:1682) + (Originally from FSComp.txt:1702) A type instantiation involves a byref type. This is not permitted by the rules of Common IL. - (Originally from FSComp.txt:251) + (Originally from FSComp.txt:254) Calls to 'reraise' may only occur directly in a handler of a try-with - (Originally from FSComp.txt:252) + (Originally from FSComp.txt:255) A function labeled with the 'EntryPointAttribute' attribute must be the last declaration in the last file in the compilation sequence. - (Originally from FSComp.txt:271) + (Originally from FSComp.txt:274) Duplicate parameter. The parameter '%s' has been used more that once in this method. - (Originally from FSComp.txt:1673) + (Originally from FSComp.txt:1693) Duplicate property. The property '%s' has the same name and signature as another property in type '%s' once tuples, functions, units of measure and/or provided types are erased. - (Originally from FSComp.txt:283) + (Originally from FSComp.txt:286) Duplicate property. The property '%s' has the same name and signature as another property in type '%s'. - (Originally from FSComp.txt:282) + (Originally from FSComp.txt:285) Duplicate method. The method '%s' has the same name and signature as another method in type '%s' once tuples, functions, units of measure and/or provided types are erased. - (Originally from FSComp.txt:279) + (Originally from FSComp.txt:282) Duplicate method. The abstract method '%s' has the same name and signature as an abstract method in an inherited type once tuples, functions, units of measure and/or provided types are erased. - (Originally from FSComp.txt:285) + (Originally from FSComp.txt:288) Duplicate method. The abstract method '%s' has the same name and signature as an abstract method in an inherited type. - (Originally from FSComp.txt:284) + (Originally from FSComp.txt:287) The method '%s' has curried arguments but has the same name as another method in type '%s'. Methods with curried arguments cannot be overloaded. Consider using a method taking tupled arguments. - (Originally from FSComp.txt:280) + (Originally from FSComp.txt:283) Duplicate method. The method '%s' has the same name and signature as another method in type '%s'. - (Originally from FSComp.txt:278) + (Originally from FSComp.txt:281) Methods with curried arguments cannot declare 'out', 'ParamArray', 'optional', 'ReflectedDefinition', 'byref', 'CallerLineNumber', 'CallerMemberName', or 'CallerFilePath' arguments - (Originally from FSComp.txt:281) + (Originally from FSComp.txt:284) + + + + + This expression is an anonymous record, use {|...|} instead of {...}. + (Originally from FSComp.txt:1724) If a type uses both [<Sealed>] and [<AbstractClass>] attributes, it means it is static. Constructor with arguments is not allowed. - (Originally from FSComp.txt:1676) + (Originally from FSComp.txt:1696) A type would store a byref typed value. This is not permitted by Common IL. - (Originally from FSComp.txt:277) + (Originally from FSComp.txt:280) The byref-typed variable '%s' is used in an invalid way. Byrefs cannot be captured by closures or passed to inner functions. - (Originally from FSComp.txt:246) + (Originally from FSComp.txt:249) The 'base' keyword is used in an invalid way. Base calls cannot be used in closures. Consider using a private member to make base calls. - (Originally from FSComp.txt:247) + (Originally from FSComp.txt:250) FSharp.Core.AutoOpenAttribute should not be aliased. - (Originally from FSComp.txt:1685) + (Originally from FSComp.txt:1705) The attribute type '%s' has 'AllowMultiple=false'. Multiple instances of this attribute cannot be attached to a single language element. - (Originally from FSComp.txt:267) + (Originally from FSComp.txt:270) If a type uses both [<Sealed>] and [<AbstractClass>] attributes, it means it is static. Additional constructor is not allowed. - (Originally from FSComp.txt:1677) + (Originally from FSComp.txt:1697) If a type uses both [<Sealed>] and [<AbstractClass>] attributes, it means it is static. Abstract member declarations are not allowed. - (Originally from FSComp.txt:1681) + (Originally from FSComp.txt:1701) Redundant arguments are being ignored in function '%s'. Expected %d but got %d arguments. - (Originally from FSComp.txt:1359) + (Originally from FSComp.txt:1367) Type inference caused an inference type variable to escape its scope. Consider adding type annotations to make your code less generic. - (Originally from FSComp.txt:1358) + (Originally from FSComp.txt:1366) Type inference caused the type variable %s to escape its scope. Consider adding an explicit type parameter declaration or adjusting your code to be less generic. - (Originally from FSComp.txt:1357) + (Originally from FSComp.txt:1365) Lowercase literal '%s' is being shadowed by a new pattern with the same name. Only uppercase and module-prefixed literals can be used as named patterns. - (Originally from FSComp.txt:1360) + (Originally from FSComp.txt:1368) The operator '%s' cannot be resolved. Consider opening the module 'Microsoft.FSharp.Linq.NullableOperators'. - (Originally from FSComp.txt:1331) + (Originally from FSComp.txt:1339) - Unrecognized option: '%s' - (Originally from FSComp.txt:76) + Unrecognized option: '%s'. Use '--help' to learn about recognized command line options. + (Originally from FSComp.txt:79) The non-generic type '%s' does not expect any type arguments, but here is given %d type argument(s) - (Originally from FSComp.txt:35) + (Originally from FSComp.txt:36) Filename '%s' contains invalid character '%s' - (Originally from FSComp.txt:1111) + (Originally from FSComp.txt:1115) The signature file '%s' does not have a corresponding implementation file. If an implementation file exists then check the 'module' and 'namespace' declarations in the signature and implementation files match. - (Originally from FSComp.txt:73) + (Originally from FSComp.txt:76) A signature for the file or module '%s' has already been specified - (Originally from FSComp.txt:70) + (Originally from FSComp.txt:73) The search directory '%s' could not be found - (Originally from FSComp.txt:47) + (Originally from FSComp.txt:50) Problem with filename '%s': %s - (Originally from FSComp.txt:43) + (Originally from FSComp.txt:46) Problem reading assembly '%s': %s - (Originally from FSComp.txt:1324) + (Originally from FSComp.txt:1332) The '--pdb' option requires the '--debug' option to be used - (Originally from FSComp.txt:45) + (Originally from FSComp.txt:48) Option requires parameter: %s - (Originally from FSComp.txt:57) + (Originally from FSComp.txt:60) No inputs specified - (Originally from FSComp.txt:44) + (Originally from FSComp.txt:47) This file contains multiple declarations of the form 'module SomeNamespace.SomeModule'. Only one declaration of this form is permitted in a file. Change your file to use an initial namespace declaration and/or use 'module ModuleName = ...' to define your modules. - (Originally from FSComp.txt:56) + (Originally from FSComp.txt:59) Files in libraries or multiple-file applications must begin with a namespace or module declaration, e.g. 'namespace SomeNamespace.SubNamespace' or 'module SomeNamespace.SomeModule'. Only the last source file of an application may omit such a declaration. - (Originally from FSComp.txt:54) + (Originally from FSComp.txt:57) Invalid warning number '%s' - (Originally from FSComp.txt:40) + (Originally from FSComp.txt:43) Invalid version string '%s' - (Originally from FSComp.txt:41) + (Originally from FSComp.txt:44) Invalid version file '%s' - (Originally from FSComp.txt:42) + (Originally from FSComp.txt:45) The file extension of '%s' is not recognized. Source files must have extension .fs, .fsi, .fsx or .fsscript - (Originally from FSComp.txt:60) + (Originally from FSComp.txt:63) The file extension of '%s' is not recognized. Source files must have extension .fs, .fsi, .fsx or .fsscript. To enable the deprecated use of .ml or .mli extensions, use '--langversion:5.0' and '--mlcompatibility'. - (Originally from FSComp.txt:61) + (Originally from FSComp.txt:64) The file extension of '%s' is not recognized. Source files must have extension .fs, .fsi, .fsx, .fsscript, .ml or .mli. - (Originally from FSComp.txt:59) + (Originally from FSComp.txt:62) The search directory '%s' is invalid - (Originally from FSComp.txt:46) + (Originally from FSComp.txt:49) Unrecognized privacy setting '%s' for managed resource, valid options are 'public' and 'private' - (Originally from FSComp.txt:50) + (Originally from FSComp.txt:53) Invalid module or namespace name - (Originally from FSComp.txt:77) + (Originally from FSComp.txt:80) Invalid directive. Expected '#time', '#time \"on\"' or '#time \"off\"'. - (Originally from FSComp.txt:68) + (Originally from FSComp.txt:71) Invalid directive. Expected '#r \"<file-or-assembly>\"'. - (Originally from FSComp.txt:66) + (Originally from FSComp.txt:69) Invalid directive. Expected '#load \"<file>\" ... \"<file>\"'. - (Originally from FSComp.txt:67) + (Originally from FSComp.txt:70) Invalid directive. Expected '#I \"<path>\"'. - (Originally from FSComp.txt:65) + (Originally from FSComp.txt:68) '%s' is not a valid filename - (Originally from FSComp.txt:48) + (Originally from FSComp.txt:51) '%s' is not a valid assembly name - (Originally from FSComp.txt:49) + (Originally from FSComp.txt:52) The declarations in this file will be placed in an implicit module '%s' based on the file name '%s'. However this is not a valid F# identifier, so the contents will not be accessible from other files. Consider renaming the file or adding a 'module' or 'namespace' declaration at the top of the file. - (Originally from FSComp.txt:53) + (Originally from FSComp.txt:56) An implementation of file or module '%s' has already been given. Compilation order is significant in F# because of type inference. You may need to adjust the order of your files to place the signature file before the implementation. In Visual Studio files are type-checked in the order they appear in the project file, which can be edited manually or adjusted using the solution explorer. - (Originally from FSComp.txt:71) + (Originally from FSComp.txt:74) An implementation of the file or module '%s' has already been given - (Originally from FSComp.txt:72) + (Originally from FSComp.txt:75) FSharp.Core.sigdata not found alongside FSharp.Core. File expected in %s. Consider upgrading to a more recent version of FSharp.Core, where this file is no longer be required. - (Originally from FSComp.txt:1109) + (Originally from FSComp.txt:1113) File '%s' not found alongside FSharp.Core. File expected in %s. Consider upgrading to a more recent version of FSharp.Core, where this file is no longer be required. - (Originally from FSComp.txt:1110) + (Originally from FSComp.txt:1114) Error opening binary file '%s': %s - (Originally from FSComp.txt:63) + (Originally from FSComp.txt:66) The source file '%s' (at position %d/%d) already appeared in the compilation list (at position %d/%d). Please verify that it is included only once in the project file. - (Originally from FSComp.txt:1675) + (Originally from FSComp.txt:1695) Directives inside modules are ignored - (Originally from FSComp.txt:69) + (Originally from FSComp.txt:72) The F#-compiled DLL '%s' needs to be recompiled to be used with this version of F# - (Originally from FSComp.txt:64) + (Originally from FSComp.txt:67) Could not resolve assembly '%s' - (Originally from FSComp.txt:62) + (Originally from FSComp.txt:65) Source file '%s' could not be found - (Originally from FSComp.txt:58) + (Originally from FSComp.txt:61) The file extensions '.ml' and '.mli' are for ML compatibility - (Originally from FSComp.txt:1097) + (Originally from FSComp.txt:1101) Unable to read assembly '%s' - (Originally from FSComp.txt:51) + (Originally from FSComp.txt:54) Assembly resolution failure at or near this location - (Originally from FSComp.txt:52) + (Originally from FSComp.txt:55) '%s' is not a valid integer argument - (Originally from FSComp.txt:74) + (Originally from FSComp.txt:77) '%s' is not a valid floating point argument - (Originally from FSComp.txt:75) + (Originally from FSComp.txt:78) A type cannot have both the 'ReferenceEquality' and 'StructuralEquality' or 'StructuralComparison' attributes - (Originally from FSComp.txt:219) + (Originally from FSComp.txt:222) The 'StructuralEquality' attribute must be used in conjunction with the 'NoComparison' or 'StructuralComparison' attributes - (Originally from FSComp.txt:218) + (Originally from FSComp.txt:221) The 'StructuralComparison' attribute must be used in conjunction with the 'StructuralEquality' attribute - (Originally from FSComp.txt:217) + (Originally from FSComp.txt:220) A type with attribute 'ReferenceEquality' cannot have an explicit implementation of 'Object.Equals(obj)', 'System.IEquatable<_>' or 'System.Collections.IStructuralEquatable' - (Originally from FSComp.txt:221) + (Originally from FSComp.txt:224) Only record, union, exception and struct types may be augmented with the 'ReferenceEquality', 'StructuralEquality' and 'StructuralComparison' attributes - (Originally from FSComp.txt:220) + (Originally from FSComp.txt:223) The 'ReferenceEquality' attribute cannot be used on structs. Consider using the 'StructuralEquality' attribute instead, or implement an override for 'System.Object.Equals(obj)'. - (Originally from FSComp.txt:214) + (Originally from FSComp.txt:217) The 'NoEquality' attribute must be used in conjunction with the 'NoComparison' attribute - (Originally from FSComp.txt:216) + (Originally from FSComp.txt:219) A type with attribute 'NoEquality' should not usually have an explicit implementation of 'Object.Equals(obj)'. Disable this warning if this is intentional for interoperability purposes - (Originally from FSComp.txt:224) + (Originally from FSComp.txt:227) A type with attribute 'NoComparison' should not usually have an explicit implementation of 'System.IComparable', 'System.IComparable<_>' or 'System.Collections.IStructuralComparable'. Disable this warning if this is intentional for interoperability purposes - (Originally from FSComp.txt:225) + (Originally from FSComp.txt:228) This type uses an invalid mix of the attributes 'NoEquality', 'ReferenceEquality', 'StructuralEquality', 'NoComparison' and 'StructuralComparison' - (Originally from FSComp.txt:215) + (Originally from FSComp.txt:218) A type with attribute 'CustomEquality' must have an explicit implementation of at least one of 'Object.Equals(obj)', 'System.IEquatable<_>' or 'System.Collections.IStructuralEquatable' - (Originally from FSComp.txt:222) + (Originally from FSComp.txt:225) The 'CustomEquality' attribute must be used in conjunction with the 'NoComparison' or 'CustomComparison' attributes - (Originally from FSComp.txt:226) + (Originally from FSComp.txt:229) A type with attribute 'CustomComparison' must have an explicit implementation of at least one of 'System.IComparable' or 'System.Collections.IStructuralComparable' - (Originally from FSComp.txt:223) + (Originally from FSComp.txt:226) Error while parsing embedded IL type - (Originally from FSComp.txt:211) + (Originally from FSComp.txt:214) Error while parsing embedded IL - (Originally from FSComp.txt:210) + (Originally from FSComp.txt:213) Invalid expression on left of assignment - (Originally from FSComp.txt:213) + (Originally from FSComp.txt:216) This indexer notation has been removed from the F# language - (Originally from FSComp.txt:212) + (Originally from FSComp.txt:215) All elements of an array must be implicitly convertible to the type of the first element, which here is a tuple of length %d of type\n %s \nThis element is a tuple of length %d of type\n %s \n - (Originally from FSComp.txt:24) + (Originally from FSComp.txt:25) All elements of an array must be implicitly convertible to the type of the first element, which here is '%s'. This element has type '%s'. - (Originally from FSComp.txt:23) + (Originally from FSComp.txt:24) + + + + + Interpolated string contains untyped identifiers. Adding typed format specifiers is recommended. + (Originally from FSComp.txt:1725) Add . for indexer access. - (Originally from FSComp.txt:20) + (Originally from FSComp.txt:21) Active pattern '%s' is not a function - (Originally from FSComp.txt:1100) + (Originally from FSComp.txt:1104) Active pattern '%s' has a result type containing type variables that are not determined by the input. The common cause is a when a result case is not mentioned, e.g. 'let (|A|B|) (x:int) = A x'. This can be fixed with a type constraint, e.g. 'let (|A|B|) (x:int) : Choice<int,unit> = A x' - (Originally from FSComp.txt:1101) + (Originally from FSComp.txt:1105) The mutable local '%s' is implicitly allocated as a reference cell because it has been captured by a closure. This warning is for informational purposes only to indicate where implicit allocations are performed. - (Originally from FSComp.txt:1349) + (Originally from FSComp.txt:1357) Module '%s' contains\n %s \nbut its signature specifies\n %s \nOne is virtual and the other isn't - (Originally from FSComp.txt:119) + (Originally from FSComp.txt:122) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe types differ - (Originally from FSComp.txt:111) + (Originally from FSComp.txt:114) Module '%s' contains\n %s \nbut its signature specifies\n %s \nOne is static and the other isn't - (Originally from FSComp.txt:118) + (Originally from FSComp.txt:121) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe compiled representation of this method is as a static member but the signature indicates its compiled representation is as an instance member - (Originally from FSComp.txt:124) + (Originally from FSComp.txt:127) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe respective type parameter counts differ - (Originally from FSComp.txt:110) + (Originally from FSComp.txt:113) Module '%s' contains\n %s \nbut its signature specifies\n %s \nOne is marked as an override and the other isn't - (Originally from FSComp.txt:122) + (Originally from FSComp.txt:125) Module '%s' contains\n %s \nbut its signature specifies\n %s \nOne is a type function and the other is not. The signature requires explicit type parameters if they are present in the implementation. - (Originally from FSComp.txt:109) + (Originally from FSComp.txt:112) Module '%s' contains\n %s \nbut its signature specifies\n %s \nOne is a constructor/property and the other is not - (Originally from FSComp.txt:123) + (Originally from FSComp.txt:126) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe names differ - (Originally from FSComp.txt:103) + (Originally from FSComp.txt:106) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe literal constant values and/or attributes differ - (Originally from FSComp.txt:108) + (Originally from FSComp.txt:111) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe compiled representation of this method is as an instance member, but the signature indicates its compiled representation is as a static member - (Originally from FSComp.txt:125) + (Originally from FSComp.txt:128) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe inline flags differ - (Originally from FSComp.txt:107) + (Originally from FSComp.txt:110) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe number of generic parameters in the signature and implementation differ (the signature declares %s but the implementation declares %s - (Originally from FSComp.txt:114) + (Originally from FSComp.txt:117) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe generic parameters in the signature and implementation have different kinds. Perhaps there is a missing [<Measure>] attribute. - (Originally from FSComp.txt:115) + (Originally from FSComp.txt:118) Module '%s' contains\n %s \nbut its signature specifies\n %s \nOne is final and the other isn't - (Originally from FSComp.txt:121) + (Originally from FSComp.txt:124) Module '%s' contains\n %s \nbut its signature specifies\n %s \nOne is an extension member and the other is not - (Originally from FSComp.txt:112) + (Originally from FSComp.txt:115) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe CLI member names differ - (Originally from FSComp.txt:117) + (Originally from FSComp.txt:120) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe display names differ - (Originally from FSComp.txt:105) + (Originally from FSComp.txt:108) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe compiled names differ - (Originally from FSComp.txt:104) + (Originally from FSComp.txt:107) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe mutability attributes differ - (Originally from FSComp.txt:102) + (Originally from FSComp.txt:105) Module '%s' contains\n %s \nbut its signature specifies\n %s \nAn arity was not inferred for this value - (Originally from FSComp.txt:113) + (Originally from FSComp.txt:116) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe arities in the signature and implementation differ. The signature specifies that '%s' is function definition or lambda expression accepting at least %s argument(s), but the implementation is a computed function value. To declare that a computed function value is a permitted implementation simply parenthesize its type in the signature, e.g.\n\tval %s: int -> (int -> int)\ninstead of\n\tval %s: int -> int -> int. - (Originally from FSComp.txt:116) + (Originally from FSComp.txt:119) Module '%s' contains\n %s \nbut its signature specifies\n %s \nThe accessibility specified in the signature is more than that specified in the implementation - (Originally from FSComp.txt:106) + (Originally from FSComp.txt:109) Module '%s' contains\n %s \nbut its signature specifies\n %s \nOne is abstract and the other isn't - (Originally from FSComp.txt:120) - - - - - Call this method once to validate that all known resources are valid; throws if not + (Originally from FSComp.txt:123) The module contains the constructor\n %s \nbut its signature specifies\n %s \nThe types of the fields differ - (Originally from FSComp.txt:160) + (Originally from FSComp.txt:163) The module contains the constructor\n %s \nbut its signature specifies\n %s \nThe names differ - (Originally from FSComp.txt:158) + (Originally from FSComp.txt:161) The module contains the constructor\n %s \nbut its signature specifies\n %s \nThe respective number of data fields differ - (Originally from FSComp.txt:159) + (Originally from FSComp.txt:162) The module contains the constructor\n %s \nbut its signature specifies\n %s \nthe accessibility specified in the signature is more than that specified in the implementation - (Originally from FSComp.txt:161) + (Originally from FSComp.txt:164) Invalid recursive reference to an abstract slot - (Originally from FSComp.txt:966) + (Originally from FSComp.txt:970) The module contains the field\n %s \nbut its signature specifies\n %s \nThe types differ - (Originally from FSComp.txt:167) + (Originally from FSComp.txt:170) The module contains the field\n %s \nbut its signature specifies\n %s \nThe 'static' modifiers differ - (Originally from FSComp.txt:164) + (Originally from FSComp.txt:167) The module contains the field\n %s \nbut its signature specifies\n %s \nThe names differ - (Originally from FSComp.txt:162) + (Originally from FSComp.txt:165) The module contains the field\n %s \nbut its signature specifies\n %s \nThe 'mutable' modifiers differ - (Originally from FSComp.txt:165) + (Originally from FSComp.txt:168) The module contains the field\n %s \nbut its signature specifies\n %s \nThe 'literal' modifiers differ - (Originally from FSComp.txt:166) + (Originally from FSComp.txt:169) The module contains the field\n %s \nbut its signature specifies\n %s \nthe accessibility specified in the signature is more than that specified in the implementation - (Originally from FSComp.txt:163) + (Originally from FSComp.txt:166) The exception definitions are not compatible because the exception abbreviations in the signature and implementation differ. The module contains the exception definition\n %s \nbut its signature specifies\n\t%s. - (Originally from FSComp.txt:185) + (Originally from FSComp.txt:188) The exception definitions are not compatible because a CLI exception mapping is being hidden by a signature. The exception mapping must be visible to other modules. The module contains the exception definition\n %s \nbut its signature specifies\n\t%s - (Originally from FSComp.txt:182) + (Originally from FSComp.txt:185) The exception definitions are not compatible because the order of the fields is different in the signature and implementation. The module contains the exception definition\n %s \nbut its signature specifies\n\t%s. - (Originally from FSComp.txt:189) + (Originally from FSComp.txt:192) The exception definitions are not compatible because the field '%s' was required by the signature but was not specified by the implementation. The module contains the exception definition\n %s \nbut its signature specifies\n\t%s. - (Originally from FSComp.txt:187) + (Originally from FSComp.txt:190) The exception definitions are not compatible because the field '%s' was present in the implementation but not in the signature. The module contains the exception definition\n %s \nbut its signature specifies\n\t%s. - (Originally from FSComp.txt:188) + (Originally from FSComp.txt:191) The exception definitions are not compatible because the exception declarations differ. The module contains the exception definition\n %s \nbut its signature specifies\n\t%s. - (Originally from FSComp.txt:186) + (Originally from FSComp.txt:189) The exception definitions are not compatible because the CLI representations differ. The module contains the exception definition\n %s \nbut its signature specifies\n\t%s - (Originally from FSComp.txt:183) + (Originally from FSComp.txt:186) The exception definitions are not compatible because the exception abbreviation is being hidden by the signature. The abbreviation must be visible to other CLI languages. Consider making the abbreviation visible in the signature. The module contains the exception definition\n %s \nbut its signature specifies\n\t%s. - (Originally from FSComp.txt:184) + (Originally from FSComp.txt:187) The %s definitions for type '%s' in the signature and implementation are not compatible because the types have different base types - (Originally from FSComp.txt:138) + (Originally from FSComp.txt:141) The %s definitions for type '%s' in the signature and implementation are not compatible because a type representation is being hidden by a signature - (Originally from FSComp.txt:144) + (Originally from FSComp.txt:147) The %s definitions for type '%s' in the signature and implementation are not compatible because the types are of different kinds - (Originally from FSComp.txt:145) + (Originally from FSComp.txt:148) The %s definitions for type '%s' in the signature and implementation are not compatible because the signature says this type may use nulls as an extra value but the implementation does not - (Originally from FSComp.txt:133) + (Originally from FSComp.txt:136) The %s definitions for type '%s' in the signature and implementation are not compatible because the signature says this type may use nulls as a representation but the implementation does not - (Originally from FSComp.txt:132) + (Originally from FSComp.txt:135) The %s definitions for type '%s' in the signature and implementation are not compatible because the signature is an abstract class but the implementation is not. Consider adding the [<AbstractClass>] attribute to the implementation. - (Originally from FSComp.txt:137) + (Originally from FSComp.txt:140) The %s definitions for type '%s' in the signature and implementation are not compatible because the signature defines the %s '%s' but the implementation does not (or does, but not in the same order) - (Originally from FSComp.txt:140) + (Originally from FSComp.txt:143) The %s definitions for type '%s' in the signature and implementation are not compatible because the signature declares a %s while the implementation declares a %s - (Originally from FSComp.txt:154) + (Originally from FSComp.txt:157) The %s definitions for type '%s' in the signature and implementation are not compatible because the signature has an abbreviation while the implementation does not - (Originally from FSComp.txt:157) + (Originally from FSComp.txt:160) The %s definitions for type '%s' in the signature and implementation are not compatible because the representations differ - (Originally from FSComp.txt:147) + (Originally from FSComp.txt:150) The %s definitions for type '%s' in the signature and implementation are not compatible because the respective type parameter counts differ - (Originally from FSComp.txt:127) + (Originally from FSComp.txt:130) The %s definitions for type '%s' in the signature and implementation are not compatible because the number of %ss differ - (Originally from FSComp.txt:139) + (Originally from FSComp.txt:142) The %s definitions in the signature and implementation are not compatible because the names differ. The type is called '%s' in the signature file but '%s' in implementation. - (Originally from FSComp.txt:126) + (Originally from FSComp.txt:129) The %s definitions for type '%s' in the signature and implementation are not compatible because the signature requires that the type supports the interface %s but the interface has not been implemented - (Originally from FSComp.txt:129) + (Originally from FSComp.txt:132) The %s definitions for type '%s' in the signature and implementation are not compatible because the implementation type is sealed but the signature implies it is not. Consider adding the [<Sealed>] attribute to the signature. - (Originally from FSComp.txt:134) + (Originally from FSComp.txt:137) The %s definitions for type '%s' in the signature and implementation are not compatible because the implementation says this type may use nulls as an extra value but the signature does not - (Originally from FSComp.txt:131) + (Originally from FSComp.txt:134) The %s definitions for type '%s' in the signature and implementation are not compatible because the implementation says this type may use nulls as a representation but the signature does not - (Originally from FSComp.txt:130) + (Originally from FSComp.txt:133) The %s definitions for type '%s' in the signature and implementation are not compatible because the implementation type is not sealed but signature implies it is. Consider adding the [<Sealed>] attribute to the implementation. - (Originally from FSComp.txt:135) + (Originally from FSComp.txt:138) The %s definitions for type '%s' in the signature and implementation are not compatible because the implementation is an abstract class but the signature is not. Consider adding the [<AbstractClass>] attribute to the signature. - (Originally from FSComp.txt:136) + (Originally from FSComp.txt:139) The %s definitions for type '%s' in the signature and implementation are not compatible because the implementation defines a struct but the signature defines a type with a hidden representation - (Originally from FSComp.txt:142) + (Originally from FSComp.txt:145) The %s definitions for type '%s' in the signature and implementation are not compatible because the implementation defines the %s '%s' but the signature does not (or does, but not in the same order) - (Originally from FSComp.txt:141) + (Originally from FSComp.txt:144) The %s definitions for type '%s' in the signature and implementation are not compatible because the IL representations differ - (Originally from FSComp.txt:146) + (Originally from FSComp.txt:149) The %s definitions for type '%s' in the signature and implementation are not compatible because the field %s was present in the implementation but not in the signature - (Originally from FSComp.txt:148) + (Originally from FSComp.txt:151) The %s definitions for type '%s' in the signature and implementation are not compatible because the field %s was required by the signature but was not specified by the implementation - (Originally from FSComp.txt:150) + (Originally from FSComp.txt:153) The %s definitions for type '%s' in the signature and implementation are not compatible because the order of the fields is different in the signature and implementation - (Originally from FSComp.txt:149) + (Originally from FSComp.txt:152) The %s definitions for type '%s' in the signature and implementation are not compatible because the field '%s' was present in the implementation but not in the signature. Struct types must now reveal their fields in the signature for the type, though the fields may still be labelled 'private' or 'internal'. - (Originally from FSComp.txt:151) + (Originally from FSComp.txt:154) The %s definitions for type '%s' in the signature and implementation are not compatible because a CLI type representation is being hidden by a signature - (Originally from FSComp.txt:143) + (Originally from FSComp.txt:146) The %s definitions for type '%s' in the signature and implementation are not compatible because the accessibility specified in the signature is more than that specified in the implementation - (Originally from FSComp.txt:128) + (Originally from FSComp.txt:131) The %s definitions for type '%s' in the signature and implementation are not compatible because the abstract member '%s' was present in the implementation but not in the signature - (Originally from FSComp.txt:153) + (Originally from FSComp.txt:156) The %s definitions for type '%s' in the signature and implementation are not compatible because the abstract member '%s' was required by the signature but was not specified by the implementation - (Originally from FSComp.txt:152) + (Originally from FSComp.txt:155) The %s definitions for type '%s' in the signature and implementation are not compatible because the abbreviations differ: %s versus %s - (Originally from FSComp.txt:155) + (Originally from FSComp.txt:158) The %s definitions for type '%s' in the signature and implementation are not compatible because an abbreviation is being hidden by a signature. The abbreviation must be visible to other CLI languages. Consider making the abbreviation visible in the signature. - (Originally from FSComp.txt:156) + (Originally from FSComp.txt:159) The default value does not have the same type as the argument. The DefaultParameterValue attribute and any Optional attribute will be ignored. Note: 'null' needs to be annotated with the correct type, e.g. 'DefaultParameterValue(null:obj)'. - (Originally from FSComp.txt:1382) + (Originally from FSComp.txt:1390) The CallerMemberNameAttribute applied to parameter '%s' will have no effect. It is overridden by the CallerFilePathAttribute. - (Originally from FSComp.txt:1377) - - - - - The argument names in the signature '%s' and implementation '%s' do not match. The argument name from the signature file will be used. This may cause problems when debugging or profiling. - (Originally from FSComp.txt:1482) + (Originally from FSComp.txt:1385) @@ -10400,11 +10617,6 @@ (Originally from Interactive/FSIstrings.txt:42) - - - Call this method once to validate that all known resources are valid; throws if not - - If set to true, then all error messages will just return the filled 'holes' delimited by ',,,'s - this is for language-neutral testing (e.g. localization-invariant baselines). @@ -10427,11 +10639,6 @@ (Originally from Facilities/UtilsStrings.txt:1) - - - Call this method once to validate that all known resources are valid; throws if not - - Split an array of pairs into two arrays. @@ -11469,8 +11676,8 @@ - Indicates that a type may be null. 'MaybeNull<string>' used internally in the F# compiler as unchecked - replacement for 'string?' for example for future FS-1060. + Indicates that a type may be null. 'MaybeNull<string>' is used internally in the F# compiler as + replacement for 'string?' to align with FS-1060. @@ -11741,17 +11948,17 @@ Get single character of matched string - + Create a lex buffer backed by source text. - + Create a lex buffer that reads character or byte inputs by using the given function. - + Create a lex buffer suitable for Unicode lexing that reads characters from the given array. Important: does take ownership of the array. @@ -12414,6 +12621,11 @@ + + Gets a ByteMemory object that is empty + + + Empty byte memory. @@ -12713,6 +12925,12 @@ Stop on first error. Accumulate warnings and continue. + + + The bind in the monad. Stop on first error. Accumulate warnings and continue. + <remarks>Not meant for direct usage. Used in other inlined functions</remarks> + + Reports an informational diagnostic @@ -12846,11 +13064,6 @@ Report a diagnostic as an error and recover - - - Reraise an exception if it is one we want to report to Watson. - - Instruct the exception not to reset itself when thrown again. @@ -13181,6 +13394,12 @@ Gets a section of the input + + + Gets a section of the input based on a given range. + <exception cref="System.ArgumentException">Throws an exception when the input range is outside the file boundaries.</exception> + + Gets a line of an input by index @@ -13722,7 +13941,7 @@ Contains helpers related to the build graph - + Will not dispose of the stream reader. @@ -13882,6 +14101,21 @@ Represents collected XmlDoc lines + + + Represents additional information for SynConst.Measure + + + + + The syntax ranges of the `&` tokens + + + + + Represents additional information for SynTyparDecl + + The syntax range of 'get, set' @@ -14184,6 +14418,16 @@ Represents additional information for SynTypeDefn + + + Produced during type checking, should not be used in actual parsed trees. + + + + + Can happen in SynMemberDefn.NestedType or SynMemberSig.NestedType + + Represents the leading keyword in a SynTypeDefn or SynTypeDefnSig @@ -14309,6 +14553,11 @@ Represents additional information for SynExpr.LetOrUse + + + Represents additional information for SynExpr.DotLambda + + The syntax range of the `->` token. @@ -14618,16 +14867,61 @@ are valid to shift next at that point in the grammar. This information is processed in CompileOps.fs. + + + This function gets the name of a token as a string + + This function maps production indexes returned in syntax errors to strings representing the non terminal that would be produced by that production + + + This function maps integer indexes to symbolic token ids + + + + + This function maps tokens to integer indexes + + + + + This function gets the name of a token as a string + + This function maps production indexes returned in syntax errors to strings representing the non terminal that would be produced by that production + + + This function maps integer indexes to symbolic token ids + + + + + This function maps tokens to integer indexes + + + + + Used in lex.fsl to represent the state of a block comment + + + + + Used in lex.fsl to represent the state of a single line comment + + + + + Used in lex.fsl to represent the state of a string literal + + The context applicable to all lexing functions (tokens, strings etc.) @@ -14639,54 +14933,84 @@ directive is processed. This alters the behaviour of the lexfilter. - + Arbitrary value - + + + Rule rest + + + + + Rule tokenstream + + + + + Rule mlOnly + + + + + Rule tripleQuoteStringInComment + + + + + Rule verbatimStringInComment + + + + + Rule stringInComment + + + - Throw a lexing error with a message + Rule comment - + - Trim n chars from the left of lexbuf, return string + Rule singleLineComment - + - Trim n chars from the right of lexbuf, return string + Rule extendedInterpolatedString - + - Trim n chars from both sides of lexbuf, return string + Rule tripleQuoteString - + - Get string from lexbuf + Rule verbatimString - + - Whether valid as signed int64 when a minus sign is prepended, compares as string against "9223372036854775808". + Rule singleQuoteString - + - Whether valid as signed int32 when a minus sign is prepended, compares as string against "2147483648". + Rule endline - + - Whether valid as signed int16 when a minus sign is prepended, compares true to 0x8000 + Rule ifdefSkip - + - Whether valid as signed int8 when a minus sign is prepended, compares true to 0x80 + Rule token @@ -14699,7 +15023,7 @@ Get the next token - + Create a lex filter @@ -15068,6 +15392,11 @@ Create a new node for an empty module or namespace contents + + + Create a new node for an empty F# tycon data + + Create a new type definition node by cloning an existing one @@ -16444,12 +16773,12 @@ - Get a reference to the type containing this union case + Get a reference to the type containing this record field - Get the Entity for the type containing this union case + Get the Entity for the type containing this record field @@ -17064,7 +17393,7 @@ - Indicates if this is a struct or enum type definition, i.e. a value type definition + Indicates if this is a struct or enum type definition, i.e. a value type definition, including struct records and unions @@ -17156,12 +17485,14 @@ - Indicates if this is an F#-defined struct or enum type definition, i.e. a value type definition + Indicates if this is an F#-defined value type definition, including struct records and unions - Indicates if this is an F# type definition whose r.h.s. is known to be some kind of F# object model definition + Indicates if this is an F# type definition known to be an F# class, interface, struct, + delegate or enum. This isn't generally a particularly useful thing to know, + it is better to use more specific predicates. @@ -17251,7 +17582,7 @@ Gets any implicit CompareTo methods added to an F# record, union or struct type definition. - + Get the blob of information associated with an F# object-model type definition, i.e. class, interface, struct etc. @@ -17422,11 +17753,6 @@ Get the path into the CCU referenced by the nonlocal reference. - - - Get the details of the module or namespace fragment for the entity referred to by this non-local reference. - - Get the mangled name of the last item in the path of the nonlocal reference. @@ -19078,54 +19404,64 @@ Get the signature for the value's XML documentation Represents record fields in an F# type definition - + The fields of the class, struct or enum - + The declared abstract slots of the class, interface or struct - + Indicates whether the type declaration is an F# class, interface, enum, delegate or struct - + + + Indicates the cases of a union type + + + Represents member values type class fields relating to the F# object model - + Indicates the type is an F#-declared enumeration - + Indicates the type is an F#-declared delegate with the given Invoke signature - + Indicates the type is an F#-declared struct - + Indicates the type is an F#-declared interface - + Indicates the type is an F#-declared class (also used for units-of-measure) - + + + Indicates the type is an F#-declared union + + + - Indicates if the type definition is a value type + Indicates the type is an F#-declared record @@ -19252,17 +19588,7 @@ Get the signature for the value's XML documentation Indicates the type is a type from a .NET assembly without F# metadata. - - - Indicates the type is a discriminated union - - - - - Indicates the type is a record - - - + Indicates the type is a class, struct, enum, delegate or interface @@ -19574,7 +19900,7 @@ Get the signature for the value's XML documentation - Indicates if this is a struct or enum type definition, i.e. a value type definition + Indicates if this is a struct or enum type definition, i.e. a value type definition, including struct records and unions @@ -19645,7 +19971,7 @@ Get the signature for the value's XML documentation - Indicates if this is a .NET-defined struct or enum type definition, i.e. a value type definition + Indicates if this is a .NET-defined struct or enum type definition @@ -19661,12 +19987,14 @@ Get the signature for the value's XML documentation - Indicates if this is an F#-defined struct or enum type definition, i.e. a value type definition + Indicates if this is an F#-defined value type definition, including struct records and unions - Indicates if this is an F# type definition whose r.h.s. is known to be some kind of F# object model definition + Indicates if this is an F# type definition known to be an F# class, interface, struct, + delegate or enum. This isn't generally a particularly useful thing to know, + it is better to use more specific predicates. @@ -19766,7 +20094,7 @@ Get the signature for the value's XML documentation Gets any implicit CompareTo methods added to an F# record, union or struct type definition. - + Get the blob of information associated with an F# object-model type definition, i.e. class, interface, struct etc. @@ -20715,6 +21043,19 @@ Get the signature for the value's XML documentation Build decision trees imperatively + + + Check if the order of defined typars is different from the order of used typars in the curried arguments. + If this is the case, a generated signature would require explicit typars. + See https://github.com/dotnet/fsharp/issues/15175 + + + + + Updates the IsPrefixDisplay to false for the Microsoft.FSharp.Collections.seq`1 entity + Meant to be called with the FSharp.Core module spec right after it was unpickled. + + Serialize an entity to a very basic json structure. @@ -21114,6 +21455,41 @@ Get the signature for the value's XML documentation Determine if a type is a struct, record or union type + + + Determine if a type is a numeric type type + + + + + Determine if a type is a non-decimal numeric type type + + + + + Determine if a type is a decimal type + + + + + Determine if a type is a floating point type + + + + + Determine if a type is an integer type + + + + + Determine if a type is an unsigned integer type + + + + + Determine if a type is a signed integer type + + Determine if a type is an enum type @@ -23868,6 +24244,11 @@ Get the signature for the value's XML documentation Get the parameter types of a method info + + + Get the parameter names of a MethInfo + + Get the ParamData objects for the parameters of a MethInfo @@ -24668,6 +25049,11 @@ Get the signature for the value's XML documentation Select members from a type by name, searching the type hierarchy if needed + + + Convert a MethInfo to a F# signature + + Print Signatures/Types, for signatures, intellisense, quick info, FSI responses @@ -24984,6 +25370,12 @@ Get the signature for the value's XML documentation in the name resolution environment. + + + Indicates whether an identifier (single or long) is followed by an extra dot. Typically used + to provide better tooling and error reporting. + + Typars (always available by unqualified names). Further typars can be @@ -25337,7 +25729,7 @@ Get the signature for the value's XML documentation Resolve a long identifier representing a type name - + Resolve a long identifier when used in a pattern. @@ -26145,12 +26537,63 @@ Get the signature for the value's XML documentation Perform the checks on the TAST for a file after type inference is complete. + + + The combinations of limits which apply. + + + + + The scope of this Limit, i.e. "to which scope can a Val safely escape?". + Some values are not allowed to escape their scope. + For example, a top-level function is allowed to return a byref type, but inner functions are not. + This `scope` field is the information that lets us track that. + (Recall that in general scopes are counted starting from 0 indicating the top-level scope, and + increasing by 1 essentially for every nested `let`-binding, method, or module.) + + Some specific values which are often used: + * the value 0 is used in NoLimit and other situations which don't limit where the Val can escape; + * the value 1 is a "top-level local scope", allowing us to express the restriction "this cannot appear + at the top level" (for example, `let x = &y` cannot appear at the top level). + + + + + A "limit" here is some combination of restrictions on a Val. + + + + + Construct a Limit which expresses "this Val must obey the first Limit and the second Limit simultaneously". + + + + + Indicates that no limit applies to some Val. It can appear at the top level or within a `let`-binding, + and the Val does not have any byref- or span-related restrictions. + + + + + It's unlikely you want to use this module except within + PostInferenceChecks. It's exposed to allow testing. + + Implements a set of checks on the TAST for a file that can only be performed after type inference is complete. + + + Perform the TailCall analysis on the optimized TAST for a file. + The TAST is traversed analogously to the PostInferenceChecks phase. + For functions that are annotated with the [<TailCall>] attribute, a warning is emmitted if they are called in a + non-tailrecursive manner in the recursive scope of the function. + The ModuleOrNamespaceContents aren't mutated in any way by performing this check. + + A cache for ArgReprInfos which get created multiple times for the same values @@ -27056,86 +27499,94 @@ Get the signature for the value's XML documentation the TAST ultimately produced by type checking. - - - The name generator used to generate the names of fields etc. within the type. - - - + The value representing the 'this' variable within the implicit instance constructor. - + The value representing the 'base' variable within the implicit instance constructor. - + Data indicating if safe-initialization checks need to be inserted for this type. - + The reference cell holding the 'this' parameter within the implicit constructor so it can be referenced in the arguments passed to the base constructor - + The values representing the arguments to the implicit constructor. - + The type of the implicit constructor, representing as a ValScheme. - + The value representing the implicit constructor. - + + + Typechecked info for implicit instance constructor and it's arguments + + + + + The name generator used to generate the names of fields etc. within the type. + + + The value representing the static implicit constructor. Lazy to ensure the static ctor value is only published if needed. - + - The type parameters allocated for the implicit instance constructor. - These may be equated with other (WillBeRigid) type parameters through equi-recursive inference, and so - should always be renormalized/canonicalized when used. + The copy of the type parameters allocated for implicit construction - + The TyconRef for the type being defined - + - Typechecked info for implicit constructor and it's arguments + Typechecked info for implicit static constructor - + Given a set of 'let' bindings (static or not, recursive or not) that make up a class, generate their initialization expression(s). - The lhs information about the implicit constructor - The call to the super class constructor - Should we place a sequence point at the 'inheritedTys call? + The information about the static implicit constructor + The lhs information about the implicit constructor, the call to the super class constructor and whether we should we place a sequence point at the 'inheritedTys call? The declarations Record any unconstrained type parameters generalized for the outer members as "free choices" in the let bindings - + + + Check and elaborate the "left hand side" of the implicit class construction + syntax. + + + Check and elaborate the "left hand side" of the implicit class construction syntax. @@ -27166,6 +27617,17 @@ Get the signature for the value's XML documentation size after which we start chopping methods in two, though only at match targets + + + Use multiple threads. + As soon as a given phase for a file has finished, start processing the next phase of the current file and the same phase of the next file. + + + + + Process files sequentially, on a single thread, doing all optimization phases for each file next to each other. + + Indicates the value is only mutable during its initialization and before any access or capture @@ -27288,6 +27750,11 @@ Get the signature for the value's XML documentation Rewrite mutable locals to reference cells across an entire implementation file + + + The ILX generator. + + Diagnostics from the AbsIL toolkit. You can reset the diagnostics @@ -28494,17 +28961,37 @@ Get the signature for the value's XML documentation Various constants and utilities used when parsing the ILASM format for IL + + + This function gets the name of a token as a string + + This function maps production indexes returned in syntax errors to strings representing the non terminal that would be produced by that production + + + This function maps integer indexes to symbolic token ids + + + + + This function maps tokens to integer indexes + + + + + Rule token + + Printer for the abstract syntax. - + Morph all type references throughout an entire module. @@ -28827,7 +29314,7 @@ Get the signature for the value's XML documentation Make the IL type for a union type alternative - + Make the type definition for a union type @@ -29762,7 +30249,7 @@ Get the signature for the value's XML documentation Contains logic to prepare, post-process, filter and emit compiler diagnsotics - + Callback that returns a previously calculated 'Result and updates 'State accordingly. @@ -29854,6 +30341,16 @@ Get the signature for the value's XML documentation A node in the Trie structure. + + + Files that use this namespace but don't contain any types. + + + + + Files that expose types that are part of this namespace. + + There is a subtle difference between a module and namespace. @@ -29936,14 +30433,13 @@ Get the signature for the value's XML documentation Extract the FileContentEntries from the ParsedInput of a file. - + Construct an approximate* dependency graph for files within a project, based on their ASTs. - "Are we compiling FSharp.Core?" - used to add extra dependencies for FSharp.Core that are not otherwise detectable. Maps the index of a signature file with the index of its implementation counterpart and vice versa. The files inside a project. - A dictionary of FileIndex (alias for int) + A tuple consisting of a dictionary of FileIndex (alias for int) and a Trie *The constructed graph is a supergraph of the "necessary" file dependency graph, @@ -29958,12 +30454,14 @@ Get the signature for the value's XML documentation - + Process an open path (found in the ParsedInput) with a given FileContentQueryState. This code is only used directly in unit tests. - Query a TrieNode to find a certain path. + + Query a TrieNode to find a certain path. + This code is only used directly in unit tests. @@ -30001,17 +30499,6 @@ Get the signature for the value's XML documentation Parallel processing of graph of work items with dependencies - - - Process a graph of items. - A version of 'GraphProcessing.processGraph' with a signature slightly specific to type-checking. - - - - - Parallel processing of a type-checking file graph. - - Get the typing environment implied by the set of signature files and/or inferred signatures of implementation files checked so far @@ -30753,6 +31240,11 @@ Get the signature for the value's XML documentation Indicates if this is an F# type function + + + Indicates if this is a value that has been referenced + + Indicates if this is a ref cell @@ -31017,6 +31509,11 @@ Get the signature for the value's XML documentation the name of that entrypoint and information about the additional witness arguments + + + Get the signature text to include this Symbol into an existing signature file. + + Format the type using the rules of the given display context @@ -31480,6 +31977,11 @@ Get the signature for the value's XML documentation Get the data carried by the case. + + + Get the declaring entity of the case + + Get the range of the name of the case @@ -32219,11 +32721,6 @@ Get the signature for the value's XML documentation Represents the definitional contents of an assembly, as seen by the F# language - - - Matches an expression with a debug point - - Indicates a witness argument index from the witness arguments supplied to the enclosing method @@ -32538,6 +33035,11 @@ Get the signature for the value's XML documentation Gets the file name for the diagnostic + + + Gets the contextually-relevant data to each particular diagnostic for things like code fixes + + Gets the full error number text e.g "FS0031" @@ -32607,6 +33109,176 @@ Get the signature for the value's XML documentation https://learn.microsoft.com/dotnet/core/diagnostics/distributed-tracing-concepts?source=recommendations + + + Argument identifier range within signature file + + + + + Argument name in signature file + + + + + Argument identifier range within implementation file + + + + + Argument name in implementation file + + + + + Additional data for 'argument names in the signature and implementation do not match' diagnostic + + + + + Represents F# value in signature file + + + + + Represents F# value in implementation file + + + + + Additional data for diagnostics about a value whose declarations differ in signature and implementation + + + + + Represents F# field in signature file + + + + + Represents F# field in implementation file + + + + + Additional data for diagnostics about a field whose declarations differ in signature and implementation + + + + + Represents F# type of the expression + + + + + Additional data for 'This expression is a function value, i.e. is missing arguments' diagnostic + + + + + Represents F# type expected in the current context + + + + + Represents the information needed to format types + + + + + The context in which the type mismatch was found + + + + + Represents F# type type actual in the current context + + + + + Additional data for type-mismatch-like (usually with ErrorNumber = 1) diagnostics + + + + + Contextually-relevant data to each particular diagnostic + + + + + The type equation comes from a sequence expression + + + + + The type equation comes from a pattern match guard + + + + + The type equation comes from a return type of a pattern match clause (not the first clause) + + + + + The type equation comes from an downcast where a upcast could be used + + + + + The type equation comes from a runtime type test + + + + + The type equation comes from a yield in a computation expression + + + + + The type equation comes from a return in a computation expression + + + + + The type equation comes from a list or array constructor + + + + + The type equation comes from the verification of a tuple in record fields + + + + + The type equation comes from the verification of record fields + + + + + The type equation comes from a type check of the result of an else branch + + + + + The type equation comes from an omitted else branch + + + + + The type equation comes from an IF expression + + + + + No context was given + + + + + Information about the context of a type equation in type-mismatch-like diagnostic + + Given a set of names, uses and a string representing an unresolved identifier, @@ -32633,7 +33305,7 @@ Get the signature for the value's XML documentation Create a tokenizer for a line of this source file using a buffer filler - + Create a tokenizer for a source file. @@ -33847,6 +34519,12 @@ Get the signature for the value's XML documentation Represents a binding for a 'let' or 'member' declaration + + + Is only populated during type-checking when an property has both a getter and setter. + It is used to track the fact that the getter and setter are part of the same property when they are desugared. + + Represents extra information about the declaration of a value @@ -33927,11 +34605,6 @@ Get the signature for the value's XML documentation Used internally in the type checker - - - Deprecated character range: ranges - - &lt;@ expr @&gt;, used for active pattern arguments @@ -34162,6 +34835,11 @@ Get the signature for the value's XML documentation Only used in FSharp.Core + + + F# syntax: 'while! ... do ...' + + F# syntax: do! expr @@ -34281,6 +34959,11 @@ Get the signature for the value's XML documentation F# syntax: expr.ident...ident <- expr + + + F# syntax: _.ident.ident + + F# syntax: expr.ident.ident @@ -34512,6 +35195,13 @@ Get the signature for the value's XML documentation Represents a syntax tree for F# expressions + + + F# syntax: x: #I1 & #I2 + F# syntax: x: 't & #I1 & #I2 + Shorthand for x: 't when 't :> I1 and 't :> I2 + + A type arising from a parse error @@ -35729,6 +36419,16 @@ Get the signature for the value's XML documentation Kind of lexical scope. + + + Completing a method override (e.g. override this.ToStr|) + + + + + Completing a pattern in a match clause, member/let binding or lambda + + Completing a type abbreviation (e.g. type Long = int6|) @@ -35740,9 +36440,10 @@ Get the signature for the value's XML documentation Completing union case fields declaration (e.g. 'A of stri|' but not 'B of tex|: string') - + - Completing pattern type (e.g. foo (x: |)) + Completing a type annotation (e.g. foo (x: |)) + Completing a type application (e.g. typeof<str| >) @@ -35771,6 +36472,32 @@ Get the signature for the value's XML documentation Completion context cannot be determined due to errors + + + Any other position in a pattern that does not need special handling + + + + + Completing a record field identifier in a pattern (e.g. fun { Field1 = a; Fie| } -> ) + + + + + Completing union case field identifier in a pattern (e.g. fun (Case (field1 = a; fie| )) -> ) + + + + + Completing union case field pattern (e.g. fun (Some (Value = v| )) -> ) + + + + Completing union case field pattern (e.g. fun (Some v| ) -> ) or fun (Some (v| )) -> ). In theory, this could also be parameterized active pattern usage. + Position in the tuple. None if there is no tuple, with only one field outside of parentheses - `Some v|` + True when completing the first field in the tuple and no other field is bound - `Case (a|)` but not `Case (a|, b)` + Range of the case identifier + Performs an operation on the cache in thread safe manner. @@ -36908,7 +37635,7 @@ Get the signature for the value's XML documentation Creates a FSharpSource from the specified file path by shadow-copying the file. - + Creates a FSharpSource. @@ -36969,13 +37696,14 @@ Get the signature for the value's XML documentation - Get the preceding typecheck state of a slot, WITH checking if it is up-to-date w.r.t. However, files will not be parsed or checked. - the timestamps on files and referenced DLLs prior to this one. Return None if the result is not available or if it is not up-to-date. + Get the preceding typecheck state of a slot, WITH checking if it is up-to-date w.r.t. the timestamps of files and referenced DLLs prior to this one. + However, files will not be parsed or checked. + Return None if the result is not available or if it is not up-to-date. This is safe for use from non-compiler threads but the objects returned must in many cases be accessed only from the compiler thread. - + Create the incremental builder @@ -37243,11 +37971,26 @@ Get the signature for the value's XML documentation For example, '[1..10] |> List.map ' would give back the ident of '|>' and 1, because it applied 1 arg (the list) to 'List.map'. + + + Determines if the range points to a type name in the type definition. + + Determines if the expression or pattern at the given position has a type annotation + + + Determines if the given position is bound to a type definition + + + + + Determines if the given position is bound to a record definition + + Determines if the given position is contained within a curried parameter in a binding. @@ -37428,6 +38171,14 @@ Get the signature for the value's XML documentation Used to discriminate between 'identifiers', 'strings' and others. For strings, an attempt is made to give a tooltip for a #r "..." location. Use a value from FSharpTokenInfo.Tag, or FSharpTokenTag.Identifier, unless you have other information available. The optional width that the layout gets squashed to. + + Similar to GetSymbolUseAtLocation, but returns all found symbols if there are multiple. + + The line number where the information is being requested. + The column number at the end of the identifiers where the information is being requested. + The text of the line where the information is being requested. + The identifiers at the location where the information is being requested. + Resolve the names at the given location to a use of symbol. @@ -37669,37 +38420,36 @@ Get the signature for the value's XML documentation Represents the use of an F# symbol from F# source code - + - The fully qualified path to the output of the referenced project. This should be the same value as the -r - reference in the project options for this referenced project. + A reference from an ILModuleReader. + The fully qualified path to the output of the referenced project. This should be the same value as the -r reference in the project options for this referenced project. + A function that calculates a last-modified timestamp for this reference. This will be used to determine if the reference is up-to-date. + A function that creates an ILModuleReader for reading module data. - + - Creates a reference for any portable executable, including F#. The stream is owned by this reference. + A reference for any portable executable, including F#. The stream is owned by this reference. The stream will be automatically disposed when there are no references to FSharpReferencedProject and is GC collected. Once the stream is evaluated, the function that constructs the stream will no longer be referenced by anything. If the stream evaluation throws an exception, it will be automatically handled. - The fully qualified path to the output of the referenced project. This should be the same value as the -r reference in the project options for this referenced project. A function that calculates a last-modified timestamp for this reference. This will be used to determine if the reference is up-to-date. - A function that opens a Portable Executable data stream for reading. + A function that opens a Portable Executable data stream for reading. - + - Creates a reference from an ILModuleReader. + A reference for an F# project. The physical data for it is stored/cached inside of the compiler service. The fully qualified path to the output of the referenced project. This should be the same value as the -r reference in the project options for this referenced project. - A function that calculates a last-modified timestamp for this reference. This will be used to determine if the reference is up-to-date. - A function that creates an ILModuleReader for reading module data. + The Project Options for this F# project - + - Creates a reference for an F# project. The physical data for it is stored/cached inside of the compiler service. + The fully qualified path to the output of the referenced project. This should be the same value as the -r + reference in the project options for this referenced project. - The fully qualified path to the output of the referenced project. This should be the same value as the -r reference in the project options for this referenced project. - The Project Options for this F# project diff --git a/lib/fcs/FSharp.Core.dll b/lib/fcs/FSharp.Core.dll index b59d9fe36a..b6dcd8bd3d 100644 Binary files a/lib/fcs/FSharp.Core.dll and b/lib/fcs/FSharp.Core.dll differ diff --git a/lib/fcs/FSharp.Core.xml b/lib/fcs/FSharp.Core.xml index b99950a576..e5298f5ef3 100644 --- a/lib/fcs/FSharp.Core.xml +++ b/lib/fcs/FSharp.Core.xml @@ -3992,7 +3992,7 @@ let names = ["one"; "two"] let roman = ["I"; "II"] - Array.zip3 numbers names roman + List.zip3 numbers names roman Evaluates to [(1, "one", "I"); (2, "two", "II")]. @@ -4089,7 +4089,7 @@ Returns a list that contains the elements generated by the given computation. - The generator is repeatedly called to build the list until it returns `None`. + The generator is repeatedly called to build the list until it returns None. The given initial state argument is passed to the element generator. A function that takes in the current state and returns an option tuple of the next @@ -5141,8 +5141,8 @@ The list of transformed elements, and the final accumulated value. - - Accumulate the charges, and double them as well + Accumulate the charges, and double them as well + type Charge = | In of int | Out of int @@ -5297,7 +5297,7 @@ let inputs1 = [ "a"; "b"; "c" ] let inputs2 = [ "banana"; "pear"; "apple" ] - (inputs1, inputs2) ||> List.iteri2 (fun i s1 s2 -> printfn "Index {i}: {s1} - {s2}") + (inputs1, inputs2) ||> List.iteri2 (fun i s1 s2 -> printfn "Index %d: %s - %s" i s1 s2) Evaluates to unit and prints @@ -5688,7 +5688,7 @@ match (input1, input2) with | Head, Head -> acc + 1 | Tails, Tails -> acc + 1 - | _ -> acc - 1) + | _ -> acc) Evaluates to 1. Note acc is a commonly used abbreviation for "accumulator". @@ -7237,7 +7237,7 @@ Array.sort input - Evaluates to [| 1; 1 3; 4; 6; 8 |]. + Evaluates to [| 1; 1; 3; 4; 6; 8 |]. @@ -9837,6 +9837,273 @@ Evaluates to [| 2 |] + + Returns the average of the elements generated by applying the function to each element of the array. + + The function to transform the array elements before averaging. + The input array. + + Thrown when array is empty. + + The computed average. + + Thrown when the input array is null. + + + + type Foo = { Bar: float } + + let input = [| {Bar = 2.0}; {Bar = 4.0} |] + + input |> Array.Parallel.averageBy (fun foo -> foo.Bar) + + Evaluates to 3.0 + + + + + type Foo = { Bar: float } + + let input : Foo[] = [| |] + + input |> Array.Parallel.averageBy (fun foo -> foo.Bar) + + Throws ArgumentException + + + + Returns the average of the elements in the array. + + The input array. + + Thrown when array is empty. + Thrown when the input array is null. + + The average of the elements in the array. + + + + [| 1.0; 2.0; 6.0 |] |> Array.Parallel.average + + Evaluates to 3.0 + + + + + [| |] |> Array.Parallel.average + + Throws ArgumentException + + + + Returns the sum of the results generated by applying the function to each element of the array. + + The function to transform the array elements into the type to be summed. + The input array. + + The resulting sum. + + Thrown when the input array is null. + + + + let input = [| "aa"; "bbb"; "cc" |] + + input |> Array.Parallel.sumBy (fun s -> s.Length) + + Evaluates to 7. + + + + Returns the sum of the elements in the array. + + The input array. + + The resulting sum. + + Thrown when the input array is null. + + + + let input = [| 1; 5; 3; 2 |] + + input |> Array.Parallel.sum + + Evaluates to 11. + + + + Returns the lowest of all elements of the array, compared via Operators.min on the function result. + + Throws ArgumentException for empty arrays. + + The function to transform the elements into a type supporting comparison. + The input array. + + Thrown when the input array is null. + Thrown when the input array is empty. + + The minimum element. + + + + let inputs = [| "aaa"; "b"; "cccc" |] + + inputs |> Array.Parallel.minBy (fun s -> s.Length) + + Evaluates to "b" + + + + + let inputs: string[]= [| |] + + inputs |> Array.Parallel.minBy (fun s -> s.Length) + + Throws System.ArgumentException. + + + + Returns the smallest of all elements of the array, compared via Operators.min. + + Throws ArgumentException for empty arrays + + The input array. + + Thrown when the input array is null. + Thrown when the input array is empty. + + The minimum element. + + + + let inputs = [| 10; 12; 11 |] + + inputs |> Array.Parallel.min + + Evaluates to 10 + + + + + let inputs: int[]= [| |] + + inputs |> Array.Parallel.min + + Throws System.ArgumentException. + + + + Returns the greatest of all elements of the array, compared via Operators.max on the function result. + + Throws ArgumentException for empty arrays. + + The function to transform the elements into a type supporting comparison. + The input array. + + Thrown when the input array is null. + Thrown when the input array is empty. + + The maximum element. + + + + let inputs = [| "aaa"; "b"; "cccc" |] + + inputs |> Array.Parallel.maxBy (fun s -> s.Length) + + Evaluates to "cccc" + + + + + let inputs: string[]= [| |] + + inputs |> Array.Parallel.maxBy (fun s -> s.Length) + + Throws System.ArgumentException. + + + + Returns the greatest of all elements of the array, compared via Operators.max. + + Throws ArgumentException for empty arrays. + + The input array. + + Thrown when the input array is null. + Thrown when the input array is empty. + + The maximum element. + + + + let inputs = [| 10; 12; 11 |] + + inputs |> Array.Parallel.max + + Evaluates to 12 + + + + + let inputs: int[]= [| |] + + inputs |> Array.Parallel.max + + Throws System.ArgumentException. + + + + Applies a projection function to each element of the array in parallel, reducing elements in each thread with a dedicated 'reduction' function. + After processing entire input, results from all threads are reduced together. + Raises ArgumentException if the array is empty. + The order of processing is not guaranteed. For that reason, the 'reduction' function argument should be commutative. + (That is, changing the order of execution must not affect the result) + + The function to project from elements of the input array + The function to reduce a pair of projected elements to a single element. + The input array. + + Thrown when the input array is null. + Thrown when the input array is empty. + + The final result of the reductions. + + + + let inputs = [| "1"; "3"; "4"; "2" |] + + inputs |> Array.Parallel.reduceBy (fun x -> int x) (+) + + Evaluates to 1 + 3 + 4 + 2. However, the system could have decided to compute (1+3) and (4+2) first, and then put them together. + + + + Applies a function to each element of the array in parallel, threading an accumulator argument + through the computation for each thread involved in the computation. After processing entire input, results from all threads are reduced together. + Raises ArgumentException if the array is empty. + The order of processing is not guaranteed. For that reason, the 'reduce' function argument should be commutative. + (That is, changing the order of execution must not affect the result) + Also, compared to the non-parallel version of Array.reduce, the 'reduce' function may be invoked more times due to the resulting reduction from participating threads. + + The function to reduce a pair of elements to a single element. + The input array. + + Thrown when the input array is null. + Thrown when the input array is empty. + + Result of the reductions. + + + + let inputs = [| 1; 3; 4; 2 |] + + inputs |> Array.Parallel.reduce (fun a b -> a + b) + + Evaluates to 1 + 3 + 4 + 2. However, the system could have decided to compute (1+3) and (4+2) first, and then put them together. + + Applies the given function to successive elements, returning the first result where the function returns Some(x) for some x. If the function @@ -15727,7 +15994,7 @@ printfn "C" - Prints "C", then "A" quickly, and then "B" 1 second later + Prints "C" and "A" quickly in any order, and then "B" 1 second later @@ -16565,6 +16832,24 @@ + + Starts the agent immediately on the current operating system thread. + + + + + Creates and starts an agent immediately on the current operating system thread. The body + function is used to generate the asynchronous computation executed by the agent. + + The function to produce an asynchronous computation that will be executed + as the read loop for the MailboxProcessor when StartImmediately is called. + An optional cancellation token for the body. + Defaults to Async.DefaultCancellationToken. + + The created MailboxProcessor. + + + Starts the agent. @@ -16996,7 +17281,7 @@ If the task is created on a foreground thread (where is non-null) its body is executed on a background thread using . - If created on a background thread (where is null) it is executed immeidately + If created on a background thread (where is null) it is executed immediately on that thread. @@ -20231,6 +20516,23 @@ Basic Types with Units of Measure + + Indicates a function that should be called in a tail recursive way inside its recursive scope. + A warning is emitted if the function is analyzed as not tail recursive after the optimization phase. + + Attributes + + + + let mul x y = x * y + [<TailCall>] + let rec fact n acc = + if n = 0 + then acc + else (fact (n - 1) (mul n acc)) + 23 // warning because of the addition after the call to fact + + + Creates an instance of the attribute NoCompilerInliningAttribute @@ -21084,7 +21386,7 @@ The input string. The captured expressions in an interpolated string. - The types of expressions for %A holes in interpolated string. + The types of expressions for %A expression gaps in interpolated string. The created format string. @@ -21119,7 +21421,7 @@ Construct a format string The input string. The captured expressions in an interpolated string. - The types of expressions for %A holes in interpolated string. + The types of expressions for %A expression gaps in interpolated string. The PrintfFormat containing the formatted result. @@ -22680,8 +22982,8 @@ let fullName firstName lastName = - nullArg (nameof(firstName)) - nullArg (nameof(lastName)) + if isNull firstName then nullArg (nameof(firstName)) + if isNull lastName then nullArg (nameof(lastName)) firstName + " " + lastName fullName null "Jones" // Throws System.ArgumentNullException: Value cannot be null. (Parameter 'firstName') @@ -26852,7 +27154,7 @@ ksprintf (fun s -> s + ", done!") $"Write three = {1+2}" - Evaluates to "Write five = 5, done!". + Evaluates to "Write three = 3, done!". @@ -26871,7 +27173,7 @@ kprintf (fun s -> s + ", done!") $"Write three = {1+2}" - Evaluates to "Write five = 5, done!". + Evaluates to "Write three = 3, done!". @@ -26891,9 +27193,9 @@ let file = File.CreateText("out.txt") - kfprintf (fun () -> file.Close()) $"Write three = {1+2}" + kfprintf (fun () -> file.Close()) file $"Write three = {1+2}" - Writes "Write five = 5" to out.txt. + Writes "Write three = 3" to out.txt. diff --git a/lib/fcs/FSharp.DependencyManager.Nuget.dll b/lib/fcs/FSharp.DependencyManager.Nuget.dll index 714628aef1..bb754c52a7 100644 Binary files a/lib/fcs/FSharp.DependencyManager.Nuget.dll and b/lib/fcs/FSharp.DependencyManager.Nuget.dll differ diff --git a/lib/fcs/FSharp.DependencyManager.Nuget.xml b/lib/fcs/FSharp.DependencyManager.Nuget.xml index 53df9bdcbf..67156e73be 100644 --- a/lib/fcs/FSharp.DependencyManager.Nuget.xml +++ b/lib/fcs/FSharp.DependencyManager.Nuget.xml @@ -78,11 +78,6 @@ (Originally from FSDependencyManager.txt:2) - - - Call this method once to validate that all known resources are valid; throws if not - - If set to true, then all error messages will just return the filled 'holes' delimited by ',,,'s - this is for language-neutral testing (e.g. localization-invariant baselines). @@ -105,11 +100,6 @@ (Originally from /home/dev/Projects/fsharp/src/Compiler/Facilities/UtilsStrings.txt:1) - - - Call this method once to validate that all known resources are valid; throws if not - - The result of building the package resolution files. diff --git a/src/Fable.Cli/CHANGELOG.md b/src/Fable.Cli/CHANGELOG.md index bb3dc222bf..1a626c88d3 100644 --- a/src/Fable.Cli/CHANGELOG.md +++ b/src/Fable.Cli/CHANGELOG.md @@ -8,6 +8,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ### Changed +#### FCS + +* Updated FCS to latest (by @ncave) + #### JavaScript * Support (un)curry up to 20 arguments (by @MangelMaxime)