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

Fix MAP.ERROR.11 #1628

Merged
merged 2 commits into from
Sep 6, 2024
Merged

Fix MAP.ERROR.11 #1628

merged 2 commits into from
Sep 6, 2024

Conversation

yitzchak
Copy link
Member

@yitzchak yitzchak commented Sep 5, 2024

Do a type check for result types like (or (vector t 5) (vector t 10)) in MAP. Tries to avoid doing the type check for simple type specifiers like VECTOR or specialized array classes.

CMUCL has the same bug we do in MAP and this is basically how SBCL fixed it. Maybe not ideal, but I think it is probably the easiest fix without changing the plumbing in MAKE-SEQUENCE significantly.

@yitzchak yitzchak marked this pull request as ready for review September 6, 2024 11:38
Copy link
Member

@Bike Bike left a comment

Choose a reason for hiding this comment

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

right, this... i thought about doing this a while ago but didn't want to slow things down until the compiler was better, but it's better for it to be correct first.
I'll probably need to add type derivers for make-sequence and what it expands into, later.

@yitzchak yitzchak merged commit bfaa65e into main Sep 6, 2024
9 checks passed
@yitzchak yitzchak deleted the map branch September 6, 2024 18:12
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.

2 participants