5 Feb
2008
5 Feb
'08
4:51 p.m.
On Feb 5, 2008 6:06 PM, Dan Weston
Can you do this with a GHC rule? Something like:
{-# RULES "join_dot_fmap_return/id" forall x . join (fmap return x) = x #-}
Dan
I guess this would make use of the rule (otherwise the transformation would change the code's semantic) but would not enforce that the rule itself is valid (which is undecidable). Cheers, -- Felipe.