[QuickCheck] Unxpected compositional behaviour

Erik de Castro Lopo mle+hs at mega-nerd.com
Thu Jan 30 19:14:22 GMT 2014


Nick Smallbone wrote:

> Update: Property is now a newtype, so the below code now fails to
> typecheck (as it should).

Thats great! Thanks Nick.
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/



More information about the QuickCheck mailing list