Newest at the top
| 2026-03-05 14:18:31 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-05 14:18:21 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2026-03-05 14:11:45 +0100 | Alex_delenda_est | (~al_test@178.34.150.243) |
| 2026-03-05 14:11:08 +0100 | AlexNoo_ | AlexNoo |
| 2026-03-05 14:06:56 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 14:03:44 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2026-03-05 14:02:10 +0100 | kadobanana | (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 2026-03-05 13:58:02 +0100 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-05 13:57:54 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 13:57:03 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:56:28 +0100 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 13:55:22 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:54:55 +0100 | kadobanana | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2026-03-05 13:53:38 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:53:11 +0100 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 13:52:16 +0100 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2026-03-05 13:50:45 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:50:07 +0100 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 13:50:00 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:49:38 +0100 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 13:49:25 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:49:15 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-05 13:49:02 +0100 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 13:48:15 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:47:52 +0100 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 13:46:06 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-03-05 13:37:47 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 13:37:31 +0100 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 13:20:57 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 13:18:27 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 13:16:03 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 12:59:17 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-05 12:48:29 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-05 12:47:45 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:47:03 +0100 | kadobanana | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2026-03-05 12:45:04 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-03-05 12:41:49 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-05 12:34:02 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-05 12:18:22 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b1a8:2b42:9b46:3f85) |
| 2026-03-05 12:17:29 +0100 | <Athas> | I wrote it with case instead of if. |
| 2026-03-05 12:17:15 +0100 | <int-e> | exitWith (if c == 0 then ExitSuccess else ExitFailure c) --- how does this turn into three lines? |
| 2026-03-05 12:16:42 +0100 | <haskellbridge> | <magic_rb> Athas: well no, because thats obvious only on linux |
| 2026-03-05 12:16:28 +0100 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2026-03-05 12:13:57 +0100 | <Athas> | It seems like an obvious thing, and it's three lines of code to do by hand. |
| 2026-03-05 12:13:46 +0100 | <Athas> | Is there a convenient way to go from an Int to an ExitCode in the obvious way? I.e., 0 becomes ExitSuccess and everything else becomes ExitFailure? |
| 2026-03-05 12:03:35 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:02:48 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e51798ffae662d64428e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-03-05 12:02:32 +0100 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 12:00:02 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e5630d82fe39e12aa3e5.dip0.t-ipconnect.de) acidjnk |
| 2026-03-05 11:58:07 +0100 | jreicher | (~joelr@user/jreicher) jreicher |