[m-rev.] for review: improve debugging support for il grade.

Peter Ross pro at missioncriticalit.com
Wed Nov 5 20:18:51 AEDT 2003

On Tue, Nov 04, 2003 at 05:40:07AM +1100, Fergus Henderson wrote:
> On 03-Nov-2003, Peter Ross <pro at missioncriticalit.com> wrote:
> > 
> > Improve the support for debugging in the il grade, by not optimizing
> > the generated il code, unless needed for verifiability.
> > 
> > Using
> > 	mmc --make --grade il --debug diff
> > now generates code which is relatively easier to debug in an IL
> > debugger.
> That looks pretty good.  However, there's still one thing that worries me.
> If you use `--debug', then won't it think that the grade is `il.tr.debug'?
> Isn't that going to cause problems somewhere, e.g. linking files in
> the wrong directory?
> 	$ ./canonical_grade --grade il --debug
> 	il.tr.debug
I will look into this.

One of the issues at the moment is that one can only enable debugging
easily using "mmc --make" at the moment, because the debugging
information is inserted into the assembly at il compile time.
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

More information about the reviews mailing list