ExplicitForAll complete

[Ian Lynagh]

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