[m-dev.] for review: no label names in the label table

[Zoltan Somogyi]

> I'm pretty sure that profiling does not need the names of internal labels.
> So it might be better to have two different configuration macros, one
> for procedure entry labels and one for internal labels.

OK, I did that. However, until I can talk to Pete, PROFILE_CALL will
enable both.

> >  	while (MR_DETISM_DET_STACK(entry_layout->MR_sle_detism)) {
> > +		if (label->i_name != NULL) {
> >  		fprintf(stderr, "    label: %s\n", label->i_name);
> > +		} else {
> > +			fprintf(stderr, "    label: unknown\n");
> > +		}
> 
> The first call to printf() should be intended another tab.

Actually, all the indentation problems you identified, except the #define
indent, seem to have been artifacts of diff -b; the source did not have
them (I checked with :l in vi).

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------