-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 On Tue, Dec 23, 2008 at 1:56 PM, Jean-Philippe Bernardy wrote: -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux)
iEYEAREKAAYFAklROI8ACgkQvpDo5Pfl1oKJiwCfcpSNqVksvOS4h7f/PT3lTeX5 Tn4AnjQIi2m6agWncK2plKI1x07mt/pa =6MBA -----END PGP SIGNATURE----- > > I observed this before, but not consistently. I can only think this is > due to a file that remains (lazily) open somewhere, > maybe in GHC code, maybe in Shim code. Agreed, but no idea where. I just wonder why I didn't observe it until recently. > Anyhow, I think we should replace Shim by Scion... > > Cheers, > JP. Is Scion mature enough? The examples don't look too bad, but these sorts of libraries have a nasty mortality rate. -- gwern --~--~---------~--~----~------------~-------~--~----~ Yi development mailing list [email protected] http://groups.google.com/group/yi-devel -~----------~----~----~----~------~----~------~--~---
