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.

Sign up for GitHub

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

Jump to bottom

Remove (++~) and (++=) as (++) is removed from prelude #58

Merged
merged 2 commits into from
Dec 17, 2020
Merged

Remove (++~) and (++=) as (++) is removed from prelude #58

merged 2 commits into from
Dec 17, 2020

Conversation

simonyangme
Copy link
Contributor

See #44

@paf31
Copy link
Contributor

paf31 commented Apr 4, 2017

Looks good, thanks, but let's wait until the next major release since this is a breaking change.

@joneshf
Copy link
Member

joneshf commented Aug 13, 2017

Does this need anything else or should we merge it?

@paf31
Copy link
Contributor

paf31 commented Aug 13, 2017

I'll merge it before the next major release.

@thomashoneyman thomashoneyman changed the base branch from master to main October 9, 2020 23:08
@thomashoneyman thomashoneyman added the purs-0.14 A reminder to address this issue or merge this PR before we release PureScript v0.14.0 label Dec 10, 2020
@thomashoneyman thomashoneyman merged commit 456cb1f into purescript-contrib:main Dec 17, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
purs-0.14 A reminder to address this issue or merge this PR before we release PureScript v0.14.0
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@simonyangme @paf31 @joneshf @thomashoneyman