New implementation for `ImpredicativeTypes`

Alejandro Serrano Mena trupill at gmail.com
Thu Sep 5 08:30:09 UTC 2019


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=0

El mié., 4 sept. 2019 a las 17:13, Alejandro Serrano Mena (<
trupill at 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/a3f95a0fe0f647702fd7225fa719a8062a4cc0a5/pipelines?ref=quick-look-build
> 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/ghc.
>
> 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/1659
>
> Kind regards,
> Alejandro
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190905/9dacbe03/attachment.html>


More information about the ghc-devs mailing list