1 patch for repository http://darcs.net/screened:
patch 2bc54badcea883da5eb45ed794b8d3ef1f37a3e1
Author: Ben Franksen <ben.franksen@online.de>
Date: Sat Sep 29 18:35:53 CEST 2018
* move cache related global variables to D.R.Cache and make them thread-safe
The two global variables are reachableSourcesList and badSourcesList and
they are exclusively used by D.R.Cache. So it seems cleaner to me to
encapsulate them in the same module. They use MVars now to make access
thread safe. While apparently the code seems to work with IORefs, the cache
functions /are/ used from multiple threads, so MVars are the safer option.