I have another interesting application of guarded impredicativity that
I want to bring up. Currently, GHC #16140 [1] makes it rather
inconvenient to use quantified constraints in type synonyms. For
instance, GHC rejects the following example by default:
type F f = (Functor f, forall a. Eq (f a
Hello Ryan,
Your example seems to work out of the box with the GI branch.
With the oneliner Matthew posted before:
nix run -f
https://github.com/mpickering/ghc-artefact-nix/archive//master.tar.gz \
ghc-head-from -c ghc-head-from \
https://gitlab.haskell.org/mpickering/ghc/-/jobs/114593/artifacts/
Good to know. Thanks for checking!
Ryan S.
On Fri, Jul 19, 2019 at 11:22 AM Artem Pelenitsyn
wrote:
>
> Hello Ryan,
>
> Your example seems to work out of the box with the GI branch.
>
> With the oneliner Matthew posted before:
> nix run -f
> https://github.com/mpickering/ghc-artefact-nix/archiv
Ben Gamari writes:
> Hi Herbert,
>
> Last week I did some work to clean up and document GHC's head.hackage
> infrastructure. At this point we have a full CI pipeline, including
> automatic deployment of a Hackage repository.
>
> I asked on #ghc and there was quite some appetite to use
> gitlab.ha