core
core copied to clipboard
Name attribute on constructors
This currently has no effect: [<Name "DefaultNew">] new() = MyClass(0)
With the constructors generated as static method helpers when multiple constructors are present, the Name attribute should be ideally used, not just keep having names New, New_1, etc.