Re: Moving head.hackage upstream

2019-07-15 Thread Ben Gamari
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

Guarded Impredicativity

2019-07-15 Thread Oliver Charles
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

Re: lint-submods-marge consistently failing when attempting to update Haddock

2019-07-15 Thread Ben Gamari
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

Re: Moving head.hackage upstream

2019-07-15 Thread Ryan Scott
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

Re: lint-submods-marge consistently failing when attempting to update Haddock

2019-07-15 Thread Ryan Scott
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]