Vitor Santos Costa wrote:
I changed the Yap GMP allocation routines to fall back to malloc/realloc/free if outside context. I think that is the best solution for two reasons:
- It is the most general: external processes might not want their objects to disappear during backtracking. - It avoids nasty interactions with the garbage collector: even I disallow gc of these objects, is application is not prepared for the gc barging in and shifting objects around?
I haven't actually tested it outside Yap, do you mind trying it and telling me it works?
Hi Vitor, I can confirm I am no longer observing the problem we had with GLP. (I am observing other problems, but more debugging work is needed to properly identify them.) Thanks a lot Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it