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

Crash in JuvixTree: not unifiable: (*, *) → bool, * → bool #3016

Closed
paulcadman opened this issue Sep 10, 2024 · 0 comments · Fixed by #3087
Closed

Crash in JuvixTree: not unifiable: (*, *) → bool, * → bool #3016

paulcadman opened this issue Sep 10, 2024 · 0 comments · Fixed by #3087
Assignees
@lukaszcz
Labels
bug juvix-tree pending-review
Milestone
0.6.7

Comments

@paulcadman
Copy link
Collaborator

To reproduce the crash:

Checkout anoma-app-patterns at the following commit:

anoma/anoma-applib@934a652

Run:

 juvix compile anoma --debug Token/Tests/AnomaNode/Step2_InitializeToken.juvix

Error:

/<tree>:1:1: error:
not unifiable: (*, *) → bool, * → bool
@lukaszcz lukaszcz self-assigned this Sep 17, 2024
@lukaszcz lukaszcz added this to the 0.6.7 milestone Sep 17, 2024
@lukaszcz lukaszcz mentioned this issue Oct 8, 2024
Merged
lukaszcz added a commit that referenced this issue Oct 9, 2024
@lukaszcz
Fix JuvixTree unification (#3087)
7760267 
* Closes #3016 
* Fixes the `curryType` function
* Changes the behaviour of `unifyTypes` and `isSubtype` to always curry
first
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
bug juvix-tree pending-review
Projects
None yet
Milestone
0.6.7
Development

Successfully merging a pull request may close this issue.

Fix JuvixTree unification anoma/juvix
2 participants
@lukaszcz @paulcadman