-
-
Notifications
You must be signed in to change notification settings - Fork 411
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
Incorrect array inference #4281
Labels
Comments
chalcolith
added
bug
Something isn't working
needs investigation
This needs to be looked into before its "ready for work"
labels
Dec 20, 2022
ponylang-main
added
the
discuss during sync
Should be discussed during an upcoming sync
label
Dec 20, 2022
As Jason pointed out in today's sync call, it looks like the array inference for ReadSeq is missing the |
Other way around, it's inadvertently adding a |
Thanks for clarifying 😄 |
SeanTAllen
removed
discuss during sync
Should be discussed during an upcoming sync
needs investigation
This needs to be looked into before its "ready for work"
labels
Jan 3, 2023
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
When compiling the following code:
we get the errors:
Notice the the third info section erroneously says
Bar ref^ is not a subtype of Bar val
, where it should be checking againstBar box^
, since typeFoo
is(Bar box | Baz box | Bool)
. Indeed in the next section it correctly checks againstBaz box^
.The text was updated successfully, but these errors were encountered: