A whole bunch of Edward's packages :)

[snoyberg]

I'm sure you're aware of these @ekmett, but I'll put them in an issue just for documentation purposes.

---

active-0.1.0.7 (Brent Yorgey byorgey@gmail.com @byorgey) cannot use:

• semigroupoids-4.0 -- >=1.2 && <3.2

adjunctions-3.2.1.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• free-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

comonad-extras-3.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

data-lens-2.10.3 (Adam Bergmark adam@edea.se @roconnor) cannot use:

• comonad-4.0 -- >=1.1.1.3 && <3.2
• comonad-transformers-4.0 -- >=2.0 && <3.2
• semigroupoids-4.0 -- >=1.2.4 && <3.2

either-3.4.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• semigroupoids-4.0 -- ==3.*

free-4.0 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• bifunctors-4.1.0.1 -- ==3.*

hashable-extras-0.1.3 (Edward Kmett ekmett@gmail.com @analytics) cannot use:

• bifunctors-4.1.0.1 -- >=3.2 && <4

kan-extensions-3.7 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.0 -- ==3.*
• pointed-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

keys-3.0.4 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

lens-3.9.2 (Brent Yorgey byorgey@gmail.com @ekmett) cannot use:

• bifunctors-4.1.0.1 -- ==3.*
• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• profunctor-extras-4.0 -- >=3.3 && <4
• profunctors-4.0.1 -- >=3.2 && <4
• semigroupoids-4.0 -- >=3.0.2 && <4

linear-1.3 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• semigroupoids-4.0 -- ==3.*

monad-products-3.0.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• semigroupoids-4.0 -- >=3.0 && <4

monoid-extras-0.3.2.2 (Brent Yorgey byorgey@gmail.com @diagrams) cannot use:

• groupoids-4.0 -- <4
• semigroupoids-4.0 -- <4

recursion-schemes-3.0.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• free-4.0 -- >=3.2 && <4

reducers-3.0.2.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• pointed-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

representable-functors-3.2.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

snap-0.13.0.3 (FP Complete michael@fpcomplete.com @mightybyte) cannot use:

• comonad-4.0 -- >=1.1 && <3.2

syb-extras-0.2.4.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• eq-4.0 -- ==3.*

[ekmett]

I blame you and @gregwebs for encouraging me to merge stuff. ;)

Actually its going pretty well, but it is a very big changeover.

I probably have quite a few hours worth of work ahead, so if folks are trying to switch over and find that I haven't switched over one of the packages they need, then shout at me and I can shuffle my work queue to put the more important stuff first.

[snoyberg]

:) Don't take any pressure from me on this, I can just keep putting in upper bounds for the moment.

[byorgey]

@ekmett, can you add something about 4.0 to the semigroupoids CHANGELOG? Or maybe just a quick explanation here of what has changed and how it affects downstream packages?

[ekmett]

I merged semigroupoid-extras and groupoids into semigroupoids.

I similarly went and merged comonad-transformers and comonads-fd into comonad

There was some instance shuffling caused by this change as previously we'd had

comonad semigroupoid

and then comonad-transformers depended on semigroupoid and comonad, but then semigroupoid-extras depended on comonad and comonad-transformers.

Now all the Semigroupoid noise is in semigroupoids.

I also went and merged profunctors and profunctor-extras.

This rather dramatically cut down the number of dependencies for my packages, but it also made it much easier to iterate on the design for these things.

[mightybyte]

Fixed with snap-0.13.0.4

[snoyberg]

Just an update on this one. Upper bounds are still in place, so no rush on resolution.

---

BlogLiterately-0.6.3.1 (Brent Yorgey byorgey@gmail.com) cannot use:

• lens-3.10 -- >=3.8 && <3.10

adjunctions-3.2.1.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• free-4.1 -- ==3.*
• semigroupoids-4.0 -- ==3.*

comonad-extras-3.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

data-lens-2.10.3 (Adam Bergmark adam@edea.se @roconnor) cannot use:

• comonad-4.0 -- >=1.1.1.3 && <3.2
• comonad-transformers-4.0 -- >=2.0 && <3.2
• semigroupoids-4.0 -- >=1.2.4 && <3.2

diagrams-haddock-0.2.1.1 (Brent Yorgey byorgey@gmail.com) cannot use:

• lens-3.10 -- >=3.8 && <3.10

kan-extensions-3.7 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.1 -- ==3.*
• pointed-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

linear-1.3 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• semigroupoids-4.0 -- ==3.*

monad-products-3.0.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• semigroupoids-4.0 -- >=3.0 && <4

recursion-schemes-3.0.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• free-4.1 -- >=3.2 && <4

representable-functors-3.2.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.1 -- ==3.*
• semigroupoids-4.0 -- ==3.*

syb-extras-0.2.4.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• eq-4.0 -- ==3.*

[ekmett]

I should be able to finish these out shortly after I get back from California.

[ekmett]

Updated monad-products and recursion-schemes

[roconnor]

data-lens is now updated.

On Sun, 13 Oct 2013, Michael Snoyman wrote:

I'm sure you're aware of these @ekmett, but I'll put them in an issue just for documentation purposes.

---

active-0.1.0.7 (Brent Yorgey byorgey@gmail.com @byorgey) cannot use:

• semigroupoids-4.0 -- >=1.2 && <3.2

adjunctions-3.2.1.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• free-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

comonad-extras-3.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

data-lens-2.10.3 (Adam Bergmark adam@edea.se @roconnor) cannot use:

• comonad-4.0 -- >=1.1.1.3 && <3.2
• comonad-transformers-4.0 -- >=2.0 && <3.2
• semigroupoids-4.0 -- >=1.2.4 && <3.2

either-3.4.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• semigroupoids-4.0 -- ==3.*

free-4.0 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• bifunctors-4.1.0.1 -- ==3.*

hashable-extras-0.1.3 (Edward Kmett ekmett@gmail.com @analytics) cannot use:

• bifunctors-4.1.0.1 -- >=3.2 && <4

kan-extensions-3.7 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.0 -- ==3.*
• pointed-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

keys-3.0.4 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

lens-3.9.2 (Brent Yorgey byorgey@gmail.com @ekmett) cannot use:

• bifunctors-4.1.0.1 -- ==3.*
• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• profunctor-extras-4.0 -- >=3.3 && <4
• profunctors-4.0.1 -- >=3.2 && <4
• semigroupoids-4.0 -- >=3.0.2 && <4

linear-1.3 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• semigroupoids-4.0 -- ==3.*

monad-products-3.0.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• semigroupoids-4.0 -- >=3.0 && <4

monoid-extras-0.3.2.2 (Brent Yorgey byorgey@gmail.com @diagrams) cannot use:

• groupoids-4.0 -- <4
• semigroupoids-4.0 -- <4

recursion-schemes-3.0.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• free-4.0 -- >=3.2 && <4

reducers-3.0.2.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• pointed-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

representable-functors-3.2.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

snap-0.13.0.3 (FP Complete michael@fpcomplete.com @mightybyte) cannot use:

• comonad-4.0 -- >=1.1 && <3.2

syb-extras-0.2.4.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• eq-4.0 -- ==3.*

— Reply to this email directly or view it on GitHub.[I8CQ1exbnz0r_0EbG6iugCkJzcKZlruUiHZWKqpQQ1YGHUNmZL9Ax8NzRtauNiIz.gif]

Russell O'Connor http://r6.ca/ All talk abouttheft,''' the general counsel of the American Graphophone Company wrote,`is the merest claptrap, for there exists no property in ideas musical, literary or artistic, except as defined by statute.''

[nurpax]

When I tried to build Stackage from scratch using the latest released Haskell Platform 2013.2.0.0, I get this:

janne@nurpax:~/dev/stackage$ ./dist/build/stackage/stackage select
Loading Haskell Platform
Loading package database
Narrowing package database
Printing build plan to build-plan.log
Checking for bad versions
data-lens-2.10.4 (Adam Bergmark <adam@edea.se> @roconnor) cannot use: 
- comonad-3.1 -- ==4.0.*
- semigroupoids-3.1 -- ==4.0.*

stackage: Conflicting build plan, exiting

This is with GHC 7.6.3. Both the Haskell Platform and GHC were just installed from scratch, and the only other package I've installed apart from HP was cabal-install 1.18.1.1.

The build-plan.log file is attached here: http://lpaste.net/94816

Perhaps the main Stackage github README.md could have some instructions on what to try when hitting this?

[snoyberg]

@nurpax It's just normal churn. When there's a major set of updates, and then some maintainers release backwards-incompatible packages on top of that, these kinds of situations happen regularly. Hopefully we'll return to some normalcy once all packages are updated to the newest versions of dependencies.

[snoyberg]

Newest status on this issue:

adjunctions-3.2.1.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• free-4.2 -- ==3.*
• semigroupoids-4.0 -- ==3.*

comonad-extras-3.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

kan-extensions-3.7 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.2 -- ==3.*
• pointed-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

representable-functors-3.2.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.2 -- ==3.*
• semigroupoids-4.0 -- ==3.*

syb-extras-0.2.4.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• eq-4.0 -- ==3.*

[ekmett]

I've been meaning to merge many of these outstanding packages together (representable-functors, adjunctions, representable-tries), but haven't been able to make a coherent plan for it.

I'll finish these up. Even it its just pushing out interim releases.

[ekmett]

comonad-extras is fixed.

[ekmett]

syb-extras is fixed.

[snoyberg]

Just a heads-up on where we're at on this issue:

adjunctions-3.2.1.1 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• free-4.2 -- ==3.*
• semigroupoids-4.0 -- ==3.*

diagrams-postscript-1.0.0.1 (Brent Yorgey byorgey@gmail.com @byorgey) cannot use:

• semigroups-0.12.1 -- >=0.3.4 && <0.12

errors-1.4.4 (Adam Bergmark adam@bergmark.nl @Gabriel439) cannot use:

• either-4.1 -- >=3.1 && <4.1

kan-extensions-3.7 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.2 -- ==3.*
• pointed-4.0 -- ==3.*
• semigroupoids-4.0 -- ==3.*

representable-functors-3.2.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.2 -- ==3.*
• semigroupoids-4.0 -- ==3.*

[Gabriella439]

errors-1.4.5 loosens the either upper bound to < 5

[byorgey]

Uploaded diagrams-postscript-1.0.0.2.

[snoyberg]

This appears to be down to just the following two issues now:

adjunctions-4.0 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• distributive-0.3.2 -- >=0.4 && <1

representable-functors-3.2.0.2 (Edward Kmett ekmett@gmail.com @ekmett) cannot use:

• comonad-4.0 -- ==3.*
• comonad-transformers-4.0 -- ==3.*
• comonads-fd-4.0 -- ==3.*
• free-4.2 -- ==3.*
• semigroupoids-4.0 -- ==3.*

[ekmett]

I've pushed distributive 0.4.

representable-functors is now absorbed into adjunctions 4 and has been deprecated.

[ekmett]

I'm also building a new package to replace representable-tries in case that is in stackage as well.

[ekmett]

Sorry about the exceptionally long turn around time on these!

[snoyberg]

No problem, with these changes I was able to remove the upper bounds. Thanks!