8000 Fix type checking block calls on `untyped` receiver by soutaro · Pull Request #1528 · soutaro/steep · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Fix type checking block calls on untyped receiver #1528

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Mar 13, 2025
Merged

Fix type checking block calls on untyped receiver #1528

merged 1 commit into from
Mar 13, 2025

Conversation

soutaro
Copy link
Owner
@soutaro soutaro commented Mar 13, 2025

Closes #1522

The issue is caused by type checking the receiver twice (per call) by synthesize_children. Having skips: keyword with receiver solves the problem.

@soutaro soutaro added this to the Steep 1.10 milestone Mar 13, 2025
@soutaro soutaro force-pushed the fix-type-checking-receiver branch from 8ce2acf to ae49d2b Compare March 13, 2025 02:10
@soutaro soutaro merged commit d44dbad into master Mar 13, 2025
19 checks passed
@soutaro soutaro deleted the fix-type-checking-receiver branch March 13, 2025 02:19
@soutaro soutaro added the Released The PR is already included in a published release label Mar 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Released The PR is already included in a published release
Projects
None yet
Milestone
Steep 1.10
Development

Successfully merging this pull request may close these issues.

Too many error reports with method chain with block
1 participant
@soutaro
0