[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