Warning: file_get_contents(/data/phpspider/zhask/data//catemap/8/visual-studio-code/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Visual studio code FSharpLint,如何使用规则;接口名称必须从“I”开始;在SuppressMessageAttribute中? []//没有效果 []//它正在工作 模块测试= 类型[]MutationEvent= 抽象属性更改:带get、set的float ..._Visual Studio Code_F# - Fatal编程技术网

Visual studio code FSharpLint,如何使用规则;接口名称必须从“I”开始;在SuppressMessageAttribute中? []//没有效果 []//它正在工作 模块测试= 类型[]MutationEvent= 抽象属性更改:带get、set的float ...

Visual studio code FSharpLint,如何使用规则;接口名称必须从“I”开始;在SuppressMessageAttribute中? []//没有效果 []//它正在工作 模块测试= 类型[]MutationEvent= 抽象属性更改:带get、set的float ...,visual-studio-code,f#,Visual Studio Code,F#,此外,未能搜索有关“InterfaceNamesMustBeginWithI”的源代码。规则的名称为InterfaceNames,因此您可以将其取消: [<SuppressMessage("NameConventions","InterfaceNamesMustBeginWithI")>] //No effect [<SuppressMessage("NameConventions","InterfaceNames")>] //It's working module Te

此外,未能搜索有关“InterfaceNamesMustBeginWithI”的源代码。

规则的名称为
InterfaceNames
,因此您可以将其取消:

[<SuppressMessage("NameConventions","InterfaceNamesMustBeginWithI")>] //No effect
[<SuppressMessage("NameConventions","InterfaceNames")>] //It's working
module Test=
    type [<AllowNullLiteral>] MutationEvent =
        abstract attrChange: float with get, set
        ...
[]
模块测试=
...
还要注意,
SuppressMessage
的第一个参数不是由fsharplint使用的,因此它可以是任何东西(尽管不是
null
,但奇怪的是!)


文档中有指向
InterfaceNamesMustBeginWithI
的指针,但这是不正确的。

因此,无法对其进行详细控制?例如,忽略interface-not-begin-with-i,但用驼峰大小写通知接口名?
[<SuppressMessage("","InterfaceNames")>]
module Test =
    ...