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 type alias/renaming syntax and type resolver pass #16

Open
ppaulweber opened this issue Mar 24, 2017 · 7 comments
Open

add type alias/renaming syntax and type resolver pass #16

ppaulweber opened this issue Mar 24, 2017 · 7 comments
Assignees
@emmanuel099
Labels
feature grammar libcasm-fe libcasm-tc
Milestone
0.7.0-glaphyra

Comments

@ppaulweber
Copy link
Contributor

ppaulweber commented Mar 24, 2017 •
edited

    • please add the following type alias/renaming syntax to the parser grammar:
type_alias ::= 'using' identifier '=' identifier
    • please add a type resolver pass, which checks that no cycles appear etc.
    • add unit test cases to the FE repo
    • add integration test cases to the TC repo
@ppaulweber ppaulweber added this to the release_auxentios milestone Mar 24, 2017
emmanuel099 added a commit to casm-lang/libcasm-fe that referenced this issue Jul 17, 2017
@emmanuel099
Grammar: add support for type aliasing
32f3462 
The rule is: TYPE Identifier = Type

Refs sealangdotorg/sea#16
emmanuel099 added a commit to casm-lang/libcasm-fe that referenced this issue Jul 17, 2017
@emmanuel099
Grammar: add support for type aliasing
b408c2f 
The rule is: TYPE Identifier = Type

Refs sealangdotorg/sea#16
emmanuel099 added a commit to casm-lang/libcasm-fe that referenced this issue Jul 17, 2017
@emmanuel099
Grammar: add support for type aliasing
5e51e1b 
The rule is: TYPE Identifier = Type

Refs sealangdotorg/sea#16
@ppaulweber ppaulweber mentioned this issue Nov 29, 2017
Closed
5 tasks
@ppaulweber
Copy link
Contributor Author

what's the status of this issue?

@ppaulweber ppaulweber removed the casm label Dec 6, 2017
@emmanuel099
Copy link

Almost done. I'll rebase it and add the missing bits (type checker needs to resolve the rhs then apply the resulting type to lhs).

@emmanuel099
Copy link

Changed the syntax from type Identifier = ... to using Identifier = ... as discussed in the meeting.

type will later be used for "name equivalence" whereas using uses "structural equivalence".

emmanuel099 added a commit to casm-lang/libcasm-fe that referenced this issue Dec 21, 2017
@emmanuel099
Grammar: add support for type aliasing (structural equivalence)
2fd4bf9 
The grammar rule is: USING Identifier = Type

Refs sealangdotorg/sea#16
This was referenced Dec 24, 2017
Merged
Merged
@ppaulweber
Copy link
Contributor Author

@emmanuel099: the PR's are merged but is this issue fully covered now? or are parts (see checkbox list at the beginning) still missing?

@ppaulweber
Copy link
Contributor Author

@emmanuel099 I'll move this issue to the next release (milestone) to be completed there.

@ppaulweber ppaulweber modified the milestones: release-auxentios, release-berenice Feb 20, 2018
@ppaulweber
Copy link
Contributor Author

@emmanuel099 any progress on this issue?

@ppaulweber
Copy link
Contributor Author

This issue will be rescheduled to the next upcoming release 0.3.0!

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

@emmanuel099 emmanuel099

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

No branches or pull requests
2 participants
@emmanuel099 @ppaulweber