[Haskell-beginners] QuickCheck 2 entering infinite loop

Dominic Mulligan dominic.p.mulligan at googlemail.com
Fri Jan 22 11:47:14 EST 2010

Dear Brent,

Thanks for the reply.  The type of args is [Type a].  Ascribing a 
specific type, like so:

  prop_InjectTypeConFreeVars :: [Type String] -> Bool
  prop_InjectTypeConFreeVars args =
    (freeTypeVars . (tyCon "Fun")) args == (concatMap freeTypeVars args)

Leads to the same problem; quickCheck is brought to its knees after 
about 6 tests.


More information about the Beginners mailing list