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

Panic on multiple nested modules with the same name #1822

Open
yav opened this issue Mar 6, 2025 · 0 comments
Open

Panic on multiple nested modules with the same name #1822

yav opened this issue Mar 6, 2025 · 0 comments
Labels
bug Something not working correctly parameterized modules Related to Cryptol's parameterized modules

Comments

@yav
Copy link
Member

yav commented Mar 6, 2025

Here's an example:

module Test where                                                                
                                                                                    
submodule S where                                                                   
  submodule E where                                                              
    x = 0x02                                                                     
                                                                                 
submodule S where    

This causes a panic at lookupResolved.

@yav yav added bug Something not working correctly parameterized modules Related to Cryptol's parameterized modules labels Mar 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something not working correctly parameterized modules Related to Cryptol's parameterized modules
Projects
None yet
Development

No branches or pull requests

1 participant