2008-10-11 Hackage status with GHC 6.10
Don Stewart
dons at galois.com
Thu Oct 16 14:40:13 EDT 2008
simonpj:
> | RULES are always parsed (no flags or language extensions needed). They
> | also go into the .hi files (unless you use the obscure option to change
> | that), so they are exported for all client modules.
>
> The latter isn't true, and I think that's what Henning is objecting to.
>
> Currently, without -O GHC puts the absolute minimum in interface files
> to get the clients to compile: just the exports and their types. For
> example, if you have
> f x = x
> GHC will not put that unfolding in the interface file, tiny though it
> is.
>
> Currently without -O GHC therefore does *not* put RULES in the
> interface file. I thought that was consistent, since they are to do
> with optimisation.
>
> If, however, there's a consensus that RULES should be persisted even
> without -O, that'd be easy to arrange. For example, I think that
> deprecations are persisted unconditionally.
So the next build with GHC 6.10 branch we should no longer see
'forall' parse failures from hackage libraries that use RULES?
-- Don
More information about the Libraries
mailing list