Newest at the top
| 2024-10-23 00:24:25 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 265 seconds) |
| 2024-10-23 00:23:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-23 00:22:26 +0200 | dudek | (~dudek@2a02:a312:c9df:bf80:1107:6501:53a0:68f9) |
| 2024-10-23 00:19:32 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
| 2024-10-23 00:18:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 00:17:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-23 00:13:41 +0200 | madjestic | (~madjestic@103-135-99-95.ftth.glasoperator.nl) (Ping timeout: 244 seconds) |
| 2024-10-23 00:12:37 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-23 00:12:35 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 255 seconds) |
| 2024-10-23 00:12:31 +0200 | kilolympus | (~kilolympu@2a04:ee41:4:32b3:29d9:f88f:2e29:df95) kilolympus |
| 2024-10-23 00:08:57 +0200 | alphabeta | (~kilolympu@2a04:ee41:4:32b3:7874:16a1:451a:baf) (Ping timeout: 265 seconds) |
| 2024-10-23 00:07:43 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
| 2024-10-23 00:07:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-23 00:01:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-23 00:00:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-23 00:00:45 +0200 | <geekosaur> | I know `bracket` and friends don't work, but I think the lower level catchers do |
| 2024-10-23 00:00:43 +0200 | spew | (~spew@189.217.198.185) (Quit: spew) |
| 2024-10-23 00:00:24 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 246 seconds) |
| 2024-10-22 23:58:45 +0200 | GalaxyNova | (~andrei@user/galaxynova) GalaxyNova |
| 2024-10-22 23:57:17 +0200 | <tomsmeding> | so if there is something finicky with catching exceptions in unsafePerformIO then that's the most likely cause |
| 2024-10-22 23:56:49 +0200 | <tomsmeding> | that displayException comes straight from Control.Exception, and in a simple test ( https://play.haskell.org/saved/kXwMJ4AK ), that does definitely include the annotation |
| 2024-10-22 23:56:18 +0200 | <tomsmeding> | that exception, in my case, is thrown within an unsafePerformIO block, and within that block it is repeatedly annotated (hopefully) with annotateIO |
| 2024-10-22 23:56:09 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-10-22 23:55:53 +0200 | <tomsmeding> | geekosaur: this is not about output handling, really; here, hedgehog calls displayException on an exception it gets from user (test) code https://github.com/hedgehogqa/haskell-hedgehog/blob/94dfee5f9f4c5ba4280d4d294fc414e8caea50a1/hedge… |
| 2024-10-22 23:55:08 +0200 | <geekosaur> | hedgehog is known to do something or other with output (unsure whether it's stdout, stderr, or the RTS's output which may map to stderr but is handled differently (`debugBelch2` in `HsBase.h`, which for example is foreign-imported by `Debug.Trace`) |
| 2024-10-22 23:53:10 +0200 | <tomsmeding> | I see, and annotateIO is based on catching and rethrowing an exception |
| 2024-10-22 23:51:28 +0200 | <geekosaur> | not really |
| 2024-10-22 23:50:57 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
| 2024-10-22 23:50:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-22 23:45:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-22 23:44:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-22 23:43:36 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 252 seconds) |
| 2024-10-22 23:39:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-22 23:37:37 +0200 | <tomsmeding> | can one sensibly catch exceptions in IO inside unsafePerformIO? |
| 2024-10-22 23:36:06 +0200 | <tomsmeding> | hm, but hedgehog just calls displayException... |
| 2024-10-22 23:33:37 +0200 | <tomsmeding> | hm, I do see them in a reproducer; looks like my problem is specific to Hedgehog |
| 2024-10-22 23:32:31 +0200 | ubert | (~Thunderbi@178.115.35.86.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2024-10-22 23:32:28 +0200 | alp | (~alp@user/alp) (Read error: Connection reset by peer) |
| 2024-10-22 23:29:54 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2024-10-22 23:29:33 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Ping timeout: 245 seconds) |
| 2024-10-22 23:29:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-22 23:27:01 +0200 | AlexZenon | (~alzenon@178.34.162.25) |
| 2024-10-22 23:24:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-22 23:20:39 +0200 | Everything | (~Everythin@178-133-44-99.mobile.vf-ua.net) Everything |
| 2024-10-22 23:18:11 +0200 | califax | (~califax@user/califx) califx |
| 2024-10-22 23:17:31 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-10-22 23:15:33 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 248 seconds) |
| 2024-10-22 23:12:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-22 23:11:45 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-22 23:10:22 +0200 | AlexZenon | (~alzenon@178.34.162.25) |