[m-dev.] for discussion: Proposed change to label handling

[Fergus Henderson]

On 15-Dec-1997, Tyson Dowd <trd at cs.mu.oz.au> wrote:
> 
> I'm considering making some changes to the default compilation model.
> 
> At the moment, internal labels only have local scope, and so are not
> accessible for stack traces, tracing, accurate gc, etc. So if you want
> to use any one of those features, you need to have a different grade.
> And to keep code duplication and complexity down, you'll need a shared
> grade that does things like make labels available, as well as an
> individual grade for each feature. This makes for a complex design when
> handling options and defining grades.
> 
> Rather than have the default grade be the "odd one out", it would be
> much easier to develop and support these features if they were only a
> slight variation on the standard compilation model.  So I did some
> measurements to see how feasible this would be.

I'd like to see measurement of the sizes for libmercury.so
and of the execution time for "hello world" using shared libraries.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.