9 Feb
2011
9 Feb
'11
12:14 p.m.
On Wednesday 09 February 2011 16:23:15, Sebastian Fischer wrote:
Why don't the rules fire,
Because the 'match' is at the wrong type. In main, idGen appears as idGen_anJ :: ([()] -> [[()]]) -> [[()]] -> [[()]] at some point (yay for ghc -v4), so it doesn't match g's polymorphic type.
what can I change such that they do,
Type signatures.
and what to get rid of the warning for the second rule (which I think is the one I should use)?
I'll let that for somebody else.