Object expressions don't work with IWSAMs

[vzarytovskii]

type IOperation =
        static abstract member Execute: unit -> unit

let _ =
    { new IOperation with
        static member Execute() = ()
        //member _.Execute() = ()
    }

Results in internal exception.

Should provide meaningful message instead, or parse error.

[edgarfgp]

This will be great to fix too :)

[vzarytovskii]

Well, it works with member Foo() = (without _ or static). But to fix it we'll need to change expressions we use (likely), which may affect a bunch of other things.

The fix should be easy, however, might affect a bunch more things.

[vzarytovskii]

Nvm it's irrelevant issue, since static method implementation doesn't make much sense in object expressions, can't access it from instance.

[0101]

Well it still shouldn't cause an internal exception when someone writes it, rather give a proper diagnostic.

[edgarfgp]

Well it still shouldn't cause an internal exception when someone writes it, rather give a proper diagnostic.

Agreed. We can add a similar diagnostic that https://github.com/dotnet/fsharp/pull/14555/files. Happy to help with this :)

[vzarytovskii]

Well it still shouldn't cause an internal exception when someone writes it, rather give a proper diagnostic.

Only in debug = we don't care.

[vzarytovskii]

I actually believe in release it'll be a proper diagnostic.

[edgarfgp]

Just tried :

dotnet run -c Release
Program.fs(19,27): error FS0073: internal error: unexpected member binding ConsoleApp1.fsproj]