[m-rev.] Add a listing facility to mdb

Ian MacLarty maclarty at cs.mu.OZ.AU
Tue Oct 25 14:30:25 AEST 2005

On Sun, 23 Oct 2005, Ralph Becket wrote:

> Ian MacLarty, Saturday, 22 October 2005:
> > All the code in the browser directory is not traced, even in debug grades,
> > so that shouldn't be a problem.
> Hmm, that's odd.  I don't understand why I saw this problem then.

Were you calling a library predicate like foldl?  The library doesn't have
tail recursion optimization in the debug grades, just the browser directory.

> > > +:- pragma foreign_type("C", c_file_ptr, "FILE *", [can_pass_as_mercury_type]).
> >
> > There's no need to define a new type, you can use io.output_stream.
> There is: a Mercury IO stream is not the same as a FILE *, which is what
> MR_mdb_{out,err} are.

Yes I see what you mean.  The other debugger code, however, does just use
io.output_stream and works fine.  Not sure why yet -- I'll have to
investigate further.


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