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

stdlib: the headers keyword for CSV.foreach can take String #1864

Merged
merged 2 commits into from
Sep 13, 2024

Conversation

tk0miya
Copy link
Contributor

@tk0miya tk0miya commented Jun 5, 2024

The headers keyword option of CSV.foreach can take String, Symbol and Array too. Therefore, this adds them to the type definition.

refs:

Note:

In https://github.com/ruby/rbs/pull/1738/files#r1468802569, @m11o was aware of the lackness of the types, but they determined to support only "true" value at first.

The headers keyword option of `CSV.foreach` can take String, Symbol and
Array too.  Therefore, this adds them to the type definition.

refs:
* https://docs.ruby-lang.org/en/3.3/CSV.html#method-c-foreach
* https://docs.ruby-lang.org/en/3.3/CSV.html#class-CSV-label-Options+for+Parsing

Note:

In https://github.com/ruby/rbs/pull/1738/files#r1468802569, @m11o
was aware of the lackness of the types, but they determined to support
only "true" value at first.
@soutaro soutaro added this pull request to the merge queue Sep 13, 2024
@soutaro soutaro added this to the RBS 3.6 milestone Sep 13, 2024
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.

👍

@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Sep 13, 2024
github-merge-queue bot pushed a commit that referenced this pull request Sep 13, 2024
stdlib: the headers keyword for CSV.foreach can take String
@soutaro soutaro added this pull request to the merge queue Sep 13, 2024
Merged via the queue into ruby:master with commit 956d9a0 Sep 13, 2024
19 checks passed
@tk0miya tk0miya deleted the csv branch September 13, 2024 13:44
@soutaro soutaro added the Released PRs already included in the released version label Sep 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Released PRs already included in the released version
Development

Successfully merging this pull request may close these issues.

2 participants