2025/02/28

Newest at the top

2025-02-28 16:13:33 +0100manwithluck(~manwithlu@185-183-33-218.hosted-by-worldstream.net) manwithluck
2025-02-28 16:10:11 +0100jespada(~jespada@2800:a4:2319:bf00:b8ce:b197:cf38:dadc) jespada
2025-02-28 16:10:03 +0100manwithluck(~manwithlu@185-183-33-218.hosted-by-worldstream.net) (Ping timeout: 268 seconds)
2025-02-28 15:58:48 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-02-28 15:55:08 +0100jathan(~jathan@69.61.93.38) jathan
2025-02-28 15:50:41 +0100 <tomsmeding> (which, when it comes to stuff like finalizers, is an achievement on its own)
2025-02-28 15:50:32 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-02-28 15:50:20 +0100 <tomsmeding> (or rather: it runs)
2025-02-28 15:50:09 +0100 <tomsmeding> int-e: shadowing doesn't seem to work (it would've been too good to be true), but the IORef trick does! And my finalizer works! :)
2025-02-28 15:49:31 +0100 <cheater> i can't imagine it being very difficult to implement in ghc
2025-02-28 15:48:30 +0100 <cheater> of course it is
2025-02-28 15:47:46 +0100 <tomsmeding> "delet" is a much better name
2025-02-28 15:46:55 +0100 <cheater> of course, chris had to spoil the fun and call it "unlet", but that's just him https://gist.github.com/chrisdone/74180331c64e8cff47e447cb15087ad0
2025-02-28 15:46:09 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-02-28 15:45:00 +0100 <cheater> i don't think ghci has a "delet", and i'm sure people can remember me mentioning that term in the past
2025-02-28 15:42:54 +0100 <int-e> What should definitely work though is to put your value into an IORef and then change that.
2025-02-28 15:41:46 +0100 <int-e> Can you shadow the binding instead, maybe? Not sure how much hope I have of that working...
2025-02-28 15:40:47 +0100 <tomsmeding> (I want to test some finalizers)
2025-02-28 15:40:33 +0100 <tomsmeding> that is to say, after I wrote "a = 42", can I get ghci to give me a "Variable not in scope" error when trying to use "a", without restarting ghci or resetting the heap?
2025-02-28 15:39:42 +0100 <tomsmeding> can I convince ghci to drop the reference to something that I saved in a variable before?
2025-02-28 15:39:32 +0100k_hachig_(~k_hachig@70.29.50.103) k_hachig
2025-02-28 15:38:33 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-28 15:36:11 +0100sarna(~sarna@d168-237.icpnet.pl) sarna
2025-02-28 15:34:20 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-28 15:23:24 +0100ft(~ft@p3e9bc68d.dip0.t-ipconnect.de) ft
2025-02-28 15:16:05 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-02-28 15:15:38 +0100zungi(~tory@user/andrewchawk) (Remote host closed the connection)
2025-02-28 15:05:47 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-02-28 15:03:19 +0100chele(~chele@user/chele) (Remote host closed the connection)
2025-02-28 15:01:59 +0100synchromesh(~john@2406:5a00:24cf:bb00:2c32:43e6:1cbf:396a) synchromesh
2025-02-28 15:00:42 +0100synchromesh(~john@2406:5a00:24cf:bb00:2c32:43e6:1cbf:396a) (Read error: Connection reset by peer)
2025-02-28 14:55:31 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-02-28 14:53:05 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-28 14:49:23 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-02-28 14:48:36 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-28 14:45:31 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-02-28 14:44:36 +0100zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)
2025-02-28 14:43:17 +0100euleritian(~euleritia@dynamic-176-006-140-035.176.6.pool.telefonica.de) (Ping timeout: 248 seconds)
2025-02-28 14:42:44 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2025-02-28 14:37:19 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-02-28 14:17:49 +0100yegorc(~yegorc@user/yegorc) (Ping timeout: 268 seconds)
2025-02-28 14:11:40 +0100Googulator(~Googulato@81.183.235.203) (Ping timeout: 240 seconds)
2025-02-28 14:07:56 +0100Googulator78(~Googulato@81.183.235.203)
2025-02-28 14:07:06 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-02-28 14:02:52 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-28 13:57:27 +0100 <mauke> isJust :: a -> a -- that's just how it is
2025-02-28 13:56:17 +0100Googulator(~Googulato@81.183.235.203)
2025-02-28 13:56:02 +0100Googulator(~Googulato@81.183.235.203) (Quit: Client closed)
2025-02-28 13:45:54 +0100malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2025-02-28 13:39:11 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal