Update and temporarily disable doctests

fizruk · Jun 4, 2024 · 683f78d · 683f78d
1 parent f1ff32e
commit 683f78d
Show file tree

Hide file tree

Showing 4 changed files with 22 additions and 42 deletions.
diff --git 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
@@ -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
diff --git a/haskell/free-foil/test/doctests/Main.hs 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