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

Follow-up on development with rbs-inline #493

Merged
merged 3 commits into from
Dec 27, 2024
Merged

Conversation

ydah
Copy link
Member

@ydah ydah commented Dec 27, 2024

Follow up: #490

@ydah ydah force-pushed the rbs-inline-follow branch 2 times, most recently from a169fd8 to 0820943 Compare December 27, 2024 08:57
Comment on lines +141 to +148
- name: Check for uncommitted changes
run: |
if [ -n "$(git status --porcelain)" ]; then
echo "Uncommitted changes detected after running rbs-inline."
echo "Please run 'bundle rake rbs_inline' and commit the changes generated by rbs-inline." >&2
exit 1
fi
shell: bash
Copy link
Member Author

Choose a reason for hiding this comment

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

If there is an uncommitted sig/generated/lrama type definition, it fails as follows:

error

@ydah ydah marked this pull request as ready for review December 27, 2024 09:03

We use [Steep](https://github.com/soutaro/steep) for type checking and [rbs-inline](https://github.com/soutaro/rbs-inline) for type declarations.

Currently, type signatures are declared in the [sig/lrama](https://github.com/ruby/lrama/blob/master/sig/lrama) directory. However, these files will be replaced with `rbs-inline`. This means type signatures should be written directly in the source code.
Copy link
Member Author

Choose a reason for hiding this comment

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

In the future, once the migration is complete, only this section can be erased.

@ydah ydah merged commit 317b7d1 into ruby:master Dec 27, 2024
19 checks passed
@ydah ydah deleted the rbs-inline-follow branch December 27, 2024 23:20
@yui-knk
Copy link
Collaborator

yui-knk commented Dec 28, 2024

LGTM, thank you!

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