Logs: liberachat/#haskell
| 2025-10-01 11:49:41 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-01 11:49:54 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-01 11:50:36 | × | Googulator28 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-01 11:50:39 | → | Googulator76 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-10-01 11:55:08 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2025-10-01 11:55:08 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-01 11:56:01 | divlamir_ | is now known as divlamir |
| 2025-10-01 11:56:25 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-01 11:56:25 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-10-01 11:56:52 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-01 11:58:32 | <Athas> | Hello Haskell friends. I have some code that catches SomeException. I am aware of the caveats (it also catches asynchronous exceptions), but for my use case I thought it was fine. However, I note some flakiness where it catches exceptions I would not expect. Does the GHC RTS send many asynchronous exceptions under the hood automatically? |
| 2025-10-01 12:01:56 | × | jespada quits (~jespada@2800:a4:2302:2500:2966:dd36:8919:14e4) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-10-01 12:03:53 | × | Everything quits (~Everythin@37.73.12.104) (Quit: leaving) |
| 2025-10-01 12:08:51 | → | jespada joins (~jespada@2800:a4:2302:2500:f477:29de:56a6:e1d6) |
| 2025-10-01 12:10:39 | → | Googulator45 joins (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-10-01 12:10:41 | × | Googulator76 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-01 12:20:08 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-01 12:20:23 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 265 seconds) |
| 2025-10-01 12:20:25 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-10-01 12:25:23 | × | Googulator45 quits (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-01 12:25:35 | → | Googulator45 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-10-01 12:27:53 | × | Googulator45 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
| 2025-10-01 12:28:08 | → | Googulator45 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-10-01 12:30:40 | × | Googulator45 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
| 2025-10-01 12:30:43 | → | Googulator55 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-10-01 12:31:51 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-01 12:34:34 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 248 seconds) |
| 2025-10-01 12:45:28 | → | bgg joins (~bgg@2a01:e0a:819:1510:e89b:7105:fc27:121f) |
| 2025-10-01 12:48:02 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-10-01 12:49:09 | vulpine | is now known as ghoulpine |
| 2025-10-01 12:50:21 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-10-01 12:53:35 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-10-01 12:53:59 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-10-01 12:55:02 | × | laman quits (laman@rego.ai) (Quit: WeeChat 4.4.2) |
| 2025-10-01 12:55:41 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-01 13:04:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-01 13:05:02 | × | synchromesh quits (~john@2406:5a00:2412:2c00:15ab:9189:d43d:f752) (Read error: Connection reset by peer) |
| 2025-10-01 13:05:51 | → | Googulator73 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-10-01 13:06:13 | × | Googulator55 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-01 13:06:30 | → | synchromesh joins (~john@2406:5a00:2412:2c00:78a9:af77:335e:54fc) |
| 2025-10-01 13:07:21 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-01 13:12:07 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-01 13:16:32 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-01 13:19:41 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-01 13:20:08 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-10-01 13:21:48 | trickard_ | is now known as trickard |
| 2025-10-01 13:26:58 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-01 13:27:11 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-01 13:30:29 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-01 13:30:46 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-10-01 13:32:25 | × | hughjfchen quits (~hughjfche@vmi2417424.contaboserver.net) (Ping timeout: 245 seconds) |
| 2025-10-01 13:32:46 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-10-01 13:33:34 | → | hughjfchen joins (~hughjfche@vmi2417424.contaboserver.net) |
| 2025-10-01 13:35:49 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-01 13:36:06 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-10-01 13:45:14 | × | jespada quits (~jespada@2800:a4:2302:2500:f477:29de:56a6:e1d6) (Ping timeout: 256 seconds) |
| 2025-10-01 13:51:13 | trickard_ | is now known as trickard |
| 2025-10-01 13:51:33 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-01 13:52:36 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-10-01 13:57:04 | → | Square joins (~Square@user/square) |
| 2025-10-01 13:57:39 | × | Square2 quits (~Square4@user/square) (Remote host closed the connection) |
| 2025-10-01 14:01:13 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2025-10-01 14:03:11 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2025-10-01 14:03:16 | → | ystael joins (~ystael@user/ystael) |
| 2025-10-01 14:05:01 | → | Chai-T-Rex joins (~ChaiTRex@user/chaitrex) |
| 2025-10-01 14:05:09 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-10-01 14:09:37 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-01 14:10:08 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-01 14:10:22 | → | trickard_ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-01 14:20:38 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-10-01 14:24:49 | × | tromp quits (~textual@2001:1c00:3487:1b00:48e3:4bde:a27a:5817) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-01 14:26:09 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-01 14:26:26 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-10-01 14:36:07 | <[exa]> | Athas: I'd say it might send a lot of them if you have a multithreaded program that does some networking and it fails "as usual" |
| 2025-10-01 14:36:39 | <[exa]> | Athas: probably depends a lot on the actual case |
| 2025-10-01 14:38:21 | <Athas> | No networking in this program. |
| 2025-10-01 14:40:16 | <[exa]> | any guess of what kind of exceptions you are getting? |
| 2025-10-01 14:42:06 | <Athas> | No, but I suppose I should instrument my program and check. |
| 2025-10-01 14:43:40 | <[exa]> | yeah like, if debugging I'd literally try to start with that |
| 2025-10-01 14:44:02 | <[exa]> | any hints on what the program does? |
| 2025-10-01 14:45:22 | <Athas> | It starts a bunch of threads with forkIO, then uses channels from Control.Concurrent to communicate. |
| 2025-10-01 14:45:58 | <Athas> | There's some logic in there for cancelling work, as as using 'catch' to catch errors and propagate that information, and it's my test of cancellation that sometimes causes an exception. |
| 2025-10-01 14:46:44 | <Athas> | Perhaps there is a race condition related to the exception sent when a thread is stuck on an MVar (which is underneath channels), but I don't see why it would get stuck! |
| 2025-10-01 14:47:19 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-01 14:47:55 | <Athas> | Seems to be a "thread killed" exception (at least that is what I get when I show it). |
| 2025-10-01 14:48:30 | <Athas> | I suppose that does make sense. |
| 2025-10-01 14:49:27 | <[exa]> | ah cancelling of threads |
| 2025-10-01 14:49:33 | <[exa]> | I don't like that one |
| 2025-10-01 14:50:41 | <Athas> | Yeah, I think it's just some race condition in my protocol. |
| 2025-10-01 14:50:52 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-01 14:56:09 | <EvanR> | if there's no proof it can't get stuck, then it probably gets stuck xD |
| 2025-10-01 14:56:45 | <[exa]> | the true truth of parallel programming ^ |
| 2025-10-01 14:57:00 | <EvanR> | for cancelling threads and other shenanigans the async library has a lot of non trivial support already written for that |
| 2025-10-01 14:57:11 | <Athas> | Parallel programming doesn't need to have this issue, but concurrent programming sure does. |
| 2025-10-01 14:57:12 | × | tureba quits (~tureba@tureba.org) (Quit: leaving) |
| 2025-10-01 14:57:23 | <EvanR> | yes, concurrent programming |
| 2025-10-01 14:57:53 | <EvanR> | or trains |
| 2025-10-01 14:59:45 | → | tureba joins (tureba@tureba.org) |
| 2025-10-01 15:00:52 | <tomsmeding> | Athas: fighting the good fight with terminology :) |
| 2025-10-01 15:01:27 | <Athas> | Someone has to defend the honour of the precious paradigm. |
All times are in UTC.