make testfile to execute sample

Author: kotapiku

egison.cabal

@@ -85,8 +85,8 @@ Library
 Test-Suite test
   Type:           exitcode-stdio-1.0
   Hs-Source-Dirs: test
-  Main-Is:        UnitTest.hs
-  Build-Depends: egison, base >= 4.0 && < 5, transformers, mtl, Glob, HUnit, test-framework, test-framework-hunit
+  Main-Is:        Test.hs
+  Build-Depends: egison, base >= 4.0 && < 5, transformers, mtl, Glob, HUnit, test-framework, test-framework-hunit, filepath
   Other-modules:   Paths_egison
 
 Benchmark benchmark

test/Test.hs

@@ -0,0 +1,47 @@
+module Main where
+
+import Control.Applicative
+import Control.Monad
+import Data.IORef
+
+import Test.Framework (defaultMain)
+import Test.Framework.Providers.HUnit (hUnitTestToTests)
+import Test.HUnit
+import System.FilePath.Glob (glob)
+import System.FilePath (takeDirectory, replaceDirectory)
+
+import Language.Egison.Types
+import Language.Egison.Core
+import Language.Egison.Primitives
+import Language.Egison
+
+main = do
+  testCases <- glob "sample/pi.egi"
+  defaultMain $ hUnitTestToTests $ test $ map runTestCase testCases
+
+runTestCase :: FilePath -> Test
+runTestCase file = TestLabel file . TestCase $ do
+  env <- initialEnv
+  let directory_path = takeDirectory file
+  answers <- readFile (replaceDirectory file ("test/answer/" ++ directory_path))
+  assertEgisonM (lines answers) $ do
+    exprs <- loadFile file
+    let (bindings, tests) = foldr collectDefsAndTests ([], []) exprs
+    env' <- recursiveBind env bindings
+    forM tests $ evalExprDeep env'
+      where
+        assertEgisonM :: [String] -> EgisonM [EgisonValue] -> Assertion
+        assertEgisonM answers m = fromEgisonM m >>= assertString . either show (f answers)
+    
+        collectDefsAndTests (Define name expr) (bindings, tests) =
+          (((stringToVar $ show name), expr) : bindings, tests)
+        collectDefsAndTests (Test expr) (bindings, tests) =
+          (bindings, expr : tests)
+        collectDefsAndTests _ r = r
+
+        f :: [String] -> [EgisonValue] -> String
+        f answers ls = g answers ls 0
+        g x y i = if (x !! i) == show (y !! i) 
+                     then (if i < (length y - 1) then g x y (i + 1)
+                                                 else "")
+                     else "failed " ++ show i ++ "\n expected: " ++ (x !! i) ++ "\n but found: " ++ show (y !! i)

test/answer/sample/pi.egi

@@ -0,0 +1,25 @@
+3
+(/ 19 6)
+(/ 160 51)
+(/ 1744 555)
+(/ 644 205)
+(/ 2529 805)
+(/ 183296 58345)
+(/ 3763456 1197945)
+(/ 4317632 1374345)
+(/ 54743776 17425485)
+(/ 188557135970304 60019600489849)
+(/ 14971288216320781097518293342791232212277336754690701067495880031840084161028749215081430249543252398598393324081906866270429198591457182295353830443350016706247047366505374418452903096221696 4765509048161794285645064982293258646209455886868326176573345305978152309773422954985053727781525391882745851558234889335081545974370263740232859330606973361218716957428517731023519870721125)
+"3.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+"3.1666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666"
+"3.1372549019607843137254901960784313725490196078431372549019607843137254901960784313725490196078431372"
+"3.1423423423423423423423423423423423423423423423423423423423423423423423423423423423423423423423423423"
+"3.1414634146341463414634146341463414634146341463414634146341463414634146341463414634146341463414634146"
+"3.1416149068322981366459627329192546583850931677018633540372670807453416149068322981366459627329192546"
+"3.1415888250921244322564058616848058959636644099751478275773416745222384094609649498671694232582055017"
+"3.1415933118799277095359135853482421980975754312593649958887928911594438809795107454849763553418562621"
+"3.1415925404465399881398047797314357020980903630456690277914206403777799606357937781270350603378336589"
+"3.1415926730303345932695704022011438992946250850406746211081068905686125809410756716384077688511969681"
+"3.1415926535897936712622736560364699508858977905299910896886082997408332108220080192478822547875048379"
+"3.1415926535897932384626433832795028841971693993751058209749445923078164062862089986280348253421170679"
+"3.141592653589793"