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

Implement rbs subtract command #1287

Merged
merged 40 commits into from
Apr 26, 2023
Merged

Implement rbs subtract command #1287

merged 40 commits into from
Apr 26, 2023

Conversation

pocke
Copy link
Member

@pocke pocke commented Mar 20, 2023

This PR adds rbs subtract command.

Design: https://hackmd.io/seoMijXwRdG2uFITm2lLqw

I'm trying this feature on my private project, and it works well.

Limitations

This PR doesn't solve the limitations described in the design doc.
The limitations rarely affect the real applications. So I think we do not need to remove the limitations in this PR.

@pocke pocke changed the title Subtract Implement rbs subtract command Mar 20, 2023
@pocke pocke force-pushed the subtract branch 2 times, most recently from 6eeae2d to 6b89bc1 Compare March 27, 2023 05:51
@pocke pocke force-pushed the subtract branch 2 times, most recently from b80de2e to e37ca45 Compare April 17, 2023 13:50
@pocke pocke marked this pull request as ready for review April 24, 2023 06:38
@pocke pocke added this to the RBS 3.1 milestone Apr 24, 2023
Copy link
Member

@soutaro soutaro left a comment

Choose a reason for hiding this comment

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

👍

@pocke pocke added this pull request to the merge queue Apr 26, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Apr 26, 2023
@pocke pocke added this pull request to the merge queue Apr 26, 2023
Merged via the queue into ruby:master with commit 6cfaba1 Apr 26, 2023
@pocke pocke deleted the subtract branch April 26, 2023 04:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants