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

Comments

Projects
None yet
2 participants
@sushant94
Collaborator

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

This comment has been minimized.

Show comment
Hide comment
@XVilka

XVilka Jan 24, 2018

Collaborator

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.

Collaborator

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

This comment has been minimized.

Show comment
Hide comment
@XVilka

XVilka Jul 3, 2018

Collaborator

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

Collaborator

XVilka commented Jul 3, 2018

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment