verboseCheck

[Alex M]

When I try to import verboseCheck, I get the following:

      Module `Test.QuickCheck.Test' does not export `verboseCheck'

However: http://hackage.haskell.org/packages/archive/QuickCheck/latest/doc/html/Test-QuickCheck-Test.html#v:verboseCheck

Any ideas?

Thanks,

Alex

[Lorenzo Bolla]

Maybe an old version of quickcheck?

verboseCheck has been introduced in version 2.4: http://hackage.haskell.org/package/QuickCheck-2.4

 

hth,

L.

[Alex M]

Thanks Lorenzo. I've just been using cabal to get the latest version of the packages. I remember verboseCheck was demo'd in class.. and the timestamp on quickcheck 2.4 seems to be Sat Nov 6 15:34:59 UTC 2010. Are there special cabal incantations to get the latest version of quickCheck?

[Drew Haven]

You could double-check your installed version.  cabal list quickcheck should tell you the latest and the installed version.

Drew Haven
drew....@gmail.com

[Alex M]

Hm yea looks like i don't have the latest version of quickcheck. when i try to "start over", though, as described here, i get this error:

$ cabal install cabal-install

[...]

 Distribution/Compiler.hs:74:7:

    Could not find module `Control.Monad':

      Perhaps you haven't installed the profiling libraries for package `base'?

      Use -v to see a list of the files searched for.

cabal: Error: some packages failed to install:

Cabal-1.10.2.0 failed during the building phase. The exception was:

ExitFailure 1

cabal-install-0.10.2 depends on Cabal-1.10.2.0 which failed to install.

I'm running on Ubuntu 10.04. Has anyone else run into this?