---------- 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.