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 File type abstraction #30

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

add File type abstraction #30

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 File 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. load, read 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
File Type
b9ebc79 
* added new abstraction type 'AbstractType', which holds abstraction
  types like files, ports etc.
* added new 'File' type
  - related to ref sealangdotorg/sea#30
* fixed internals
* added basic unit test to support the new 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