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(-)
(limited to 'test/Test.hs')
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