Re: [Bordeaux-threads-devel] darcs problem...