summaryrefslogtreecommitdiffstats
path: root/tests/Properties.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/Properties.hs')
-rw-r--r--tests/Properties.hs7
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index b4e90a6..4707305 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -16,6 +16,7 @@ import System.IO
import System.Random
import Text.Printf
import Data.List (nub,sort,group,sort,intersperse,genericLength)
+import Data.Char (ord)
import Data.Map (keys,elems)
import qualified Data.Map as M
@@ -121,7 +122,7 @@ prop_notpeek_peekStack n x = current x /= n && isJust (peek x) ==> peekStack n x
------------------------------------------------------------------------
-type T = StackSet Int Int Int
+type T = StackSet Int Int Char
prop_delete_uniq i x = not (member i x) ==> delete i x == x
where _ = x :: T
@@ -249,6 +250,10 @@ noOverlaps xs = and [ verts a `notOverlap` verts b
------------------------------------------------------------------------
+instance Arbitrary Char where
+ arbitrary = choose ('a','z')
+ coarbitrary n = coarbitrary (ord n)
+
instance Random Word8 where
randomR = integralRandomR
random = randomR (minBound,maxBound)