Skip to content

Conversation

@edgarfgp
Copy link
Contributor

This addresses @dsyme in #12013 (comment) Regarding jagged arrays

@edgarfgp
Copy link
Contributor Author

Finally green 🎉

@T-Gro T-Gro self-requested a review September 26, 2022 06:50
Copy link
Member

@T-Gro T-Gro left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks good, thanks for the quick turnaround.

If we need/want a nicer type syntax for jagged arrays (but not arrayNd), we can put this back with modified naming.

I was having some thoughts about ( (array^N)), but that would unlikely be beneficial to anyone...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants