Re: New implementation for `ImpredicativeTypes`

2019-09-05 Thread Alex Rozenshteyn
I didn't say anything when you were requesting use cases, so I have no right to complain, but I'm still a little disappointed that this doesn't fix my (admittedly very minor) issue: https://www.reddit.com/r/haskell/comments/3am0qa/existentials_and_the_heterogenous_list_fallacy/csdwlp2/?context=8&de

RE: New implementation for `ImpredicativeTypes`

2019-09-05 Thread Simon Peyton Jones via ghc-devs
I update the MR Description 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

Re: New implementation for `ImpredicativeTypes`

2019-09-05 Thread Alejandro Serrano Mena
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 (< trup...@gmail.com>) escribió: > Hi all, > As I mentioned some time ago, we have been busy wor