Re: [Xmonad] darcs patch: make Properties.hs exit with failure on test failure