Kill doctest (#6647)

cabal.project

@@ -58,12 +58,6 @@ if impl(ghc < 9.0) || os(windows)
   -- won't actually build it.
   allow-older: plutus-cert:base
 
-if os(windows)
-  -- Exclude tests that use `doctest`.  They will not work for
-  -- cross compilation and `cabal` will not be able to make a plan.
-  package prettyprinter-configurable
-    tests: False
-
 -- Recently introduced flag to be clever and use SIMD instructions.
 -- We don't need this and it causes problems in a few settings including
 -- cross-compilation.

doc/docusaurus/static/code/BasicPlutusTx.hs

@@ -18,15 +18,6 @@ import PlutusTx.Builtins
 -- The Plutus Tx Prelude, discussed further below.
 import PlutusTx.Prelude
 
--- Setup for doctest examples.
-
--- $setup
--- >>> import Tutorial.PlutusTx
--- >>> import PlutusTx
--- >>> import PlutusCore
--- >>> import PlutusCore.Evaluation.Machine.Ck
--- >>> import Data.Text.Prettyprint.Doc
-
 -- BLOCK2
 integerOne :: CompiledCode Integer
 {- 'compile' turns the 'TExpQ Integer' into a

nix/project.nix

@@ -132,11 +132,6 @@ let
             #plutus-metatheory.package.ghcOptions = "-Werror";
             plutus-tx.ghcOptions = [ "-Werror" ];
             plutus-tx-plugin.ghcOptions = [ "-Werror" ];
-            # This package's tests require doctest, which generates Haskell source
-            # code. However, it does not add derivation strategies in said code,
-            # which will fail the build with -Werror. Furthermore, barring an
-            # upstream fix, there's nothing we can do about it other than
-            # disabling -Werror on it.
             prettyprinter-configurable.ghcOptions = [ "-Werror" ];
           };
         })

plutus-core/plutus-core/src/PlutusCore/Evaluation/Machine/Ck.hs

@@ -23,9 +23,6 @@ module PlutusCore.Evaluation.Machine.Ck
     , evaluateCk
     , evaluateCkNoEmit
     , readKnownCk
-    -- Exported to make doctests work.
-    , Frame (..)
-    , transferSpine
     ) where
 
 import PlutusPrelude

plutus-tx/plutus-tx.cabal

@@ -177,14 +177,14 @@ library plutus-tx-testlib
     , text
 
 test-suite plutus-tx-test
-  import:             lang
+  import:         lang
 
   if (impl(ghcjs) || os(windows))
     buildable: False
 
-  type:               exitcode-stdio-1.0
-  main-is:            Spec.hs
-  ghc-options:        -threaded -rtsopts -with-rtsopts=-N
+  type:           exitcode-stdio-1.0
+  main-is:        Spec.hs
+  ghc-options:    -threaded -rtsopts -with-rtsopts=-N
   other-modules:
     Blueprint.Definition.Fixture
     Blueprint.Definition.Spec
@@ -203,8 +203,7 @@ test-suite plutus-tx-test
     Rational.Laws.Serialization
     Show.Spec
 
-  hs-source-dirs:     test
-  build-tool-depends: doctest:doctest
+  hs-source-dirs: test
   build-depends:
     , aeson
     , base                             >=4.9   && <5

plutus-tx/src/PlutusTx/Prelude.hs

@@ -1,12 +1,10 @@
 -- editorconfig-checker-disable-file
--- Need some extra imports from the Prelude for doctests, annoyingly
 {-# LANGUAGE OverloadedStrings #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 {-# OPTIONS_GHC -fno-omit-interface-pragmas #-}
 {-# OPTIONS_GHC -fmax-simplifier-iterations=0 #-}
 
 module PlutusTx.Prelude (
-    -- $prelude
     -- * Classes
     module Eq,
     module Enum,
@@ -188,10 +186,6 @@ import Prelude qualified as Haskell (return, (=<<), (>>), (>>=))
 --     import PlutusTx.Prelude
 -- @
 
--- $setup
--- >>> :set -XNoImplicitPrelude
--- >>> import PlutusTx.Prelude
-
 {-# INLINABLE check #-}
 -- | Checks a 'Bool' and aborts if it is false.
 check :: Bool -> BI.BuiltinUnit

prettyprinter-configurable/src/Text/PrettyBy/Internal.hs

@@ -827,19 +827,3 @@ deriving via PrettyCommon (Maybe a)
 newtype PrettyAny a = PrettyAny
     { unPrettyAny :: a
     }
-
--- $setup
---
--- (Definitions for the doctests)
---
--- >>> :set -XDataKinds
--- >>> :set -XDeriveFunctor
--- >>> :set -XDerivingVia
--- >>> :set -XFlexibleContexts
--- >>> :set -XFlexibleInstances
--- >>> :set -XGeneralizedNewtypeDeriving
--- >>> :set -XMultiParamTypeClasses
--- >>> :set -XOverloadedStrings
--- >>> :set -XStandaloneDeriving
--- >>> :set -XTypeFamilies
--- >>> :set -XUndecidableInstances