Newest at the top
| 2025-02-28 17:25:13 +0100 | Digit | (~user@user/digit) Digit |
| 2025-02-28 17:19:42 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-02-28 17:19:20 +0100 | s3 | (~s3@user/bn) bn |
| 2025-02-28 17:16:56 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-02-28 17:12:36 +0100 | sprotte24 | (~sprotte24@p200300d16f44db00e82c8bd776d1241a.dip0.t-ipconnect.de) |
| 2025-02-28 17:11:54 +0100 | Googulator78 | (~Googulato@81.183.235.203) |
| 2025-02-28 17:11:19 +0100 | Googulator78 | (~Googulato@81.183.235.203) (Quit: Client closed) |
| 2025-02-28 17:10:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-28 17:06:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 17:04:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-02-28 17:04:29 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-02-28 17:03:48 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2025-02-28 17:02:33 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2025-02-28 17:02:22 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-02-28 16:58:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-28 16:57:36 +0100 | <cheater> | finally! |
| 2025-02-28 16:55:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.1) |
| 2025-02-28 16:53:45 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 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? |