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

remove defaultTailRecM #67

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

remove defaultTailRecM #67

wants to merge 1 commit into from

Conversation

pnf
Copy link

@pnf pnf commented Aug 12, 2018

Per typelevel/cats/1444

Per typelevel/cats/1444
@FRosner
Copy link
Member

FRosner commented Aug 13, 2018

Thank you for the pull request. Can you please give a little more context on what this change is about?

@pnf
Copy link
Author

pnf commented Aug 13, 2018

See typelevel/cats#1444, which makes the exact same change in CATS documentation. defaultTailRecM was apparently removed some time ago.

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.

3 participants