Ryan Scott writes:
> Count me among the people who are eagerly awaiting this move. If I
> understood Ben correctly when discussing this idea with him on #ghc, then
> one of the benefits of having head.hackage on GitLab would be that the
> head.hackage index would automatically regenerate any
Hi Alejandro and other GHC devs,
I've just been pointed to this mailing list, and in particular the
discussion on guarded impredicativity from the Haskell IRC channel. I
wasn't following the list before, so sorry if this post comes out of
threads!
I have a use case for impredicative polymorphism
Ryan Scott writes:
> The submodule linter appears to have been disabled in [1]. As Matthew notes
> in [2], perhaps we should probably open a ticket to track how to restore it.
>
I opened a ticket [1] in my gitlab-migration project where I track this sort
of administrative task.
Cheers,
- Ben
Count me among the people who are eagerly awaiting this move. If I
understood Ben correctly when discussing this idea with him on #ghc, then
one of the benefits of having head.hackage on GitLab would be that the
head.hackage index would automatically regenerate any time a commit lands.
This would
The submodule linter appears to have been disabled in [1]. As Matthew notes
in [2], perhaps we should probably open a ticket to track how to restore it.
Ryan S.
-
[1]
https://gitlab.haskell.org/ghc/ghc/commit/a39a3cd663273c46cf4e346ddf3bf9fb39195c9d
[2]