22 Nov
2010
22 Nov
'10
3:16 p.m.
On Mon, Nov 22, 2010 at 02:36:51PM -0500, Isaac Dupree wrote:
P.S. IMHO capitalization, ExplicitForAll vs ExplicitForall, let's stick to one. The extension is written ExplicitForall.
GHC only knows about ExplicitForAll. I think this was a mistake, but I don't think it's worth changing now (assuming the proposal is accepted), as shortly after it is part of H' it won't be necessary to refer to it by name in new code anyway. Thanks Ian