git.iko.soy/typeable/ether
on master help sign in
Test-suite update (T2)
commitd74c1fd1e891b54e4acbbd784c1e62c42c514fa8 authorIndex Int <vlad.z.4096@gmail.com> dateMon 14 Dec 2015, 01:59 (11 years ago) parent4b2f185
3 files changed+32−8
compare with master
unifiedsplit
test/Regression.hs+2−6 test/Regression/T2.hs+24−2 test/Regression/T3.hs+6
test/Regression.hs+2−6
@@ -17,6 +17,7 @@ import Test.Tasty
1717
1818import Regression.T1
1919import Regression.T2
20+import Regression.T3
2021
2122ethereal "R1" "r1"
2223ethereal "R2" "r2"
@@ -31,14 +32,9 @@ suite :: TestTree
3132suite = testGroup "Ether"
3233 [ test1
3334 , test2
35+ , test3
3436 ]
3537
36−implicitCore :: Ether '[I.R Int, I.R Bool] m => m String
37−implicitCore = I.local (succ :: Int -> Int) $ do
38− n :: Int <- I.ask
39− b <- I.local not I.ask
40− return (if b then "" else show n)
41−
4238wrapCore :: (T.MonadReader Int m, T.MonadState Int m) => m Int
4339wrapCore = do
4440 b <- T.get
test/Regression/T2.hs+24−2
@@ -1,8 +1,30 @@
11module Regression.T2 (test2) where
22
3+import Control.Ether.Abbr
4+import qualified Control.Monad.Ether.Implicit as I
5+import qualified Control.Ether.Implicit.Abbr as I
6+
37import Test.Tasty
8+import Test.Tasty.QuickCheck
9+
10+testEther :: Ether '[I.R Integer, I.R Bool] m => m String
11+testEther = I.local (succ :: Integer -> Integer) $ do
12+ n :: Integer <- I.ask
13+ b <- I.local not I.ask
14+ return (if b then "" else show n)
15+
16+runner1 (n :: Integer) = flip I.runReader n . flip I.runReaderT True
17+runner2 (n :: Integer) = flip I.runReader True . flip I.runReaderT n
418
519test2 :: TestTree
6−test2 = testGroup "T2"
7− [
20+test2 = testGroup "T2: Implicit tags"
21+ [ testProperty "runner1 works"
22+ $ \n -> property
23+ $ runner1 n testEther == show (succ n)
24+ , testProperty "runner2 works"
25+ $ \n -> property
26+ $ runner2 n testEther == show (succ n)
27+ , testProperty "runner1 == runner2"
28+ $ \n -> property
29+ $ runner1 n testEther == runner2 n testEther
830 ]
test/Regression/T3.hsnew file+6
@@ -0,0 +1,6 @@
1+module Regression.T3 (test3) where
2+
3+import Test.Tasty
4+
5+test3 :: TestTree
6+test3 = testGroup "T3:" []