ed/raddebugger
1
0
Fork 0
mirror of https://github.com/Ed94/raddebugger.git synced 2026-10-07 08:25:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

start work on more sophisticated memory type interpretation capabilities in memory view

Browse Source
This commit is contained in:
Ryan Fleury
2026-04-09 16:24:28 -07:00
parent 120cc529ef
commit 686b64c357
8 changed files with 270 additions and 60 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/eval/eval_ir.c
+4 -2
View File
@@ -661,7 +661,7 @@ e_push_irtree_and_type_from_expr(Arena *arena, E_IRTreeAndType *root_parent, E_I
E_Type *lhs_type = e_type_from_key(lhs_irtree_try_chain->type_key);
E_TypeAccessFunctionType *lhs_access = lhs_type->access;
for(E_Type *lens_type = lhs_type;
lens_type->kind == E_TypeKind_Lens || lens_type->kind == E_TypeKind_Set;
lens_type->kind == E_TypeKind_Lens || lens_type->kind == E_TypeKind_Set || (E_TypeKind_FirstMeta <= lens_type->kind && lens_type->kind <= E_TypeKind_LastMeta);
lens_type = e_type_from_key(lens_type->direct_type_key))
{
if(lens_type->access != 0)
@@ -2444,7 +2444,9 @@ e_push_irtree_and_type_from_expr(Arena *arena, E_IRTreeAndType *root_parent, E_I
E_Type *type = e_type_from_key(result.type_key);
{
E_TypeIRExtFunctionType *irext = type->irext;
for(E_Type *t = type; t->kind == E_TypeKind_Lens || t->kind == E_TypeKind_Set; t = e_type_from_key(t->direct_type_key))
for(E_Type *t = type;
t->kind == E_TypeKind_Lens || t->kind == E_TypeKind_Set || (E_TypeKind_FirstMeta <= t->kind && t->kind <= E_TypeKind_LastMeta);
t = e_type_from_key(t->direct_type_key))
{
if(t->irext != 0)
{