11 Nov
2008
11 Nov
'08
10:18 p.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