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

Mutually recursive data types cannot be specified in Core #3305

Open
lukaszcz opened this issue Jan 31, 2025 · 0 comments
Open

Mutually recursive data types cannot be specified in Core #3305

lukaszcz opened this issue Jan 31, 2025 · 0 comments
Assignees
@lukaszcz
Labels
bug core Related to JuvixCore parsing pending-review prettyprinting
Milestone
0.6.10

Comments

@lukaszcz
Copy link
Collaborator

Also, the printing of Core doesn't respect the type order dependencies. It should be possible to pre-declare types (like with definitions) to allow mutually recursive types.
@lukaszcz lukaszcz added this to the 0.6.10 milestone Jan 31, 2025
@lukaszcz lukaszcz self-assigned this Jan 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
bug core Related to JuvixCore parsing pending-review prettyprinting
Projects
None yet
Milestone
0.6.10
Development

No branches or pull requests
1 participant
@lukaszcz