具有相同名称的模块和类

Question

这是允许的:

type Test = class end

[<CompilationRepresentation (CompilationRepresentationFlags.ModuleSuffix)>]
module Test = begin end

但这不是:

[<CompilationRepresentation (CompilationRepresentationFlags.ModuleSuffix)>]
module Test = begin end

type Test = class end

为什么？

在第二种情况下,错误是:类型或模块"测试"的重复定义.

我希望能够定义一些[<Literal>]类型所需的公共常量,并且对于具有相同名称的模块内的类型的用户来说很重要.

Answer 1

您可以打开类型声明,关闭它并稍后重新打开,如下所示:

type Test = class end

[<CompilationRepresentation (CompilationRepresentationFlags.ModuleSuffix)>]
module Test =
    [<Literal>]
    let myLiteral = "myLiteral"

type Test with
    static member test = ()

我一直都在使用这个技巧;)