5 Feb
2014
5 Feb
'14
11:02 a.m.
On 30/01/14 11:03, David Matthews wrote: ...
The only safe way to maintain identity of cells is to use a counter or a ref. An alternative to a ref is to use a locally generated exception and this may be more efficient than a ref. As a work-around to avoid the problem with duplication in the multi-threaded collector you could force it to be single-threaded with --gcthreads=1.
Thanks, that makes things very clear. I've been using the workaround successfully for several days now and I'll report the problem to the HOL bug tracker to allow something more permanent to be sorted out.
Brian