[commit: packages/filepath] master: Allow multiple "Valid =>" clauses in QuickCheck properties (611b6c5)

git at git.haskell.org git at git.haskell.org
Thu Mar 19 11:35:06 UTC 2015


Repository : ssh://git@git.haskell.org/filepath

On branch  : master
Link       : http://git.haskell.org/packages/filepath.git/commitdiff/611b6c57e69c428ad7e2049584d57a93949704c0

>---------------------------------------------------------------

commit 611b6c57e69c428ad7e2049584d57a93949704c0
Author: Thomas Miedema <thomasmiedema at gmail.com>
Date:   Sun Oct 26 22:12:28 2014 +0100

    Allow multiple "Valid =>" clauses in QuickCheck properties


>---------------------------------------------------------------

611b6c57e69c428ad7e2049584d57a93949704c0
 tests/GenTests.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/GenTests.hs b/tests/GenTests.hs
index 7915c16..722ffc0 100644
--- a/tests/GenTests.hs
+++ b/tests/GenTests.hs
@@ -68,7 +68,7 @@ splitLex x = case lex x of
 
 -- Valid a => z   ===>  (\a -> z) (makeValid a)
 makeValid :: [String] -> [String]
-makeValid ("Valid":a:"=>":z) = "(\\":a:"->":z ++ ")":"(":"makeValid":a:")":[]
+makeValid ("Valid":a:"=>":z) = "(\\":a:"->":makeValid z ++ ")":"(":"makeValid":a:")":[]
 makeValid x = x
 
 



More information about the ghc-commits mailing list