Commits

Eric Rochester committed 7a60c40

Fleshed out test framework.

Comments (0)

Files changed (4)

 
 import Data.Char
 import Test.QuickCheck
+import Test.SequiturQuick (tests)
 
 main = do
-    quickCheck ((\s -> s == s) :: [Char] -> Bool)
+    mapM_ quickCheck tests
 

Test/SequiturQuick.hs

+module Test.SequiturQuick (tests) where
+
+import Data.Sequitur
+
+tests = [ prop_identity
+        ]
+
+#!/bin/sh
+
+runhaskell -isrc Test/Main.hs
+

src/Data/Sequitur.hs

+module Data.Sequitur (prop_identity) where
+
+prop_identity :: [Char] -> Bool
+prop_identity xs = xs == xs
+
+