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

CN: Remove noisy and inaccurate u64 index warning for extra (revert #616) #768

Open
dc-mak opened this issue Dec 17, 2024 · 0 comments
Open
Labels
base typing cn language Related to design of the CN language technical debt Something for internal cleanup ui/ux Issue with presentation or user experience

Comments

@dc-mak
Copy link
Contributor

dc-mak commented Dec 17, 2024

#616 intended to warn users when an extract was used with non u64 types for iterated owneds that are create from array types, but it ended up warning for every iterated owned, which is noisy and inaccurate.

After #311 and #499 are implemented (ideally in a way that doesn't block #303), this should be removed because incorrect base types can be warned per extract/focus rather than globally, which would close #256 too (and maybe #357 and #320).

@dc-mak dc-mak added ui/ux Issue with presentation or user experience cn technical debt Something for internal cleanup language Related to design of the CN language base typing labels Dec 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
base typing cn language Related to design of the CN language technical debt Something for internal cleanup ui/ux Issue with presentation or user experience
Projects
None yet
Development

No branches or pull requests

1 participant