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

Support type synonyms in instance types #2358

Closed
lukaszcz opened this issue Sep 13, 2023 · 1 comment · Fixed by #2772
Closed

Support type synonyms in instance types #2358

lukaszcz opened this issue Sep 13, 2023 · 1 comment · Fixed by #2772
Assignees
@lukaszcz
Labels
enhancement New feature or request traits typechecking
Milestone
0.6.2

Comments

@lukaszcz
Copy link
Collaborator

lukaszcz commented Sep 13, 2023 •
edited
Loading

They are currently unsupported because the dependency builder needs to know the trait target type in an instance type. We should figure out in general how to support instances without adding artificial dependencies from traits to their instances. These dependencies are currently needed because of how buildMutualBlocks works in the Concrete-to-Internal translation and because of filtering of unreachable definitions.
@lukaszcz lukaszcz added this to the 0.5.1 milestone Sep 13, 2023
@lukaszcz lukaszcz added enhancement New feature or request and removed parsing labels Sep 13, 2023
@lukaszcz lukaszcz mentioned this issue Sep 13, 2023
Closed
@lukaszcz lukaszcz self-assigned this Sep 13, 2023
@lukaszcz lukaszcz modified the milestones: 0.5.1, 0.5.2 Sep 15, 2023
@jonaprieto jonaprieto modified the milestones: 0.5.2, 0.5.3 Sep 25, 2023
@jonaprieto jonaprieto modified the milestones: 0.5.3, 0.5.4 Oct 31, 2023
@jonaprieto jonaprieto modified the milestones: 0.5.4, 0.5.5 Nov 17, 2023
@jonaprieto jonaprieto modified the milestones: 0.5.5, 0.5.6 Dec 1, 2023
@lukaszcz
Copy link
Collaborator Author

This is easy after

@jonaprieto jonaprieto modified the milestones: 0.5.6, 0.6.1 Mar 9, 2024
@paulcadman paulcadman modified the milestones: 0.6.1, 0.6.2 Mar 25, 2024
@lukaszcz lukaszcz mentioned this issue May 8, 2024
Merged
lukaszcz added a commit that referenced this issue May 15, 2024
@lukaszcz
Support type synonyms in instance types (#2772)
325d43f 
* Closes #2358
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
enhancement New feature or request traits typechecking
Projects
None yet
Milestone
0.6.2
Development

Successfully merging a pull request may close this issue.

Support type synonyms in instance types anoma/juvix
3 participants
@lukaszcz @paulcadman @jonaprieto