diff options
-rw-r--r-- | lisk.cabal | 12 | ||||
-rw-r--r-- | tests/Main.hs | 4 | ||||
-rw-r--r-- | tests/Properties.hs | 24 |
3 files changed, 22 insertions, 18 deletions
@@ -19,7 +19,7 @@ extra-source-files: CHANGELOG.md | |||
19 | library | 19 | library |
20 | default-language: Haskell2010 | 20 | default-language: Haskell2010 |
21 | build-depends: | 21 | build-depends: |
22 | base >=4.12 && <4.13, | 22 | base == 4.*, |
23 | parsec == 3.*, | 23 | parsec == 3.*, |
24 | mtl >= 2.1 | 24 | mtl >= 2.1 |
25 | hs-source-dirs: src | 25 | hs-source-dirs: src |
@@ -34,7 +34,7 @@ executable lisk | |||
34 | default-language: Haskell2010 | 34 | default-language: Haskell2010 |
35 | main-is: Main.hs | 35 | main-is: Main.hs |
36 | build-depends: | 36 | build-depends: |
37 | base >=4.12 && <4.13, | 37 | base == 4.*, |
38 | parsec == 3.*, | 38 | parsec == 3.*, |
39 | readline >= 1.0, | 39 | readline >= 1.0, |
40 | mtl >= 2.1, | 40 | mtl >= 2.1, |
@@ -47,12 +47,8 @@ test-suite properties | |||
47 | main-is: Main.hs | 47 | main-is: Main.hs |
48 | hs-source-dirs: tests | 48 | hs-source-dirs: tests |
49 | build-depends: | 49 | build-depends: |
50 | base >=4.12 && <4.13, | 50 | base == 4.*, |
51 | parsec == 3.*, | 51 | parsec == 3.*, |
52 | QuickCheck >= 2.4 && < 3, | 52 | QuickCheck >= 2.1 && < 3, |
53 | test-framework >= 0.6 && < 0.9, | ||
54 | test-framework-hunit >= 0.3 && < 0.5, | ||
55 | test-framework-quickcheck2 >= 0.2 && < 0.4, | ||
56 | test-framework-th >= 0.2 && < 0.4, | ||
57 | lisk | 53 | lisk |
58 | other-modules: Properties | 54 | other-modules: Properties |
diff --git a/tests/Main.hs b/tests/Main.hs index a05ddb1..c4e0d9b 100644 --- a/tests/Main.hs +++ b/tests/Main.hs | |||
@@ -1,8 +1,6 @@ | |||
1 | module Main where | 1 | module Main where |
2 | 2 | ||
3 | import Properties | 3 | import Properties |
4 | import Test.Framework.Providers.QuickCheck2 | ||
5 | import Test.Framework.Runners.Console (defaultMain) | ||
6 | import Test.QuickCheck | 4 | import Test.QuickCheck |
7 | 5 | ||
8 | main = defaultMain [ Properties.tests ] | 6 | main = tests |
diff --git a/tests/Properties.hs b/tests/Properties.hs index b42cd4b..e50c7e8 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs | |||
@@ -1,15 +1,25 @@ | |||
1 | {-# LANGUAGE TemplateHaskell #-} | 1 | {-# LANGUAGE TemplateHaskell #-} |
2 | module Properties where | 2 | module Properties where |
3 | 3 | ||
4 | import Parser (Expr (..), | 4 | import Parser (Expr (..), parseLispValue, parseQuote) |
5 | parseLispValue, | ||
6 | parseQuote) | ||
7 | 5 | ||
8 | import Test.Framework.Providers.QuickCheck2 | ||
9 | import Test.Framework.TH | ||
10 | import Test.QuickCheck | 6 | import Test.QuickCheck |
11 | import Text.ParserCombinators.Parsec | ||
12 | 7 | ||
13 | -- some tests would go here hopefully | 8 | -- some tests would go here hopefully |
14 | 9 | ||
15 | tests = $testGroupGenerator | 10 | -- a filler test to test the test suite :^) |
11 | qsort :: (Ord a) => [a] -> [a] | ||
12 | qsort [] = [] | ||
13 | qsort [x] = [x] | ||
14 | qsort (x:xs) = qsort left ++ [x] ++ qsort right | ||
15 | where left = filter (<= x) xs | ||
16 | right = filter (> x) xs | ||
17 | |||
18 | checkList :: (Ord a) => [a] -> Bool | ||
19 | checkList = ordered . qsort | ||
20 | where ordered [] = True | ||
21 | ordered [x] = True | ||
22 | ordered (x:y:xs) = x <= y && ordered (y:xs) | ||
23 | |||
24 | return [] | ||
25 | tests = $quickCheckAll | ||