Switch to doctest-parallel

cabal.project

@@ -18,3 +18,5 @@ source-repository-package
     location: https://github.com/martijnbastiaan/haskell-hedgehog.git
     tag: f7d25b0a1927b7c06d69535d5dcfcade560ec624
     subdir: hedgehog
+
+write-ghc-environment-files: always

clash-protocols.cabal

@@ -92,12 +92,6 @@ common common-options
     ghc-typelits-extra,
     ghc-typelits-knownnat
 
-custom-setup
-  setup-depends:
-    base          >= 4.11 && <5,
-    Cabal         >= 2.4,
-    cabal-doctest >= 1.0.1 && <1.1
-
 -- library inline-circuit-notation
 --   visibility: private
 --   hs-source-dirs: deps/circuit-notation/src
@@ -201,4 +195,4 @@ test-suite doctests
     base,
     clash-protocols,
     process,
-    doctest >= 0.17 && < 0.18
+    doctest-parallel >= 0.2 && < 0.3

src/Protocols.hs

@@ -44,6 +44,7 @@ module Protocols
   , StallAck(..)
   , simulateC
   , simulateCS
+  , simulateCSE
   , def
 
     -- * Circuit notation plugin

src/Protocols/Df.hs

@@ -82,6 +82,9 @@ import           Protocols.DfLike (DfLike)
 import qualified Protocols.DfLike as DfLike
 
 -- $setup
+-- >>> :m -Prelude
+-- >>> import Prelude hiding (filter, zipWith)
+-- >>> import qualified Clash.Prelude as C
 -- >>> import Protocols
 -- >>> import Clash.Prelude (Vec(..))
 -- >>> import qualified Prelude as P

src/Protocols/Internal.hs

@@ -25,6 +25,7 @@ import           Data.Tuple (swap)
 import           GHC.Generics (Generic)
 
 {- $setup
+>>> import qualified Clash.Prelude as C
 >>> import Protocols
 -}
 

tests/doctests.hs

@@ -1,26 +1,7 @@
 module Main where
 
-import Prelude
-import Build_doctests (flags, pkgs, module_sources)
-import Test.DocTest (doctest)
-import System.Environment (lookupEnv)
-import System.Process
-
-getGlobalPackageDb :: IO String
-getGlobalPackageDb = readProcess "ghc" ["--print-global-package-db"] ""
+import System.Environment (getArgs)
+import Test.DocTest (mainFromCabal)
 
 main :: IO ()
-main = do
-  inNixShell <-lookupEnv "IN_NIX_SHELL"
-  extraFlags <-
-    case inNixShell of
-      Nothing -> pure []
-      Just _ -> pure . ("-package-db="++) <$> getGlobalPackageDb
-
-  let
-    pluginFlags =
-      [ "-fplugin", "GHC.TypeLits.KnownNat.Solver"
-      , "-fplugin", "GHC.TypeLits.Normalise"
-      , "-fplugin", "GHC.TypeLits.Extra.Solver" ]
-
-  doctest (flags ++ extraFlags ++ pkgs ++ pluginFlags ++ module_sources)
+main = mainFromCabal "clash-protocols" =<< getArgs