---------- Forwarded message ---------- From: Milan Mimica milan.mimica@gmail.com Date: 13 December 2011 19:44 Subject: Re: two, hopefully, small issues To: Chris Muller ma.chris.m@gmail.com
On 12 December 2011 21:37, Chris Muller ma.chris.m@gmail.com wrote:
You would just not use WriteBarrier in development if the problem affects you..
Running one setup in development and another in production is not an option. I am not going to do that.
I dug up my old correspondence with Avi and forwarded it to this list. Please have a look and if it is no longer a problem or you have a solution, please post it to Magma Inbox and I'd be happy to integrate it.
I can't seem to reproduce the problem. There is a snipped you posted and you claim it raises a primitive failure, but it doesn't for me. That's good news. It doesn't surprise me though. The problem showed up more that 6 years ago, it was a different VM and everything. I am just going to use the WB feature and I'll let you know if something horrible happens.