Hi,

I have a record type that is something like this:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

 
   [<MyAttribute(typeof<Baz<_>>)>]
type Foo<'a> when 'a :> IBar<'a> =


            {


    mutable foo : 'a


            }


            interface IBar<Foo<'a>>

When I attempt to extract the record fields with Reflection.FSharpType.GetRecordFields, I get the following exception:

Unhandled Exception: System.NotSupportedException: Specified method is not supported.
at System.Reflection.Emit.TypeBuilderInstantiation.GetCustomAttributes(Type attributeType, Boolean inherit)
at Microsoft.FSharp.Reflection.Impl.tryFindCompilationMappingAttribute(Type typ)
at Microsoft.FSharp.Reflection.Impl.tryFindSourceConstructFlagsOfType(Type typ)
at Microsoft.FSharp.Reflection.Impl.isRecordType(Type typ, BindingFlags bindingFlags)
at Microsoft.FSharp.Reflection.Impl.checkRecordType[a](a argName, Type recordType, BindingFlags bindingFlags)
at Microsoft.FSharp.Reflection.FSharpType.GetRecordFields(Type recordType, Option`1 bindingFlags)

The odd thing is that this only happens at runtime. If I do that same thing in FSI, it works fine.

Perhaps there something wrong with the System.Type instance I'm using? Under the debugger, the System.Type going into GetRecordFields looks like so (note all the System.InvalidOperationException exceptions):

- t {Name = "Foo`1" FullName = null} System.Type {System.RuntimeType}

+ [System.RuntimeType] {Name = "Foo`1" FullName = null} System.RuntimeType

+ base {Name = "Foo`1" FullName = null} System.Reflection.MemberInfo {System.RuntimeType}

+ Assembly {Test, Version=0.0.0.0, Culture=neutral, PublicKeyToken=120bce90f68b861a} System.Reflection.Assembly

AssemblyQualifiedName null string

Attributes NestedPublic | Sealed | Serializable | BeforeFieldInit System.Reflection.TypeAttributes

+ BaseType {Name = "Object" FullName = "System.Object"} System.Type {System.RuntimeType}

ContainsGenericParameters true bool

+ DeclaringMethod 't.DeclaringMethod' threw an exception of type 'System.InvalidOperationException' System.Reflection.MethodBase {System.InvalidOperationException}

+ DeclaringType {Name = "StructuredNote" FullName = "Test.StructuredNote"} System.Type {System.RuntimeType}

FullName null string

+ GenericParameterAttributes 't.GenericParameterAttributes' threw an exception of type 'System.InvalidOperationException' System.Reflection.GenericParameterAttributes {System.InvalidOperationException}

+ GenericParameterPosition 't.GenericParameterPosition' threw an exception of type 'System.InvalidOperationException' int {System.InvalidOperationException}

+ GUID {fd6a62e7-42ce-303c-b26c-0f6588154eca} System.Guid

HasElementType false bool

IsAbstract false bool

IsAnsiClass true bool

IsArray false bool

IsAutoClass false bool

IsAutoLayout true bool

IsByRef false bool

IsClass true bool

IsCOMObject false bool

IsContextful false bool

IsEnum false bool

IsExplicitLayout false bool

IsGenericParameter false bool

IsGenericType true bool

IsGenericTypeDefinition false bool

IsImport false bool

IsInterface false bool

IsLayoutSequential false bool

IsMarshalByRef false bool

IsNested true bool

IsNestedAssembly false bool

IsNestedFamANDAssem false bool

IsNestedFamily false bool

IsNestedFamORAssem false bool

IsNestedPrivate false bool

IsNestedPublic true bool

IsNotPublic false bool

IsPointer false bool

IsPrimitive false bool

IsPublic false bool

IsSealed true bool

IsSerializable true bool

IsSpecialName false bool

IsUnicodeClass false bool

IsValueType false bool

IsVisible true bool

MemberType NestedType System.Reflection.MemberTypes

+ Module {Test.exe} System.Reflection.Module

Namespace "Test" string

+ ReflectedType {Name = "StructuredNote" FullName = "Test.StructuredNote"} System.Type {System.RuntimeType}

+ StructLayoutAttribute {System.Runtime.InteropServices.StructLayoutAttribute} System.Runtime.InteropServices.StructLayoutAttribute

+ TypeHandle {System.RuntimeTypeHandle} System.RuntimeTypeHandle

+ TypeInitializer null System.Reflection.ConstructorInfo

+ UnderlyingSystemType {Name = "Foo`1" FullName = null} System.Type {System.RuntimeType}

+ Static members

+ Non-Public members