patrick/WoofWare.PawPrint
1
0
Fork 0
mirror of https://github.com/Smaug123/WoofWare.PawPrint synced 2025-10-12 09:08:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make isinst more powerful (#55)

Browse Source
This commit is contained in:
Patrick Stevens
2025-06-15 21:40:53 +01:00
committed by GitHub
parent a85bfd93b6
commit 1ac5f01a3c
1 changed files with 19 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
WoofWare.PawPrint/UnaryMetadataIlOp.fs
View File

@@ -308,11 +308,25 @@ module internal UnaryMetadataIlOp =
let targetType : TypeDefn =
match metadataToken with
| MetadataToken.TypeDefinition td ->
TypeDefn.FromDefinition (
ComparableTypeDefinitionHandle.Make td,
state.ActiveAssembly(thread).Name.FullName,
failwith "TODO"
)
let activeAssy = state.ActiveAssembly thread
let ty = activeAssy.TypeDefs.[td]
let baseTy =
TypeInfo.resolveBaseType
baseClassTypes
_.Name
(fun x y -> x.TypeDefs.[y])
activeAssy.Name
ty.BaseType
let sigType =
match baseTy with
| ResolvedBaseType.Enum
| ResolvedBaseType.ValueType -> SignatureTypeKind.ValueType
| ResolvedBaseType.Object -> SignatureTypeKind.Class
| ResolvedBaseType.Delegate -> failwith "todo"
TypeDefn.FromDefinition (ComparableTypeDefinitionHandle.Make td, activeAssy.Name.FullName, sigType)
| MetadataToken.TypeSpecification handle -> state.ActiveAssembly(thread).TypeSpecs.[handle].Signature
| m -> failwith $"unexpected metadata token {m} in IsInst"