Logs: liberachat/#haskell
| 2026-03-05 08:09:06 | × | prdak quits (~Thunderbi@user/prdak) (Client Quit) |
| 2026-03-05 08:14:33 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-03-05 08:23:43 | × | Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-05 08:31:14 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-05 08:31:26 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-03-05 08:33:01 | → | acidjnk_new joins (~acidjnk@p200300d6e700e51798ffae662d64428e.dip0.t-ipconnect.de) |
| 2026-03-05 08:38:57 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 2026-03-05 08:44:14 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 08:47:04 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2026-03-05 08:49:29 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 2026-03-05 08:49:30 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer) |
| 2026-03-05 08:49:57 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2026-03-05 08:51:28 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-05 08:55:03 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-05 08:57:39 | → | Square joins (~Square4@user/square) |
| 2026-03-05 08:59:06 | × | philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2026-03-05 09:09:10 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-05 09:09:22 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-03-05 09:09:25 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-03-05 09:26:28 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-05 09:38:43 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-03-05 09:43:41 | → | chele joins (~chele@user/chele) |
| 2026-03-05 10:05:05 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-03-05 10:06:12 | → | kadobanana joins (~mud@user/kadoban) |
| 2026-03-05 10:10:06 | × | mud quits (~mud@user/kadoban) (Ping timeout: 265 seconds) |
| 2026-03-05 10:21:16 | × | xff0x quits (~xff0x@182.169.73.28) (Ping timeout: 244 seconds) |
| 2026-03-05 10:23:12 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-05 10:26:57 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 244 seconds) |
| 2026-03-05 10:35:39 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 2026-03-05 10:40:43 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-05 10:54:42 | → | Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) |
| 2026-03-05 10:58:07 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-03-05 11:00:02 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e5630d82fe39e12aa3e5.dip0.t-ipconnect.de) |
| 2026-03-05 11:02:32 | × | kadobanana quits (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 11:02:48 | × | acidjnk_new quits (~acidjnk@p200300d6e700e51798ffae662d64428e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-03-05 11:03:35 | → | kadobanana joins (~mud@user/kadoban) |
| 2026-03-05 11:13:46 | <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 11:13:57 | <Athas> | It seems like an obvious thing, and it's three lines of code to do by hand. |
| 2026-03-05 11:16:28 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2026-03-05 11:16:42 | <haskellbridge> | <magic_rb> Athas: well no, because thats obvious only on linux |
| 2026-03-05 11:17:15 | <int-e> | exitWith (if c == 0 then ExitSuccess else ExitFailure c) --- how does this turn into three lines? |
| 2026-03-05 11:17:29 | <Athas> | I wrote it with case instead of if. |
| 2026-03-05 11:18:22 | → | xff0x joins (~xff0x@2405:6580:b080:900:b1a8:2b42:9b46:3f85) |
| 2026-03-05 11:34:02 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-05 11:41:49 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-03-05 11:45:04 | × | skinkitten quits (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-03-05 11:47:03 | × | kadobanana quits (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2026-03-05 11:47:45 | → | kadobanana joins (~mud@user/kadoban) |
| 2026-03-05 11:48:29 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-03-05 11:59:17 | × | Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-05 12:16:03 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 2026-03-05 12:18:27 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 12:20:57 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 2026-03-05 12:37:31 | × | kadobanana quits (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 12:37:47 | → | kadobanana joins (~mud@user/kadoban) |
| 2026-03-05 12:46:06 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-03-05 12:47:52 | × | kadobanana quits (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 12:48:15 | → | kadobanana joins (~mud@user/kadoban) |
| 2026-03-05 12:49:02 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 12:49:15 | → | poscat joins (~poscat@user/poscat) |
| 2026-03-05 12:49:25 | → | kadobanana joins (~mud@user/kadoban) |
| 2026-03-05 12:49:38 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 12:50:00 | → | kadobanana joins (~mud@user/kadoban) |
| 2026-03-05 12:50:07 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 12:50:45 | → | kadobanana joins (~mud@user/kadoban) |
| 2026-03-05 12:52:16 | × | tremon quits (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2026-03-05 12:53:11 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 12:53:38 | → | kadobanana joins (~mud@user/kadoban) |
| 2026-03-05 12:54:55 | × | kadobanana quits (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2026-03-05 12:55:22 | → | kadobanana joins (~mud@user/kadoban) |
| 2026-03-05 12:56:28 | × | kadobanana quits (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 12:57:03 | → | kadobanana joins (~mud@user/kadoban) |
| 2026-03-05 12:57:54 | × | philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 12:58:02 | → | philopso11 joins (~caecilius@107.175.39.130) |
| 2026-03-05 13:02:10 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 2026-03-05 13:03:44 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2026-03-05 13:06:56 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-03-05 13:11:08 | AlexNoo_ | is now known as AlexNoo |
| 2026-03-05 13:11:45 | → | Alex_delenda_est joins (~al_test@178.34.150.243) |
| 2026-03-05 13:18:21 | × | poscat quits (~poscat@user/poscat) (Quit: Bye) |
| 2026-03-05 13:18:31 | → | poscat joins (~poscat@user/poscat) |
| 2026-03-05 13:28:31 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:f311:8940:c862:5b08) |
| 2026-03-05 13:31:16 | → | n0den1te joins (~n0den1te@user/n0den1te) |
| 2026-03-05 13:36:53 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 2026-03-05 13:37:07 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-05 13:39:07 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 276 seconds) |
| 2026-03-05 14:05:58 | × | Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (Ping timeout: 268 seconds) |
| 2026-03-05 14:06:29 | → | Jonno_FTW joins (~come@user/jonno-ftw/x-0835346) |
| 2026-03-05 14:07:21 | → | rekahsoft joins (~rekahsoft@76.67.111.168) |
| 2026-03-05 14:17:05 | × | philopso11 quits (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 14:18:56 | → | weary-traveler joins (~user@user/user363627) |
| 2026-03-05 14:19:05 | → | chaseabagg joins (~chaseabag@2600:387:15:5519::3) |
| 2026-03-05 14:19:29 | × | skinkitten quits (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-03-05 14:21:43 | <ski> | Leary,aka_dude : no. there are no pairs (tuples) in my version (from around ~ 2004 or so, iirc) |
| 2026-03-05 14:22:18 | → | philopsos1 joins (~caecilius@user/philopsos) |
| 2026-03-05 14:22:49 | → | durstloescher joins (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 14:27:32 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:f311:8940:c862:5b08) (Remote host closed the connection) |
| 2026-03-05 14:33:45 | × | chaseabagg quits (~chaseabag@2600:387:15:5519::3) (Quit: Client closed) |
| 2026-03-05 14:38:33 | → | Square2 joins (~Square@user/square) |
| 2026-03-05 14:38:34 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
All times are in UTC.