4 Dec
2011
4 Dec
'11
12:52 a.m.
Excerpts from Felipe Almeida Lessa's message of Wed Nov 30 07:51:20 -0500 2011:
reverse' :: Map (Reverse k) a -> Map k a reverse' = unsafeCoerce . reverse
Sorry, couldn't resist =).
I might be confused, but doesn't this break internal invariants in Map? Edward