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

[WIP] Deleting mpsGeneric #1348

Draft

parsonsmatt wants to merge 1 commit into master from matt/delete-mpsgeneric

Collaborator

parsonsmatt commented Jan 6, 2022

Fixes #1204

As expected, deleting from the library is a big simplification, but it is going to cause some issues with the test suites.

Before submitting your PR, check that you've:

Documented new APIs with Haddock markup
Added @since declarations to the Haddock
Ran stylish-haskell on any changed files.
Adhered to the code style (see the .editorconfig file for details)

After submitting your PR:

Update the Changelog.md file with a link to your PR
Bumped the version number if there isn't an (unreleased) on the Changelog
Check that CI passes (or if it fails, for reasons unrelated to your change, like CI timeouts)


          Deleting mpsGeneric

974a59d

parsonsmatt added this to the 2.14 milestone

parsonsmatt modified the milestones: 2.14, 2.15

parsonsmatt marked this pull request as draft

April 12, 2022 03:41

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet