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

typechecker misses undeclared type in right-hand side of alias definition #1434

Closed
jurgenvinju opened this issue Aug 4, 2020 · 2 comments
Closed

Comments

@jurgenvinju
Copy link
Member

Describe the bug

I had an empty module with this in it:

data AType = \int();
alias TypeProvider = AType(Tree); // Generic

The type-checker did not report an undefined type for Tree, but the interpreter complained on import.

@jurgenvinju
Copy link
Member Author

However, when changing Tree to X, then the typechecker complaints rightfully. So perhaps this is not a bug.

@PaulKlint
Copy link
Member

In the upcoming release, the typechecker now correctly reports Tree as undefined. Thanks for reporting.

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

No branches or pull requests

2 participants