Re: Dynamic loading progress

[Stefan Monnier]

> Do we even need this optimization in the modern world? Life would be
> simpler if we could just get rid of the lazy-loaded documentation string
> machinery.

I don't have an opinion on that.  Regardless of whether it's lazy-loaded
(from a DOC file or from a special section in the .so file or ...) or
not, we need to define specifically where the doc will be found.

Maybe if non-lazy-loading is used the doc can be provided in the source
code without any special processing.  That'd be nice.


        Stefan