22 Jan
2010
22 Jan
'10
4:20 p.m.
On Thu, Jan 21, 2010 at 10:05:20PM +0000, Dominic Mulligan wrote:
The second property:
prop_InjectTypeConFreeVars args = (freeTypeVars . (tyCon "Fun")) args == (concatMap freeTypeVars args)
Sends quickCheck into an infinite loop of some sort. It manages to get through 5-6 tests before GHCi is brought to its knees. Before I go crazy, can anybody explain what I'm doing wrong?
What type is 'args'? Sounds to me more like a combinatorial explosion of some sort rather than an actual infinite loop. -Brent