[commit: base] master: Make 'forever' inlinable (fixes Trac #5205) (ae10342)

[Ian Lynagh]

On Fri, Jun 10, 2011 at 02:37:56PM -0400, Edward Z. Yang wrote:
> > 
> > | Simon,
> > | 
> > | Did you validate this?  I get
> > | 
> > | > libraries/base/GHC/ST.lhs:78:1:
> > | >     You cannot SPECIALISE `forever'
> > | >       because its definition has no INLINE/INLINABLE pragma
> > | >       (or you compiled its defining module without -O)
> > | > make[1]: *** [libraries/base/dist-install/doc/html/base/base.haddock] Error 1
> >
> > I did, yes. Works ok for me.  'forever' does has an INLINABLE pragma..
> > so I'm confused
>
> I get Manuel's error as well.

Me too. Note that it's coming from haddock, not when compiling GHC.ST.
The interface file looks OK:

  forever :: forall (m::* -> *) a b. GHC.Base.Monad m => m a -> m b
    {- Arity: 2, HasNoCafRefs, Strictness: U(ASAA)L,
       Inline: INLINABLE[ALWAYS],
       Unfolding(loop-breaker): <stable> (\ @ (m::* -> *)

Anyone got any idea what's going on? Could haddock be not loading the
interface file, loading it incorrectly, or throwing info away after
loading it?


Thanks
Ian