Upload new-type level to hackagedb

Question

Upload new-type level to hackagedb

Closed this issue 8 years ago · 6 comments

Should we upload the new type-level to hackagedb? Is it stable?

Answer 1 · 2016-06-15T08:54:12.000Z

We could trust Travis to test whether it is stable. Up till now it seems to be stable with ghc-7.10.1, but not 8.0.1. I would increase the priority for this issue since uploading it to hakagedb would greatly ease integration with other libraries.

Answer 2 · 2016-06-15T09:32:09.000Z

@HWoidt : Check the build status for my fork:

Could you take care of this, or should I also look into it?

Answer 3 · 2016-06-23T10:53:30.000Z

The library is good to go, but I fear that in order to do a proper job a few things need to be attended:

@ingo-sander: we need to publish the FSVec tutorial page mentioned in the README, which is not available any more. For now the link to a wiki is enough, and once we have a web site structure it might have its own page. Were can I find the old tutorial?
the README and .cabal files need to be properly updated. I suggest pointing to this repository at the moment, while README could point to the wiki.

Answer 4 · 2016-07-05T23:36:13.000Z

@2opremio @shaniaki could you please add me to the maintainers group on Hackagedb or update the type-level package?

The latest commit to master is sane: .

Answer 5 · 2016-07-08T10:48:38.000Z

It is done, and can be found here. Thanks @shaniaki for adding me to the maintainer list.

I am reading in blogs that there might be some problems with HakagDB's haddock generators. Before closing this issue I shall wait until tomorrow to see if the documentation is there. Otherwise I will upload it manually.

Answer 6 · 2016-07-08T19:01:10.000Z

Docs uploaded manually. Closing issue.