-
Notifications
You must be signed in to change notification settings - Fork 830
Closed
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 Meh
type Foo() =
member inline this.Item
with get (i:int,j: char) : string = ""
and set (i:int,j: char) (x:string) = printfn "%i %c" i jleads to
module Meh
type Foo =
new: unit -> Foo
member Item: i: int * j: char -> string with getExpected behaviour
It needs the inline keyword. There is also no setter, but that is a separate issue.
Actual behaviour
Module 'Meh' contains� member Foo.Item: i: int * j: char -> string with get �but its signature specifies� member Foo.Item: i: int * j: char -> string with get �The inline flags differ
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
Done