readonly field can't use at the ReflectedDefinition function.

[bleis-tift]

Description:

A readonly field that is defined by C# class can't use at the function with ReflectedDefinition attribute.

Repro Steps:

public class Class1
{
    public readonly string Value;
    public Class1(string v) { this.Value = v; }
}

[<ReflectedDefinition>]
let f () = Class1("aaa").Value

Expected:

Compilation is successful.

Actual:

Compile error.

Quotations cannot contain inline assembly code or pattern matching on arrays

Version: Language, compiler, library, platform version

F# 3.1.2, .NET Framework 4.5, Visual Studio 2013

Workaround: List any known workarounds

• remove readonly
• use property
• remove ReflectedDefinition (but this is unacceptable)

[latkin]

Root cause is here. This case handles both [ldsfld] and [ldsfld; nop], but only captures [ldfld]. In this scenario the op is [ldfld; nop] so it falls through to the error case.

The extra nop is deliberately added for readonly fields (here for instance, here for static), so it looks like it was just an oversight to miss this case.

[latkin]

Marking up for grabs, fix is described above.