From 5bf752794a6637f1bf4fa8b97a5fbce22f3fb1b4 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Wed, 22 Nov 2017 16:51:58 +0100 Subject: Fix prop_dont_touch_my_pieces for caught pieces --- test/Test.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/Test.hs b/test/Test.hs index 032e125..91849c2 100644 --- a/test/Test.hs +++ b/test/Test.hs @@ -118,7 +118,7 @@ prop_dont_touch_my_pieces :: PGN -> Bool prop_dont_touch_my_pieces = atAnyTwoStates (\b1 b2 -> notMoved (turn b2) b1 b2) where notMoved :: Color -> Board -> Board -> Bool - notMoved c = (==) `on` pieceCoords (Just c) Nothing + notMoved c = (\b a -> null (a \\ b)) `on` pieceCoords (Just c) Nothing return [] main = $forAllProperties (quickCheckWithResult (stdArgs {maxSuccess=10000})) -- cgit v1.2.3