Reduceron icon indicating copy to clipboard operation
Reduceron copied to clipboard

Published 20 hours ago • verified publisher icon tommythorn

York Lava is unsafe

Open tommythorn opened this issue 11 years ago • 2 comments

York Lava uses unsafePerformIO to implement Observable Sharing, but unsurprisingly this is extremely fragile. It currently can break down when experimenting in the interpreter, leading to bizarrely malfunctioning RTL from correct Lava. It only works so far because of the GHC options -fno-cse -fno-full-laziness. It seems a little scary to depend on these.

At the moment it's not clear how to fix this without disruptive changes to Lava.

tommythorn avatar Apr 30 '13 06:04 tommythorn

Kansas Lava have a better solution based on the new StableNames features, which alas is completely GHC proprietary. Still, porting to Kansas Lava may bring other upsides?

tommythorn avatar Dec 05 '14 18:12 tommythorn

The other obvious solution is to change York Lava to use StableNames as well. I'm investigating that.

tommythorn avatar Feb 27 '15 22:02 tommythorn