I update the MR Descriptionhttps://gitlab.haskell.org/ghc/ghc/merge_requests/1659 to make the link more discoverable.
S
From: ghc-devs On Behalf Of Alejandro Serrano Mena
Sent: 05 September 2019 09:30
To: GHC developers
Subject: Re: New implementation for `ImpredicativeTypes`
To follow up on this, the current spec. is available in the following PDF: https://www.dropbox.com/s/hxjp28ym3lptmxw/quick-look-steps.pdf?dl=0https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.dropbox.com%2Fs%2Fhxjp28ym3lptmxw%2Fquick-look-steps.pdf%3Fdl%3D0&data=02%7C01%7Csimonpj%40microsoft.com%7Cb531ccc74392466a22a108d731db542e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7C637032690392226873&sdata=b%2FE4R3wka1%2FEgBqcg3MhJe8LZq7tP3UTs%2FHVqMVHKKw%3D&reserved=0
El mié., 4 sept. 2019 a las 17:13, Alejandro Serrano Mena (mailto:trupill@gmail.com>) escribió:
Hi all,
As I mentioned some time ago, we have been busy working on a new implementation of `ImpredicativeTypes` for GHC. I am very thankful to everybody who back then sent us examples of impredicativity which would be nice to support, as far as we know this branch supports all of them! :)
If you want to try it, at https://gitlab.haskell.org/trupill/ghc/commit/a3f95a0fe0f647702fd7225fa719a8...https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.haskell.org%2Ftrupill%2Fghc%2Fcommit%2Fa3f95a0fe0f647702fd7225fa719a8062a4cc0a5%2Fpipelines%3Fref%3Dquick-look-build&data=02%7C01%7Csimonpj%40microsoft.com%7Cb531ccc74392466a22a108d731db542e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7C637032690392226873&sdata=8QvcS%2FszcjdYrGxDPFrfWbj3g2p1lsYf9TDCfekFPFA%3D&reserved=0 you can find the result of the pipeline, which includes builds for several platforms (click on the "Artifacts" button, the one which looks like a cloud, to get them). The code is being developed at https://gitlab.haskell.org/trupill/ghchttps://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.haskell.org%2Ftrupill%2Fghc&data=02%7C01%7Csimonpj%40microsoft.com%7Cb531ccc74392466a22a108d731db542e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7C637032690392236867&sdata=z05Ryg2y9fWVLixdQ63I%2F%2Fqzo05xS93LICRdq3HDETc%3D&reserved=0.
Any code should run *unchanged* except for some eta-expansion required for some specific usage patterns of higher-rank types. Please don't hesitate to ask any questions or clarifications about it. A merge request for tracking this can be found at https://gitlab.haskell.org/ghc/ghc/merge_requests/1659https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.haskell.org%2Fghc%2Fghc%2Fmerge_requests%2F1659&data=02%7C01%7Csimonpj%40microsoft.com%7Cb531ccc74392466a22a108d731db542e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7C637032690392236867&sdata=q4zboFik4oGZaFZ4pk8c%2Be%2FleNQNIHsdtuf4grepj2k%3D&reserved=0
Kind regards,
Alejandro
