Re: clueless GHCI user wishes to load QuickCheck

nr@eecs.harvard.edu (Norman Ramsey) writes:

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 <snip> Any advice, anyone?

You need to load a source file that imports QuickCheck. With the attached file and ghci, Prelude> :l /path/to/ProtoQuickCheck.hs then: *ProtoQuickCheck> quickCheck prop_RevUnit The first QuickCheck paper is an excellent guide to using QuickCheck. -- Shae Matijs Erisson - 2 days older than RFC0226 #haskell on irc.freenode.net - We Put the Funk in Funktion 10 PRINT "HELLO" 20 GOTO 10 ; mapM_ putStrLn $ fix ("hello":)