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

Support better type checking of array sections #14

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

RaoulHC
Copy link
Collaborator

@RaoulHC RaoulHC commented Jul 19, 2023

Previously it would just return the type of the array, not taking into
account what the section is referring to, which is somewhat ok for 1
dimensional arrays but for more dimensions it really should tell us the
expression is a single dimensional array.

This helps us check whether interfaces usage is valid, which does care
about the dimensionality.

Previously it would just return the type of the array, not taking into
account what the section is referring to, which is somewhat ok for 1
dimensional arrays but for more dimensions it really should tell us the
expression is a single dimensional array.

This helps us check whether interfaces usage is valid, which does care
about the dimensionality.
@RaoulHC RaoulHC requested review from dorchard and raehik July 19, 2023 11:32
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.

1 participant