Newest at the top
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) |
2025-02-28 14:43:17 +0100 | euleritian | (~euleritia@dynamic-176-006-140-035.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
2025-02-28 14:42:44 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
2025-02-28 14:37:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-02-28 14:17:49 +0100 | yegorc | (~yegorc@user/yegorc) (Ping timeout: 268 seconds) |
2025-02-28 14:11:40 +0100 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
2025-02-28 14:07:56 +0100 | Googulator78 | (~Googulato@81.183.235.203) |
2025-02-28 14:07:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-02-28 14:02:52 +0100 | alfiee | (~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 +0100 | Googulator | (~Googulato@81.183.235.203) |
2025-02-28 13:56:02 +0100 | Googulator | (~Googulato@81.183.235.203) (Quit: Client closed) |
2025-02-28 13:45:54 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
2025-02-28 13:39:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |