tweag/distributed-closure
1
1
Fork 0
mirror of https://github.com/tweag/distributed-closure.git synced 2024-11-25 08:19:05 +03:00
Code Issues Projects Releases Wiki Activity

Tests: clean-up: use the extensional equality on closures

Browse Source
This commit is contained in:
Arnaud Spiwack 2017-05-31 22:58:56 +02:00
parent f08a0759de
commit 1d5b78b5c5
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tests/test.hs
View File

@ -205,6 +205,8 @@ instance Arbitrary (Closure (Int -> Int)) where
instance Show (Closure a) where
show _ = "<closure>"
-- | Extensional equality on closures (/i.e./ closures are equal if they
-- represent equal values)
instance Eq a => Eq (Closure a) where
cl1 == cl2 =
unclosure cl1 == unclosure cl2
@ -229,11 +231,11 @@ main = hspec $ do
prop "composition" $ \(u :: Closure (Int -> Int))
(v :: Closure (Int -> Int))
(w :: Closure Int) ->
unclosure (closure (static (.)) `cap` u `cap` v `cap` w) ==
unclosure (u `cap` (v `cap` w))
closure (static (.)) `cap` u `cap` v `cap` w ==
u `cap` (v `cap` w)
prop "homomorphism" $ \(f :: Closure (Int -> Int)) x ->
unclosure (f `cap` x) == (unclosure f) (unclosure x)
describe "serialization" $ do
prop "decode is left inverse to encode" $ \v ->
unclosure ((decode . encode) v) == unclosure (v :: Closure Int)
(decode . encode) v == (v :: Closure Int)