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

fix: synthesize shape in sub-environment scope #216

Merged
merged 3 commits into from
Nov 10, 2024

Conversation

sor4chi
Copy link
Contributor

@sor4chi sor4chi commented Nov 6, 2024

Hi, I resolved generic names leaking. I'm not sure if I'm right...

#196


  • wrap shape-synthesizes operation with new inner lexical scope
  • add an edge test case

@kaleidawave
Copy link
Owner

Awesome! I think I will be around to merge this later

@kaleidawave kaleidawave added bug Something isn't working checking Issues around checking labels Nov 6, 2024
@kaleidawave
Copy link
Owner

kaleidawave commented Nov 8, 2024

Sorry dealing with college stuff and don't want to rush a release. Will be merged in next week!

@kaleidawave kaleidawave linked an issue Nov 10, 2024 that may be closed by this pull request
@kaleidawave kaleidawave merged commit d0a21ba into kaleidawave:main Nov 10, 2024
6 of 9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working checking Issues around checking
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Generic names leak out of functions
2 participants