Newest at the top
| 2026-07-08 15:13:23 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) |
| 2026-07-08 15:08:05 +0000 | <merijn> | bwe: The warning does a "best effort" job of trying to tell you missing cases, but embedding complex logic for that in runtime exceptions seems a bad idea anyway |
| 2026-07-08 15:04:02 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-07-08 15:02:54 +0000 | <merijn> | bwe: Because which case is missing (can be) incredibly hard to compute |
| 2026-07-08 15:01:43 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) (Ping timeout: 263 seconds) |
| 2026-07-08 15:00:16 +0000 | nft_slut | (~nft_slut@2001:1960:600b:1483:8484:af02:cfba:196b) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-07-08 14:59:40 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-07-08 14:58:31 +0000 | fp | (~Thunderbi@130.233.70.229) (Ping timeout: 264 seconds) |
| 2026-07-08 14:57:39 +0000 | <bwe> | *** Exception: … (208,15)-(213,67): Non-exhaustive patterns in case -- why doesn't it naturally show which case is missing?! |
| 2026-07-08 14:55:36 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) |
| 2026-07-08 14:54:40 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-07-08 14:51:37 +0000 | ft | (~ft@p508dbe16.dip0.t-ipconnect.de) ft |
| 2026-07-08 14:43:14 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) (Ping timeout: 245 seconds) |
| 2026-07-08 14:41:24 +0000 | machinedgod | (~machinedg@d108-173-95-19.abhsia.telus.net) machinedgod |
| 2026-07-08 14:40:15 +0000 | sgillespie | (~sgillespi@user/sgillespie) (Read error: Connection reset by peer) |
| 2026-07-08 14:37:42 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) |
| 2026-07-08 14:35:55 +0000 | CiaoSen | (~Jura@2a02:3100:5955:9e00:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-07-08 14:26:52 +0000 | driib31806 | driib3180 |
| 2026-07-08 14:26:52 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer) |
| 2026-07-08 14:26:00 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) tremon |
| 2026-07-08 14:25:30 +0000 | driib31806 | (~driib@vmi931078.contaboserver.net) driib |
| 2026-07-08 14:25:11 +0000 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-07-08 14:25:09 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) (Ping timeout: 248 seconds) |
| 2026-07-08 14:21:42 +0000 | cephei8 | (b8652603d7@user/cephei8) cephei8 |
| 2026-07-08 14:19:00 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2026-07-08 14:18:58 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) |
| 2026-07-08 14:16:01 +0000 | RSBach | RMSBach |
| 2026-07-08 14:16:00 +0000 | RMSBach | (~RMSBach@2603:6013:9b40:6f2::1040) (Ping timeout: 252 seconds) |
| 2026-07-08 14:15:26 +0000 | RSBach | (~RMSBach@24.210.2.24) RMSBach |
| 2026-07-08 14:12:51 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) (Ping timeout: 256 seconds) |
| 2026-07-08 14:11:00 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-07-08 14:10:52 +0000 | cephei8 | (b8652603d7@user/cephei8) (Read error: Connection reset by peer) |
| 2026-07-08 14:10:52 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Read error: Connection reset by peer) |
| 2026-07-08 14:10:40 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (Read error: Connection reset by peer) |
| 2026-07-08 14:04:33 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) (Ping timeout: 246 seconds) |
| 2026-07-08 14:04:12 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Ping timeout: 246 seconds) |
| 2026-07-08 14:02:14 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2026-07-08 13:59:57 +0000 | schuelermine | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-07-08 13:59:09 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) |
| 2026-07-08 13:47:24 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) (Ping timeout: 245 seconds) |
| 2026-07-08 13:44:23 +0000 | erbium | (~erbium@user/erbium) erbium |
| 2026-07-08 13:42:17 +0000 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-07-08 13:42:10 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) |
| 2026-07-08 13:40:30 +0000 | danza | (~danza@user/danza) danza |
| 2026-07-08 13:40:10 +0000 | danz14578 | (~danza@user/danza) (Remote host closed the connection) |
| 2026-07-08 13:35:12 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Ping timeout: 268 seconds) |
| 2026-07-08 13:34:53 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) (Ping timeout: 252 seconds) |
| 2026-07-08 13:29:03 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-07-08 13:28:41 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9c43:3225:92f8:daf4) |
| 2026-07-08 13:25:35 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |