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

Use a released version of cborg #1711

Closed
wants to merge 3 commits into from
Closed

Conversation

mrBliss
Copy link
Contributor

@mrBliss mrBliss commented Aug 17, 2020

The dependency on cborg was pinned to an unreleased revision to bring in
well-typed/cborg#223. That PR has been included in
cborg-0.2.3.0, so we can remove the dependency pin in favour of bumping the
lower version bound on the dependency.

Instead of using 0.2.3 as the lower version bound, bump it to >= 0.2.4, as this
version is compatible with the last version of the primitive package, which
will soon be needed by cardano-ledger-specs, see
IntersectMBO/cardano-ledger#1785.

Another advantage of using a released version is that the package will now be
stored in the global cabal store and shared between projects (although that will
also be the case for source dependencies in Cabal 3.4.0.0).

The dependency on cborg was pinned to an unreleased revision to bring in
<well-typed/cborg#223>. That PR has been included in
`cborg-0.2.3.0`, so we can remove the dependency pin in favour of bumping the
lower version bound on the dependency.

Instead of using 0.2.3 as the lower version bound, bump it to >= 0.2.4, as this
version is compatible with the last version of the `primitive` package, which
will soon be needed by `cardano-ledger-specs`, see
<IntersectMBO/cardano-ledger#1785>.

Another advantage of using a released version is that the package will now be
stored in the global cabal store and shared between projects (although that will
also be the case for source dependencies in Cabal 3.4.0.0).
@mrBliss
Copy link
Contributor Author

mrBliss commented Aug 17, 2020

The commits from this PR are also included in #1711, as they're needed to fix a dependency issue (primitive >= 0.7.1.0). So if #1711 gets merged first, this PR can be closed.

@nc6
Copy link
Contributor

nc6 commented Aug 25, 2020

No longer needed, since #1696 was merged

@nc6 nc6 closed this Aug 25, 2020
@nc6 nc6 deleted the mrBliss/bump-cborg-dependency branch August 25, 2020 11:20
@mrBliss
Copy link
Contributor Author

mrBliss commented Aug 25, 2020

Ughh, I mentioned the wrong PR in my last comment 🤦. Thanks for cleaning this up.

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.

2 participants