Print partition size while refining

import           Control.Monad.ST.Unsafe (unsafeSTToIO)

import           Data.Maybe (maybeToList)

import           Data.STRef

import           System.IO.Unsafe (unsafeDupablePerformIO)

import           System.IO.Unsafe (unsafeDupablePerformIO, unsafePerformIO)

import           Data.Ord (comparing)

import           Control.Monad.Extra (unlessM, whenM)

import qualified Copar.RefinementInterface as RI

import           Copar.Algorithm.Types

import Debug.Trace

import           System.CPUTime

type SplitM s f = ReaderT (AlgoState s f, BlockQueue s) (ST s)

split :: RefinementInterface f => Block -> SplitM s f ()

split blockS = do

  (as, _) <- ask

  let !time = unsafePerformIO getCPUTime

  size <- lift (Partition.numBlocks (partition as))

  traceM $ show time <> " " <> show size

  touchedBlocks <- collectTouchedBlocks blockS

  forM_ touchedBlocks $ \(b, v0) -> do