v1.3 - Polysemy

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Love Waern (King of the Homeless)

#312 makes me think we should cut a release before v2.0 so resolvers can include polysemy together with first-class-families-0.7.0.0. It would include all changes up to #311, which I'll merge when I have time to write its tests. It would probably be the final release before v2.0.

polysemy has restrictive upper bounds on first-class-families (>=0.5.0.0 && < 0.7), which causes it to fail to build with first-class-families-0.7.0.0. I'm posting an issue here (...
Closes #310. How would you go about creating tests for this? Something like "take 100 . fst . run . runLazyOutputList $ forever (output ()) must terminate within 2 seconds?"
Love Waern (King of the Homeless)

Alternatively, is it possible to change the first-class-families dependency bounds of polysemy v1.2.3.0 on Hackage?

Sandy Maguire

Yeah, it is --- you can just do it in the maintenance panel without needing to reupload

TheMatten

Oops, sorry, wasn't here - is it already sorted out?

TheMatten

Nothing interesting happened in new version of fcf, right?

TheMatten

Okay, should be done

Love Waern (King of the Homeless)

Continuing this thread for the v1.3 release. Can someone remind me why we turned off loop-breaker? Has that problem been fixed by now? If so, we should reenable it.

Love Waern (King of the Homeless)

Also, @TheMatten can you add polysemy-1.3.0.0 as an upper bound for polysemy-zoo on versions 0.6.0.0 and 0.6.0.1 on Hackage? Otherwise the migration of Tagged will cause conflicts.

Love Waern (King of the Homeless)

Also, I think every version of polysemy-pluginbefore 0.2.5.0 also now needs polysemy-1.3.0.0 as an upper bound due to the change in internals with the membership proof rewrite.

Love Waern (King of the Homeless)

they need polysemy-1.3.0.0 as an upper bound, sorry, that was a egregiously bad omission

TheMatten

Haha, I don't have access to polysemy-zoo :big_smile:

TheMatten

@Sandy Maguire ? :slight_smile:

Love Waern (King of the Homeless)

Is it possible for multiple people to have access? If so, perhaps the entire team should be given it.

Love Waern (King of the Homeless)

I don't have any experience, but I'm sure I can figure it out.

TheMatten

It seems like I can add people to polysemy - do you have hackage account?

TheMatten

@Love Waern (King of the Homeless) Now you're officially maintainer of polysemy! :stuck_out_tongue_wink:

Love Waern (King of the Homeless)

Merged in #311 and the v1.3 pr. Once we can fix the bounds for the older versions of polysemy-zoo and polysemy-plugin, we'll cut new releases for all three.

Sandy Maguire

just made yall owners of the research org

Love Waern (King of the Homeless)

@Sandy Maguire We still aren't maintainers of polysemy-plugin or polysemy-zoo on Hackage, though, which is the issue.

TheMatten

@Sandy Maguire Thanks :slight_smile:

Love Waern (King of the Homeless)

I'm gonna start on updating the bounds on polysemy-zoo and polysemy-plugin.

Love Waern (King of the Homeless)

Done! All left now before cutting the releases is to merge #62 of polysemy-zoo, and before I do that I'm gonna check if there are any dependencies (other than hedis) that have been made redundant with the removal of Redis support in polysemy-zoo.

Love Waern (King of the Homeless)

zoo-#62 merged. We may now cut the releases.

Love Waern (King of the Homeless)

Oh right, I'm not part of the uploader group yet. I've sent away a mail to the hackage trustees, but I can't cut the releases myself just yet. If anyone else wants to do the work, feel free, otherwise I'll do it when I can.

Sandy Maguire

no? i made you a maintainer. that's not enough?

Love Waern (King of the Homeless)

Tried to upload a package candidate and got 403:d.

Love Waern (King of the Homeless)

Now part of the uploader list. Too tired to cut the releases now though, I'll do it tomorrow.

Love Waern (King of the Homeless)

All releases cut. Documentation for polysemy-zoo failed to build on Hackage, so we need to upload our own documentation for it, and I'm not sure how that system works.

TheMatten

Does it build locally just fine? Does Hackage show you some logs?

TheMatten

https://github.com/ekmett/lens/blob/master/scripts/hackage-docs.sh

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens - ekmett/lens
Love Waern (King of the Homeless)

Stack uses cabal, right? cabal's apparently not in my PATH.

Love Waern (King of the Homeless)

Whatever, I'll just install cabal-install.

TheMatten

It uses Cabal library, not cabal-install itself

Love Waern (King of the Homeless)

Documentation up for polysemy-zoo. That should be everything for this release.

TheMatten

Thanks! :slight_smile: