2025/11/22

Newest at the top

2025-11-22 11:07:43 +0100tromp(~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c)
2025-11-22 11:05:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 11:02:08 +0100tromp(~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-22 10:56:10 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-11-22 10:55:48 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-11-22 10:55:40 +0100 <tomsmeding> s/may only start/must only be allowed to start/
2025-11-22 10:54:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-11-22 10:52:36 +0100 <tomsmeding> between finalisers of ForeignPtrs, and this results in crashes in practice for us. Is there some standard pattern I can apply here to still make my code work?
2025-11-22 10:52:34 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-22 10:52:34 +0100 <tomsmeding> I have two ForeignPtrs pointing to resources on some external device; the finaliser for ForeignPtr 1 needs ForeignPtr 2 in order to properly free its resource. (FP 2 is some kind of "device context", and FP 1 wraps an "object" on that device.) This means that the finaliser for FP 2 may only start running after the finaliser for FP 1 has fully completed. GHC does not honour ordering dependencies
2025-11-22 10:52:33 +0100acidjnk(~acidjnk@p200300d6e71719523cbe3f8115602cb8.dip0.t-ipconnect.de) acidjnk
2025-11-22 10:49:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 10:48:57 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-22 10:45:00 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-11-22 10:39:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-11-22 10:34:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 10:23:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-22 10:21:10 +0100bggd(~bgg@2a01:e0a:819:1510:ad2b:2815:ce76:fa73) (Remote host closed the connection)
2025-11-22 10:18:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 10:11:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-22 10:09:49 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds)
2025-11-22 10:04:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 09:58:52 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-11-22 09:53:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-22 09:48:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 09:46:10 +0100Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla
2025-11-22 09:38:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-22 09:38:07 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2025-11-22 09:36:25 +0100inline__Inline
2025-11-22 09:35:07 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
2025-11-22 09:33:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 09:33:23 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-11-22 09:29:08 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-22 09:28:25 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
2025-11-22 09:23:11 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-22 09:22:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-22 09:21:12 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-22 09:17:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 09:07:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-22 09:05:46 +0100Googulator70(~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed)
2025-11-22 09:05:46 +0100Googulator57(~Googulato@85-238-67-234.pool.digikabel.hu)
2025-11-22 09:04:02 +0100jreicher(~user@user/jreicher) jreicher
2025-11-22 09:02:43 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-11-22 09:02:40 +0100jreicher(~user@user/jreicher) (Remote host closed the connection)
2025-11-22 09:02:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 08:51:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-22 08:48:05 +0100tromp(~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c)
2025-11-22 08:46:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 08:35:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-22 08:30:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn