The dreaded M-R

Lennart Augustsson 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 mailing list