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.

Sign up for GitHub

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

Jump to bottom

add Port type abstraction #31

Open
2 of 4 tasks
ppaulweber opened this issue Apr 14, 2017 · 0 comments
Open
2 of 4 tasks

add Port type abstraction #31

ppaulweber opened this issue Apr 14, 2017 · 0 comments
Assignees
@ppaulweber
Labels
casm feature libcasm-fe libcasm-ir libcasm-tc
Milestone
0.7.0-glaphyra

Comments

@ppaulweber
Copy link
Contributor

ppaulweber commented Apr 14, 2017 •
edited
Loading

  • add a new Port type abstraction to the type-system in the IR
  • integrate this into the symbol resolver pass new AST symbol resolver pass #22
  • define basic build-in operations for this type (e.g. receive, send etc.)
  • added unit tests to the TC repo
@ppaulweber ppaulweber added this to the prototype milestone Apr 14, 2017
@ppaulweber ppaulweber self-assigned this Apr 14, 2017
ppaulweber added a commit to casm-lang/libcasm-ir that referenced this issue Jun 8, 2017
@ppaulweber
Port Type
f326674 
* added new 'Port' type abstraction to the type system
  - related to ref sealangdotorg/sea#31
* updated type internals
* added basic unit test to check type naming etc.
ppaulweber added a commit to casm-lang/libcasm-ir that referenced this issue Jun 8, 2017
@ppaulweber
Type
78c35fd 
* renamed 'AbstractType' to ''AbstractionType'
  - related to ref sealangdotorg/sea#30
  - related to ref sealangdotorg/sea#31
* added missing 'Type::is*()' helper methods
@ppaulweber ppaulweber modified the milestones: release_auxentios, prototype Jun 8, 2017
@ppaulweber ppaulweber modified the milestones: release-auxentios, release-berenice Feb 20, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ppaulweber ppaulweber

Labels
casm feature libcasm-fe libcasm-ir libcasm-tc
Projects
None yet
Milestone
0.7.0-glaphyra
Development

No branches or pull requests
1 participant
@ppaulweber