22 Mar
2012
22 Mar
'12
7:23 p.m.
On Thu, Mar 22, 2012 at 3:52 PM, Jan-Willem Maessen
Wait, I thought this is essentially what constructor specialization does? I suppose we might then keep around the old body. Or will these behave differently in the presence of, say, different constant Int arguments?
We do want to keep around the old body (but constructor specialization already does that.) We also want to be able to specialize things like 5 :: Int, which I don't think constructor specialization handles. -- Johan