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.

Sign up for GitHub

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

Jump to bottom

[New module system] Using a parameter type on the REPL panics #1458

Closed
yav opened this issue Oct 14, 2022 · 0 comments
Closed

[New module system] Using a parameter type on the REPL panics #1458

yav opened this issue Oct 14, 2022 · 0 comments
Assignees
@yav
Labels
bug Something not working correctly

Comments

@yav
Copy link
Member

yav commented Oct 14, 2022

To reproduce:

> :load F.cry
> 1 : [n]

Here F is a functor that has a type parameter n. This likely because when evaluating we check that we don't depend on values from an interface, but we should also check that we don't depend on types from it.
@yav yav added the bug Something not working correctly label Oct 14, 2022
@yav yav self-assigned this Oct 14, 2022
yav added a commit that referenced this issue Oct 20, 2022
@yav
Check that when evaluating things we do not use either value or type …
9701b37 
…paramxs.

Fixes #1458
@yav yav closed this as completed Oct 26, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yav yav

Labels
bug Something not working correctly
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@yav