yield r])

mkILNestedExportedTypesLazy

[for i=1to ctxt.getNumRows TableNames.ExportedTypedo

let(flags,_tok,nameIdx,namespaceIdx,implIdx)= seekReadExportedTypeRow ctxt i

ifnot(isTopTypeDef flags)then

let(TaggedIndex(tag,idx))= implIdx

match tagwith

| tagwhen tag= i_ExportedType&& idx= parentIdx->

letnm= readBlobHeapAsTypeName ctxt(nameIdx, namespaceIdx)

{ Name=nm

Access=(match typeAccessOfFlags flagswith ILTypeDefAccess.Nested n-> n|_-> failwith"non-nested access for a nested type described as being in an auxiliary module")

Nested=seekReadNestedExportedTypes ctxt i

CustomAttrs=seekReadCustomAttrs ctxt(TaggedIndex(hca_ExportedType, i))}

nested.Force().[parentIdx-1]

|> List.map(fun i->

let(flags,_tok,nameIdx,namespaceIdx,_implIdx)= exported.[i-1]

{ Name= readBlobHeapAsTypeName ctxt(nameIdx, namespaceIdx)

Access=(match typeAccessOfFlags flagswith

| ILTypeDefAccess.Nested n-> n

|_-> failwith"non-nested access for a nested type described as being in an auxiliary module")

Nested= seekReadNestedExportedTypes ctxt exported nested i

CustomAttrs= seekReadCustomAttrs ctxt(TaggedIndex(hca_ExportedType, i))}

mkILExportedTypesLazy

letres= ref[]

for i=1to ctxt.getNumRows TableNames.ExportedTypedo

let(flags,_tok,nameIdx,namespaceIdx,implIdx)= seekReadExportedTypeRow ctxt i

if isTopTypeDef flagsthen

let(TaggedIndex(tag,_idx))= implIdx

if tag<> i_ExportedTypethen

letnm= readBlobHeapAsTypeName ctxt(nameIdx, namespaceIdx)

letscoref= seekReadImplAsScopeRef ctxt implIdx

{ ScopeRef=scoref

Name=nm

IsForwarder=((flags&&&0x00200000)<>0)

Access=typeAccessOfFlags flags

Nested=seekReadNestedExportedTypes ctxt i

CustomAttrs=seekReadCustomAttrs ctxt(TaggedIndex(hca_ExportedType, i))}

res:= entry::!res

List.rev!res)

letnumRows= ctxt.getNumRows TableNames.ExportedType

letexported=[|for iin1..numRows-> seekReadExportedTypeRow ctxt i|]

letnested=[|for_iin1..numRows->[]|]

for i=1to numRowsdo

let(flags,_,_,_,TaggedIndex(tag,idx))= exported.[i-1]

ifnot(isTopTypeDef flags)&&(tag= i_ExportedType)then

nested.[idx-1]<- i:: nested.[idx-1]

nested)

[for i=1to numRowsdo

let(flags,_tok,nameIdx,namespaceIdx,implIdx)= exported.[i-1]

let(TaggedIndex(tag,_idx))= implIdx

if(isTopTypeDef flags)&&(tag<> i_ExportedType)then

{ ScopeRef= seekReadImplAsScopeRef ctxt implIdx

Name= readBlobHeapAsTypeName ctxt(nameIdx, namespaceIdx)

IsForwarder=((flags&&&0x00200000)<>0)

Access= typeAccessOfFlags flags

Nested= seekReadNestedExportedTypes ctxt exported nested i

CustomAttrs= seekReadCustomAttrs ctxt(TaggedIndex(hca_ExportedType, i))}

#if!FX_NO_PDB_READER