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.

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

[DSLX] Using types where we expect expressions causes internal error #1951

Open
cdleary opened this issue Feb 24, 2025 · 0 comments
Open

[DSLX] Using types where we expect expressions causes internal error #1951

cdleary opened this issue Feb 24, 2025 · 0 comments

Comments

@cdleary
Copy link
Collaborator

cdleary commented Feb 24, 2025

Describe the bug

$ cat /tmp/simple.x 
import apfloat;

type BF16 = apfloat::APFloat<u8, u7>;
E0224 10:49:57.210159 1008868 command_line_utils.cc:47] Could not extract a textual position from error message: INTERNAL: XLS_RET_CHECK failure (xls/dslx/type_system/deduce.cc:1752) std::holds_alternative<Expr*>(eot) : INVALID_ARGUMENT: Provided status is not in recognized error form: INTERNAL: XLS_RET_CHECK failure (xls/dslx/type_system/deduce.cc:1752) std::holds_alternative<Expr*>(eot) 
Error: INTERNAL: XLS_RET_CHECK failure (xls/dslx/type_system/deduce.cc:1752) std::holds_alternative<Expr*>(eot) 

To Reproduce
Put the content above in a .x file and run dslx_interpreter_main on it with a DSLX standard library available.

Expected behavior
No internal error, good error message. Note this is likely to be fixed in TIv2 but we can make a test case for it regardless in the bridge time until TIv2 is the default.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant