Newest at the top
| 2025-02-28 16:45:43 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-28 16:43:05 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2025-02-28 16:29:32 +0100 | notdabs | (~Owner@2600:6c40:4300:950:cc75:6335:c59d:cd1) |
| 2025-02-28 16:26:07 +0100 | jespada | (~jespada@2800:a4:2319:bf00:b8ce:b197:cf38:dadc) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-28 16:25:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-28 16:23:41 +0100 | manwithluck | (~manwithlu@185-183-33-218.hosted-by-worldstream.net) manwithluck |
| 2025-02-28 16:22:19 +0100 | manwithluck | (~manwithlu@185-183-33-218.hosted-by-worldstream.net) (Read error: Connection reset by peer) |
| 2025-02-28 16:21:19 +0100 | jespada | (~jespada@2800:a4:2319:bf00:b8ce:b197:cf38:dadc) jespada |
| 2025-02-28 16:20:57 +0100 | jespada | (~jespada@2800:a4:2319:bf00:b8ce:b197:cf38:dadc) (Read error: Connection reset by peer) |
| 2025-02-28 16:20:50 +0100 | agumonke` | (~user@2a04:cec0:1900:908b:c7a:f6ae:8f:6b06) |
| 2025-02-28 16:20:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 16:20:22 +0100 | agumonke` | (~user@val59-h07-89-85-120-232.dsl.sta.abo.bbox.fr) (Read error: Connection reset by peer) |
| 2025-02-28 16:20:04 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-28 16:13:33 +0100 | manwithluck | (~manwithlu@185-183-33-218.hosted-by-worldstream.net) manwithluck |
| 2025-02-28 16:10:11 +0100 | jespada | (~jespada@2800:a4:2319:bf00:b8ce:b197:cf38:dadc) jespada |
| 2025-02-28 16:10:03 +0100 | manwithluck | (~manwithlu@185-183-33-218.hosted-by-worldstream.net) (Ping timeout: 268 seconds) |
| 2025-02-28 15:58:48 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-28 15:55:08 +0100 | jathan | (~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 +0100 | Sgeo | (~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 +0100 | vanishingideal | (~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 +0100 | k_hachig_ | (~k_hachig@70.29.50.103) k_hachig |
| 2025-02-28 15:38:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-28 15:36:11 +0100 | sarna | (~sarna@d168-237.icpnet.pl) sarna |
| 2025-02-28 15:34:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 15:23:24 +0100 | ft | (~ft@p3e9bc68d.dip0.t-ipconnect.de) ft |
| 2025-02-28 15:16:05 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-28 15:15:38 +0100 | zungi | (~tory@user/andrewchawk) (Remote host closed the connection) |
| 2025-02-28 15:05:47 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-28 15:03:19 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-02-28 15:01:59 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:2c32:43e6:1cbf:396a) synchromesh |
| 2025-02-28 15:00:42 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:2c32:43e6:1cbf:396a) (Read error: Connection reset by peer) |
| 2025-02-28 14:55:31 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-28 14:53:05 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-28 14:49:23 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-28 14:48:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 14:45:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-28 14:44:36 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |