12 Nov
2008
12 Nov
'08
6:18 a.m.
Don Stewart <dons <at> galois.com> writes:
Hmm. So you'd need to construct a new IntMap, made by fmap'ping unsafeFreeze over each element of the old map.
For now I'll just do IntMap.map (unsafePerformIO . unsafeFreeze) Hopefully this won't come back to bite me.... Thanks! Chad