diff options
author | Camil Staps | 2017-11-20 13:56:27 +0100 |
---|---|---|
committer | Camil Staps | 2017-11-20 13:56:27 +0100 |
commit | 70ac5093711eb08bd45bcf7b2e27418703f04306 (patch) | |
tree | 6ab6fa4d6952a95a4421b3e2b590dd8cb9ede44a | |
parent | Merge branch 'master' into 5-quickcheck-property-there-can-never-be-a-pawn-on... (diff) |
nomenclature
-rw-r--r-- | test/Test.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Test.hs b/test/Test.hs index d758d2b..3b15d25 100644 --- a/test/Test.hs +++ b/test/Test.hs @@ -97,8 +97,8 @@ prop_only_2_kings = atAnyState (\b -> prop_no_pawns_on_1_and_8 :: PGN -> Bool prop_no_pawns_on_1_and_8 = atAnyState $ all notOnAorH . pieceCoords Nothing (Just Pawn) where - notOnAorH :: ((Int,Int),a) -> Bool - notOnAorH ((_,r),_) = r /= 0 && r /= 7 + notOn1or8 :: ((Int,Int),a) -> Bool + notOn1or8 ((_,r),_) = r /= 0 && r /= 7 prop_number_of_pieces :: PGN -> Bool prop_number_of_pieces = atAnyTwoStates (\b1 b2 -> |