-
Notifications
You must be signed in to change notification settings - Fork 847
Open
Labels
Area-Compiler-SigFileGengeneration of signature files - both compiler and IDEgeneration of signature files - both compiler and IDEBugImpact-Low(Internal MS Team use only) Describes an issue with limited impact on existing code.(Internal MS Team use only) Describes an issue with limited impact on existing code.
Milestone
Description
When generating a signature file the result is somewhat unexpected.
Repro steps
module Foo
type P<'a> = class end
[<RequireQualifiedAccess>]
[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
module R =
type private 'a P = unit -> 'a
leads to
module Foo
type P<'a> =
class end
[<RequireQualifiedAccess; CompilationRepresentation (enum<CompilationRepresentationFlags> (4))>]
module R =
type 'a private P = unit -> 'aExpected behaviour
It should be type private 'a P = unit -> 'a
Actual behaviour
private should not be between 'a and P.
Related information
FCS: FSharpCheckFileResults.GenerateSignature
Metadata
Metadata
Assignees
Labels
Area-Compiler-SigFileGengeneration of signature files - both compiler and IDEgeneration of signature files - both compiler and IDEBugImpact-Low(Internal MS Team use only) Describes an issue with limited impact on existing code.(Internal MS Team use only) Describes an issue with limited impact on existing code.
Type
Projects
Status
New