David,
I’m unclear what you are trying to achieve with #9701. I urge you to write a
clear specification that we all agree about before burning cycles hacking code.
There are a lot of comments at the top of Specialise.lhs. But it is, I’m
afraid, a tricky pass. I could skype.
Simon
From:
On Oct 20, 2014 5:05 AM, Simon Peyton Jones simo...@microsoft.com wrote:
I’m unclear what you are trying to achieve with #9701. I urge you to
write a clear specification that we all agree about before burning cycles
hacking code.
What I'm trying to achieve is to make specialization work in a
To be super-clear about at least one aspect: I don't want Tidy Core to ever
contain something that looks like this:
GADTTest.potato
:: GHC.Types.Int - GADTTest.Silly GHC.Types.Int - GHC.Types.Int
GADTTest.potato =
\ (x_asZ :: GHC.Types.Int)
(ds_dPR :: GADTTest.Silly GHC.Types.Int) -