Skip to content
This repository has been archived by the owner on Feb 26, 2023. It is now read-only.

Don't allow TreeParts inside generics #6

Closed
cgarciae opened this issue Sep 5, 2021 · 1 comment
Closed

Don't allow TreeParts inside generics #6

cgarciae opened this issue Sep 5, 2021 · 1 comment

Comments

@cgarciae
Copy link
Owner

cgarciae commented Sep 5, 2021

Allowing TreeParts inside generics can be confusing, the annotation

Tuple[bool, TreePart[bool]]

can lead to the sensation that the first element is static and the second dynamic. The solution would be to yield an error in this case and the user would just do this

TreePart[Tuple[bool, bool]]
@cgarciae
Copy link
Owner Author

cgarciae commented Sep 6, 2021

Part of #5

@cgarciae cgarciae closed this as completed Sep 6, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@cgarciae