It is part of a hidden packageQuickCheck-1.2.0.0 how to download the hs file

Question

QuickCheck installed

i install the installation again to install QuickCheck-1.2.0.0

and boot again and has an error

Could not find module Test.QuickCheck.Batch': It is a member of the hidden package QuickCheck-1.2.0.0'.

This is a hidden package, how to do it?

ghc -o tryprog hello.hs -package QuickCheck-1.2.0.0: cannot satisfy -package QuickCheck-1.2.0.0 (use -v for more information)

Besides this error, how to download the .hs file with quickcheck-1.2.0.0 package?

added 50 points for this question

I sincerely ask you to help with this download problem!

Answer 1

You can hide or set packages using the ghc-pkg command, as in ghc-pkg expose QuickCheck-1.2.0.0 and ghc-pkg hide QuickCheck-2.4 , etc.

Answer 2

Test.QuickCheck.Batch is the 1.x quick check module, and you probably installed a newer version of quickcheck version 2.x. As usual, you can find documentation for hacking .

Answer 3

According to the GHC User Guide, you use the -package at compilation to specify the name of the package. According to the error you received, you should specify the "QuickCheck-1.2.0.0 package."