[Xmonad] darcs patch: XPrompt: quickcheck related refactoring (and 1 more)

Andrea Rossato mailing_list at istitutocolli.org
Thu Aug 16 14:22:06 EDT 2007


these patches are the result of a suggestion by Donald. I started
using quickcheck to test XPrompt.

I've also added a tests directory to the contrib repository, with the
tests for XPrompt and ShellPrompt.

I did not have time to write not too stupid properties, so I just
generated a huge lot of data to check for exceptions... take into
account that this is day 1 of my quickcheck experience... suggestions
are really welcome!

by the way I found what I was hoping not to find, and so I corrected
skipLastWord and getlastWord.

More to come I'm afraid.

Thu Aug 16 20:05:02 CEST 2007  Andrea Rossato <andrea.rossato at unibz.it>
  * XPrompt: quickcheck related refactoring
  With this patch XPrompt can be tested with quickcheck. As a result
  getLastWord and skipLastWord has been refactored to avoid possible

Thu Aug 16 20:07:59 CEST 2007  Andrea Rossato <andrea.rossato at unibz.it>
  * added a tests directory with quickcheck tests for XPrompt and ShellPrompt
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 44285 bytes
Desc: A darcs patch for your repository!
Url : http://www.haskell.org/pipermail/xmonad/attachments/20070816/94e4e24b/attachment-0001.bin

More information about the Xmonad mailing list