Newest at the top
| 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 |
| 2026-03-05 11:54:42 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-05 11:40:43 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-05 11:35:39 +0100 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-03-05 11:26:57 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 244 seconds) |
| 2026-03-05 11:23:12 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-05 11:21:16 +0100 | xff0x | (~xff0x@182.169.73.28) (Ping timeout: 244 seconds) |
| 2026-03-05 11:10:06 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 265 seconds) |
| 2026-03-05 11:06:12 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 11:05:05 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-05 10:43:41 +0100 | chele | (~chele@user/chele) chele |
| 2026-03-05 10:38:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-03-05 10:26:28 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-05 10:09:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-05 10:09:22 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-03-05 10:09:10 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-05 09:59:06 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2026-03-05 09:57:39 +0100 | Square | (~Square4@user/square) Square |
| 2026-03-05 09:55:03 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 09:51:28 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-05 09:49:57 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2026-03-05 09:49:30 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer) |
| 2026-03-05 09:49:29 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 09:47:04 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2026-03-05 09:44:14 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 09:38:57 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 09:33:01 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e51798ffae662d64428e.dip0.t-ipconnect.de) acidjnk |
| 2026-03-05 09:31:26 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 09:31:14 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-05 09:23:43 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |