Wrong compiler error when a record field is used after dot on a variable of unrelated type

[vasily-kirichenko]

The error message is quite interesting, it does not say that x does not have Foo property/method, it says it's not a MyRec

which is misleading for my taste.

[abelbraaksma]

FWIW, this is not a regression (and you don't claim it is, I know), I checked your code with VS2015, F# 4.0 and it raises basically the same error:

I agree though that improvement would be nice. I have seen that error a bunch of times, esp in Record-type hungry solutions.

Wouldn't the simplest solution be to say something similar to the default error when the method/property/field is not known? I mean, I would actually expect something like the following:

Cause, if you take the logic of the above error, then any method/property/field that is used in any type in scope could show that error.

[dsyme]

The relevant code is here: https://github.com/Microsoft/visualfsharp/blob/master/src/fsharp/NameResolution.fs#L3127

The "record field" case should be adjusted so that it only kicks in if the type typ is a variable type or record type (something like not (isNominalTy typ) || isRecordTy ...)

[vasily-kirichenko]

I confirm this is fixed in 15.7.2