Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Fix foldLeft nomenclature signature #4648

Merged
merged 1 commit into from
Sep 1, 2024
Merged

Fix foldLeft nomenclature signature #4648

merged 1 commit into from
Sep 1, 2024

Conversation

Masynchin
Copy link
Contributor

It's been here for at least 6 years 😱

@Masynchin
Copy link
Contributor Author

Fails because of CI failure on main, which I forked from

satorg
satorg approved these changes Sep 1, 2024
View reviewed changes
Copy link
Contributor

@satorg satorg left a comment

Choose a reason for hiding this comment

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

Yes, "fold*" definitely cannot end up with F[B].
Good catch, thanks!

@satorg
Copy link
Contributor

satorg commented Sep 1, 2024

Most likely it is failing because of #4647.

@danicheg danicheg merged commit 93b0148 into typelevel:main Sep 1, 2024
16 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@satorg satorg satorg approved these changes

Assignees
No one assigned
Labels
documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Masynchin @satorg @danicheg