Skip to content

Update to PureScript v0.15.0 #156

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

Merged
merged 13 commits into from
Mar 23, 2022
Merged

Update to PureScript v0.15.0 #156

merged 13 commits into from
Mar 23, 2022

Conversation

JordanMartinez
Copy link
Contributor

Description of the change

Backlinking to purescript/purescript#4244

Updates project to compile on v0.15.0 PureScript.


Checklist:

  • Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")
  • Linked any existing issues or proposals that this pull request should close
  • Updated or added relevant documentation
  • Added a test for the contribution (if applicable)

@JordanMartinez JordanMartinez added type: breaking change A change that requires a major version bump. purs-0.15 A reminder to address this issue or merge this PR before we release PureScript v0.15.0 labels Mar 23, 2022

-----------------------------------------------------------------

-- Provide similar API to purescript-spec to reduce code changes
Copy link
Contributor

Choose a reason for hiding this comment

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

For those who aren't aware, this is done so that we don't depend on spec (a testing library external to the organization).

@thomashoneyman
Copy link
Contributor

I'd like to ensure that the CI builds before merging, so we may have to wait a bit and then kick it to get it going.

@JordanMartinez
Copy link
Contributor Author

🏓 @thomashoneyman CI builds. Can I get an approval?

@thomashoneyman thomashoneyman merged commit 692e550 into purescript-contrib:main Mar 23, 2022
@JordanMartinez JordanMartinez deleted the update-to-0.15 branch March 23, 2022 19:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
purs-0.15 A reminder to address this issue or merge this PR before we release PureScript v0.15.0 type: breaking change A change that requires a major version bump.
Development

Successfully merging this pull request may close these issues.

2 participants