-
Notifications
You must be signed in to change notification settings - Fork 51
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.
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
Dependent default values #2446
Dependent default values #2446
Conversation
janmasrovira
commented
Oct 17, 2023
•
edited
Loading
edited
- Closes Allow default values to refer to previous arguments #2445
656a193
to
d0e8b57
Compare
It is possible to enter an infinite loop when inserting default arguments. E.g.
In order to prevent this problem, we need dependency information for default arguments before translating to Internal. I didn't want to delay this pr further, so I'll work on a patch separately. Also, this is a problem with default arguments in general, not only for dependent default values. |
this has been fixed in e886aa2 |
src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/TypeChecking/Data/Inference.hs
Show resolved
Hide resolved
src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/TypeChecking/Data/Inference.hs
Show resolved
Hide resolved
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Address the comments. I think SimpleLambda
can be removed, but not completely sure.