From 683f78d1a42a8e97da94138ca5cc0c16a1ee20ae Mon Sep 17 00:00:00 2001
From: Nikolai Kudasov <nickolay.kudasov@gmail.com>
Date: Tue, 4 Jun 2024 06:07:37 +0300
Subject: [PATCH] Update and temporarily disable doctests

---
 haskell/free-foil/free-foil.cabal       | 24 -----------------------
 haskell/free-foil/package.yaml          | 26 ++++++++++++++-----------
 haskell/free-foil/test/doctests.hs      |  7 -------
 haskell/free-foil/test/doctests/Main.hs |  7 +++++++
 4 files changed, 22 insertions(+), 42 deletions(-)
 delete mode 100644 haskell/free-foil/test/doctests.hs
 create mode 100644 haskell/free-foil/test/doctests/Main.hs

diff --git a/haskell/free-foil/free-foil.cabal b/haskell/free-foil/free-foil.cabal
index 3265c0a1..4f45fe55 100644
--- a/haskell/free-foil/free-foil.cabal
+++ b/haskell/free-foil/free-foil.cabal
@@ -96,30 +96,6 @@ executable lambda-pi
     , text >=1.2.3.1
   default-language: Haskell2010
 
-test-suite doctests
-  type: exitcode-stdio-1.0
-  main-is: doctests.hs
-  hs-source-dirs:
-      test
-  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -optP-Wno-nonportable-include-path
-  build-tools:
-      alex >=3.2.4
-    , happy >=1.19.9
-  build-tool-depends:
-      BNFC:bnfc >=2.9.4.1
-  build-depends:
-      Glob
-    , QuickCheck
-    , array >=0.5.3.0
-    , base
-    , bifunctors
-    , containers
-    , deepseq
-    , doctest
-    , template-haskell
-    , text >=1.2.3.1
-  default-language: Haskell2010
-
 test-suite free-foil-test
   type: exitcode-stdio-1.0
   main-is: Spec.hs
diff --git a/haskell/free-foil/package.yaml b/haskell/free-foil/package.yaml
index f562a3d2..a5c5d352 100644
--- a/haskell/free-foil/package.yaml
+++ b/haskell/free-foil/package.yaml
@@ -82,14 +82,18 @@ tests:
     dependencies:
       - free-foil
 
-  doctests:
-    source-dirs: test
-    main: doctests.hs
-    other-modules: []
-    dependencies:
-      - base
-      - doctest
-      - Glob
-      - QuickCheck
-      - template-haskell
-      - containers
+  # doctests:
+  #   source-dirs:
+  #     - src/
+  #     - test/doctests
+  #   main: Main.hs
+  #   other-modules: []
+  #   dependencies:
+  #     - free-foil
+  #     - doctest-parallel
+  #   when:
+  #     - condition: false
+  #       other-modules:
+  #         - Language.LambdaPi.Syntax.Test
+  #         - Language.LambdaPi.Syntax.ErrM
+  #         - Language.LambdaPi.Syntax.Skel
diff --git a/haskell/free-foil/test/doctests.hs b/haskell/free-foil/test/doctests.hs
deleted file mode 100644
index 08723be9..00000000
--- a/haskell/free-foil/test/doctests.hs
+++ /dev/null
@@ -1,7 +0,0 @@
--- doctests/Main.hs
-
-import           Test.DocTest
-
--- This test suite exists only to add dependencies
-main :: IO ()
-main = doctest ["src"]
diff --git a/haskell/free-foil/test/doctests/Main.hs b/haskell/free-foil/test/doctests/Main.hs
new file mode 100644
index 00000000..8cc30732
--- /dev/null
+++ b/haskell/free-foil/test/doctests/Main.hs
@@ -0,0 +1,7 @@
+module Main where
+
+import System.Environment (getArgs)
+import Test.DocTest (mainFromCabal)
+
+main :: IO ()
+main = mainFromCabal "free-foil" =<< getArgs