[m-rev.] for review: --dump-hlds-pred-id and --debug-opt-pred-id

[Zoltan Somogyi]

On 10-May-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Actually, now that I think about it... users don't know what pred ids are,
> do they?  So perhaps this should be left as a developer-only option,
> with the documentation commented out?

The options that generate HLDS dumps are documented, and the HLDS dumps
themselves contain pred ids. Either all options concerned with HLDS dumps
should be developer-only, or none of them should be. And some error messages
refer to variables introduced by the compiler, so I think these options should
be visible.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------