We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
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 -
lit/direct/ds2cps_ax_cps2ds_dependent_short.thorin
./build/bin/thorin -d direct -d tool ./lit/direct/ds2cps_ax_cps2ds_dependent_short.thorin --output-thorin -
Issue:
:4294967295: error: 'Π n_167425: .Nat → .infer (<nullptr>)' used as a type but is in fact a term
High-level description: We constructed a wrapper around .Idx
.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:
Suffers also from #106.
0:.Idx n
lam_idx
see also #103:
Work is underway to add type inference.
Sorry, something went wrong.
Marked as enhancement as the only remaining real problem is the type inference that is not yet properly implemented.
No branches or pull requests
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: