Newest at the top
| 2025-11-26 16:18:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 16:17:11 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-26 16:13:31 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds) |
| 2025-11-26 16:08:42 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Client Quit) |
| 2025-11-26 16:08:27 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
| 2025-11-26 16:05:41 +0100 | Googulator | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-26 16:05:35 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-4ad8-f42e-6d50-f4ab-2863.pool6.digikabel.hu) |
| 2025-11-26 16:04:14 +0100 | trickard_ | trickard |
| 2025-11-26 15:57:45 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 15:54:41 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:54:08 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 15:50:59 +0100 | Googulator | (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-26 15:47:35 +0100 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 240 seconds) |
| 2025-11-26 15:41:27 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 15:41:14 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 15:40:44 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 15:40:20 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 15:40:06 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 15:39:58 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-26 15:38:45 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-11-26 15:29:25 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-26 15:29:18 +0100 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-11-26 15:28:38 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-26 15:28:15 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-11-26 15:26:06 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:20:23 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-26 15:18:58 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-26 15:18:03 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 15:15:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 15:10:49 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-26 15:10:28 +0100 | trickard_ | trickard |
| 2025-11-26 15:08:07 +0100 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-11-26 15:07:54 +0100 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-26 15:03:59 +0100 | annamalai | (~annamalai@2409:4042:2d87:3c71::9e8a:460b) annamalai |
| 2025-11-26 15:03:44 +0100 | annamalai | (~annamalai@157.32.143.204) (Read error: Connection reset by peer) |
| 2025-11-26 14:56:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-26 14:56:15 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-26 14:49:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-26 14:48:16 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-26 14:34:34 +0100 | trickard_ | trickard |
| 2025-11-26 14:32:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-26 14:29:28 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-26 14:29:20 +0100 | falafel | (~falafel@gateway/vpn/pia/falafel) (Ping timeout: 244 seconds) |
| 2025-11-26 14:27:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-26 14:25:03 +0100 | <[exa]> | gah, okay. if I hit this one more time I send a PR. |
| 2025-11-26 14:24:41 +0100 | <[exa]> | oic it's actually hardcoded there |
| 2025-11-26 14:23:29 +0100 | <dminuoso> | You would have to to extend the ParseError data type with a new constructor `InfoDoc Doc` |
| 2025-11-26 14:23:02 +0100 | <[exa]> | :< |
| 2025-11-26 14:23:01 +0100 | <dminuoso> | [exa]: Anyway, all that infoOption does is just stuff an `InfoMsg` into the right place. You can see in the source code of src/Options/Applicative/Extra.hs - which is the only place this is ever discriminated upon - that there is no alternative. |
| 2025-11-26 14:22:56 +0100 | <[exa]> | like I see it's not a great deal probably, I assumed it would get defaulted on runtime but it doesn't seem so |