clueless GHCI user wishes to load QuickCheck

[Arthur Baars]

QuickCheck is in de "util" package. You can load a package with the 
-package flag:

$ ghci -package util
Prelude> :browse QuickCheck
class Arbitrary a where {
     arbitrary :: Gen a; coarbitrary :: forall b. a -> Gen b -> Gen b; }
arbitrary :: forall a. (Arbitrary a) => Gen a
...
Prelude>:module QuickCheck

Prelude QuickCheck> :info trivial
-- trivial is a variable
trivial :: forall a. (Testable a) => Bool -> a -> Property

Hope this helps.

Cheers,

Arthur

On Tuesday, March 11, 2003, at 07:02 PM, Norman Ramsey wrote:

> Can anyone help me figure out how to load QuickCheck into GHCI?
> QuickCheck is included in my Debian package, but my attempts
> at loading it are bootless:
>
> Prelude> :load QuickCheck
> can't find module `QuickCheck'
> Prelude> :load util/QuickCheck
> can't find module `util/QuickCheck'
> Prelude> :info
> syntax: `:i <thing-you-want-info-about>'
> Prelude> :load util/QuickCheck.hi
> can't find module `util/QuickCheck.hi'
> Prelude> :load /usr/lib/ghc-5.02.2/imports/util/QuickCheck.hi
> can't find module `/usr/lib/ghc-5.02.2/imports/util/QuickCheck.hi'
> Prelude> :load /usr/lib/ghc-5.02.2/imports/util/QuickCheck
> can't find module `/usr/lib/ghc-5.02.2/imports/util/QuickCheck'
> Prelude>
>
> Any advice, anyone?
>
>
> Norman
> _______________________________________________
> Haskell mailing list
> Haskell@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>