[EMAIL PROTECTED] (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.
ProtoQuickCheck.hs
Description: some transcribed code from the original QuickCheck paper
--
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":)
