The dreaded M-R
lennart at augustsson.net
Sun Jan 29 11:22:19 EST 2006
Hmmm, maybe a warning is the best solution in general.
Even without trying any link time resolution.
Given how hard Cale had to work to reproduce it, I think
it's a rare problem. Maybe someone who knows the innards
of ghc could make a quick hack that turns on the M-R and
warns when there's actually sharing being lost.
Philippa Cowderoy wrote:
> On Sun, 29 Jan 2006, Lennart Augustsson wrote:
>>Jacques Carette wrote:
>>>Personally I think that this ought to be resolved by static means -- and
>>>yes, by the linker, as it can't be done properly earlier.
>>But there are cases that cannot be resolved statically.
>>On the other hand, they are probably rare enough to ignore.
> Or to flag up a compiler and/or linker warning for those who request them?
More information about the Haskell-prime