comments

Author: MaximilianAlgehed

quickcheck-dynamic/test/Spec/DynamicLogic/Registry.hs

@@ -11,6 +11,8 @@ import Data.List qualified as List
 
 data Reg m = Reg
   { registered :: [(String, ThreadId m)]
+  -- This is because IOSim doesn't have a way to tell if a thread is alive or
+  -- not
   , aliveThreads :: [ThreadId m]
   }
 

quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs

@@ -167,6 +167,8 @@ instance GoodMonad m => RunModel (RegState m) (RegM m) where
     counterexample (show res ++ " <- " ++ show act ++ "\n  -- State: " ++ show s')
       . tabulate "Registry size" [show $ Map.size (regs s')]
 
+-- NOTE: We rely on the default implementation of `performPar` here because
+-- `perform` doesn't actually look at the state.
 instance GoodMonad m => RunModelPar (RegState m) (RegM m)
 
 data ShowDict a where