[mercury-users] deep profiler in rotd-2006-04-28?

[Julien Fischer]

On Sat, 6 May 2006, Michael Day wrote:

>
> Hi Julien,
>
> > There were few bugs in the deep profiling grades in that rotd.  Zoltan
> > posted a fix for them today but it hasn't been committed yet, so you'll
> > need to wait a couple of days - if the problem persists after that, then
> > we would be *very* interested in knowing about it.
>
> I tried with rotd-2006-05-04, but I'm still getting a segfault.
>
> Has Zoltan's fix been committed yet?
>

Yes, it was committed on May 3.

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