Generate a Summary-TestFile, that calls all others

Author: csicar

app/Main.hs

@@ -10,6 +10,7 @@ import Control.Monad.Writer
 import Data.Maybe (fromMaybe)
 import qualified Data.Text as T
 import Debug.Pretty.Simple
+import Text.Pretty.Simple
 import qualified Language.PureScript as P
 import qualified Language.PureScript.Docs as D
 import Language.PureScript.Docs.Tags (dumpCtags, dumpEtags)
@@ -73,7 +74,9 @@ docgen p@(PurepurOptions moutput compileOutput inputGlob compileInputGlob) = do
   globDir1 ext output >>= mapM_ removeFile
   writeTestModules output msCommentTest
   writeTestModules output $ (\(doc, name) -> (name, Printer.printPurpurDocument name doc)) <$> testsFromMarkdown
-
+  let (summaryDoc, summaryModName) = generateSummaryFile ((fst <$> msCommentTest) ++ (snd <$> testsFromMarkdown))
+  -- pPrint summaryFile
+  writeTestModule output (summaryModName, Printer.printPurpurDocument summaryModName summaryDoc) 
   pure ()
   where
     runExceptIO :: Except ParseError a -> IO a
@@ -114,8 +117,8 @@ main = do
     opts =
       Opts.info
         command
-        ( Opts.progDesc "Print a greeting for TARGET"
-            <> Opts.header "hello - a test for optparse-applicative"
+        ( Opts.progDesc "Generate tests from code-examples in purescript docs"
+            <> Opts.header "purescript-doctest"
         )
 
 pscDocsOptions :: Opts.Parser PurepurOptions

example/README.md

@@ -3,4 +3,6 @@
 
 ```purescript run
 > f x = x
+> f 2
+2
 ```

example/test/Main.purs

@@ -4,15 +4,16 @@ import Prelude
 import Test.Spec (describe, it)
 import Test.Spec.Assertions (shouldEqual)
 
-import Test.Example.Main as Main
-import Test.Example.ArrayEx as ArrayEx
+-- import Test.Example.Main as Main
+import DocTest as DocTest
 import Effect (Effect)
 import Effect.Aff (launchAff_)
 import Test.Spec.Reporter.Console (consoleReporter)
 import Test.Spec.Runner (runSpec)
 
 -- Specs
 main = launchAff_ $ runSpec [consoleReporter] do 
-  Main.main
-  ArrayEx.main
+  -- Main.main
+  -- ArrayEx.main
+  DocTest.main
   pure unit

example/test/docs/ArrayEx.purs

@@ -0,0 +1,26 @@
+module DocTest where 
+
+import Prelude
+import Test.Spec (describe, it, Spec)
+import Test.Spec.Assertions (shouldEqual)
+
+
+-- Imports
+import Test.DocTest.ArrayEx as Test.DocTest.ArrayEx
+import Test.DocTest.Main as Test.DocTest.Main
+import Test.DocTest.Sub.Sub1 as Test.DocTest.Sub.Sub1
+import Test.MarkdownExamples.READMEmd as Test.MarkdownExamples.READMEmd
+
+
+-- Declarations
+
+
+-- Specs
+main :: Spec Unit
+main = describe "DocTest" $ do 
+    Test.DocTest.ArrayEx.main
+    Test.DocTest.Main.main
+    Test.DocTest.Sub.Sub1.main
+    Test.MarkdownExamples.READMEmd.main
+
+    pure unit

example/test/docs/DocTest.purs

@@ -1,4 +1,4 @@
-module Test.Example.ArrayEx where 
+module Test.DocTest.ArrayEx where 
 
 import Prelude
 import Test.Spec (describe, it, Spec)
@@ -17,16 +17,16 @@ asMaybeInt a = a
 
 -- Specs
 main :: Spec Unit
-main = describe "ArrayEx" $ do 
-    it "value spec in docs from:main" $ show (fromFoldable (Just 1)) `shouldEqual` "[1]"
-    it "value spec in docs from:main" $ show (fromFoldable (Nothing :: Maybe Int)) `shouldEqual` "[]"
+main = describe "Test.DocTest.ArrayEx" $ do 
+    it "value spec in docs from: main" $ show (fromFoldable (Just 1)) `shouldEqual` "[1]"
+    it "value spec in docs from: main" $ show (fromFoldable (Nothing :: Maybe Int)) `shouldEqual` "[]"
     it "type spec in docs from: main" $ do
         let testType = (
             [ [ 1
               ]  
             ]) :: (Array (Array Int))
         pure unit
 
-    it "value spec in docs from:main" $ show (singleton 2) `shouldEqual` "[2]"
+    it "value spec in docs from: main" $ show (singleton 2) `shouldEqual` "[2]"
 
     pure unit

example/test/docs/Main.purs

@@ -1,4 +1,4 @@
-module Test.Example.Main where 
+module Test.DocTest.Main where 
 
 import Prelude
 import Test.Spec (describe, it, Spec)
@@ -18,13 +18,13 @@ f x = 28
 
 -- Specs
 main :: Spec Unit
-main = describe "Main" $ do 
-    it "value spec in docs from:main" $ show (101 + 2 * (\x ->  
+main = describe "Test.DocTest.Main" $ do 
+    it "value spec in docs from: main" $ show (101 + 2 * (\x ->  
                  x    
               )       
               3) `shouldEqual` "107"
-    it "value spec in docs from:main" $ show (23) `shouldEqual` "23"
-    it "value spec in docs from:main" $ show (f 1) `shouldEqual` "3"
-    it "value spec in docs from:main" $ show (f 23) `shouldEqual` "28"
+    it "value spec in docs from: main" $ show (23) `shouldEqual` "23"
+    it "value spec in docs from: main" $ show (f 1) `shouldEqual` "3"
+    it "value spec in docs from: main" $ show (f 23) `shouldEqual` "28"
 
     pure unit

example/test-docs/ArrayEx.purs renamed to example/test/docs/Test.DocTest.ArrayEx.purs

@@ -1,4 +1,4 @@
-module Test.Example.Sub.Sub1 where 
+module Test.DocTest.Sub.Sub1 where 
 
 import Prelude
 import Test.Spec (describe, it, Spec)
@@ -13,6 +13,6 @@ import Test.Spec.Assertions (shouldEqual)
 
 -- Specs
 main :: Spec Unit
-main = describe "Sub.Sub1" $ do 
+main = describe "Test.DocTest.Sub.Sub1" $ do 
 
     pure unit

example/test-docs/Main.purs renamed to example/test/docs/Test.DocTest.Main.purs

@@ -1,4 +1,4 @@
-module Test.Example.Test.MdExamples.READMEmd where 
+module Test.MarkdownExamples.READMEmd where 
 
 import Prelude
 import Test.Spec (describe, it, Spec)
@@ -14,6 +14,7 @@ f x = x
 
 -- Specs
 main :: Spec Unit
-main = describe "Test.MdExamples.READMEmd" $ do 
+main = describe "Test.MarkdownExamples.READMEmd" $ do 
+    it "value spec in docs from: ./README.md" $ show (f 2) `shouldEqual` "2"
 
     pure unit