Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Simple Type System in IR #118

Open
sushant94 opened this issue Jan 23, 2018 · 2 comments
Open

Simple Type System in IR #118

sushant94 opened this issue Jan 23, 2018 · 2 comments
Projects
Milestone

Comments

@sushant94
Copy link
Collaborator

@sushant94 sushant94 commented Jan 23, 2018

Currently, we have the ability to mark nodes as either a scalar (not an address) or a reference (pointer/reference). We'd like to take this a step further and be able to assign primitive (C like) types for nodes to make the IR more expressive.

@XVilka
Copy link
Member

@XVilka XVilka commented Jan 24, 2018

Can you elaborate what exactly types you want?
Would be nice to support dependent types (constrained types) at some point, but probably this is for higher level abstraction levels.

@XVilka
Copy link
Member

@XVilka XVilka commented Jul 3, 2018

@kriw please keep this in mind, I think this feature is very important on the long run

@XVilka XVilka added this to To do in Radeco IL Oct 29, 2018
@XVilka XVilka added this to the Radeco-0.2 milestone Jan 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Radeco IL
  
To do
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
You can’t perform that action at this time.