Skip to content

Type refactor within MetaModel#92

Draft
jokap11 wants to merge 19 commits intodevelopfrom
meta_type_refactor
Draft

Type refactor within MetaModel#92
jokap11 wants to merge 19 commits intodevelopfrom
meta_type_refactor

Conversation

@jokap11
Copy link
Copy Markdown
Collaborator

@jokap11 jokap11 commented Apr 30, 2026

Refactored the typing system to establish a single, consistent, and centralized type model.

Summary:
Typing has been moved out of the arch file and completely redesigned,

  • with TypeKind as the core abstraction instead of signed boolean
  • Literals have been consolidated into a unified Literal type.
  • Type inference and the ty/size API are now consistent.
  • Attributes have been separated into their own class.
  • Scalars are abstracted into Symbols with a type
    This lays hopefully the foundation for future extensions such as arrays, structs, and unions.

@jokap11 jokap11 requested a review from PhilippvK April 30, 2026 12:39
jokap11 and others added 3 commits April 30, 2026 16:13
Common Subclass for
- Alias
- RegisterBanks
- Memory
- BitFieldDescr
- Variables
@jokap11 jokap11 marked this pull request as draft May 3, 2026 15:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant