-
Notifications
You must be signed in to change notification settings - Fork 9
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
Function used as a type but is in fact a term #95
Labels
enhancement
New feature or request
Comments
Merged
Marked as enhancement as the only remaining real problem is the type inference that is not yet properly implemented. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Observed in
lit/direct/ds2cps_ax_cps2ds_dependent_short.thorin
Command line:
./build/bin/thorin -d direct -d tool ./lit/direct/ds2cps_ax_cps2ds_dependent_short.thorin --output-thorin -
Issue:
High-level description:
We constructed a wrapper around
.Idx
Suspected problem:
Idx has problems with the duality of fundamental integer and being applied as a function.
The text was updated successfully, but these errors were encountered: