@@ -3384,10 +3384,10 @@ let decodeILAttribData (ilg: ILGlobals) (ca: ILAttribute) =
33843384let n , sigptr = sigptr_ get_ i32 bytes sigptr
33853385if n= 0xFFFFFFFF then ILAttribElem.Null, sigptrelse
33863386let rec parseElems acc n sigptr =
3387- if n= 0 then List.rev accelse
3387+ if n= 0 then List.rev acc, sigptr else
33883388let v , sigptr = parseVal elemTy sigptr
33893389 parseElems( v:: acc) ( n-1 ) sigptr
3390- let elems = parseElems[] n sigptr
3390+ let elems , sigptr = parseElems[] n sigptr
33913391 ILAttribElem.Array( elemTy, elems), sigptr
33923392| ILType.Value_ -> (* assume it is an enumeration*)
33933393let n , sigptr = sigptr_ get_ i32 bytes sigptr
@@ -3409,7 +3409,7 @@ let decodeILAttribData (ilg: ILGlobals) (ca: ILAttribute) =
34093409let et , sigptr = sigptr_ get_ u8 bytes sigptr
34103410// We have a named value
34113411let ty , sigptr =
3412- if ( 0x50 = ( int et) || 0x55 = ( int et)) then
3412+ if ( (* 0x50 = (int et) ||*) 0x55 = ( int et)) then
34133413let qualified_tname , sigptr = sigptr_ get_ serstring bytes sigptr
34143414let unqualified_tname , rest =
34153415let pieces = qualified_ tname.Split( ',' )