2025-08-05 00:01:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-05 00:04:51 +0200 | OftenFaded29 | (~OftenFade@user/tisktisk) (Ping timeout: 252 seconds) |
2025-08-05 00:06:42 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-08-05 00:06:42 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
2025-08-05 00:12:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 00:16:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-05 00:18:09 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-08-05 00:19:51 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-08-05 00:22:31 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2025-08-05 00:27:37 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-08-05 00:27:55 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-08-05 00:28:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 00:30:08 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-08-05 00:33:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-05 00:43:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 00:44:27 +0200 | Guest22 | (~textual@71.212.133.94) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-08-05 00:44:54 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
2025-08-05 00:46:03 +0200 | OftenFaded26 | (~OftenFade@user/tisktisk) OftenFaded |
2025-08-05 00:47:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-05 00:51:33 +0200 | AlexZenon | (~alzenon@94.233.241.158) (Ping timeout: 248 seconds) |
2025-08-05 00:58:23 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
2025-08-05 00:58:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 01:02:03 +0200 | OftenFaded26 | (~OftenFade@user/tisktisk) (Ping timeout: 252 seconds) |
2025-08-05 01:03:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-05 01:08:25 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-05 01:11:59 +0200 | phma | (~phma@2001:5b0:211b:f5a8:cdad:cbca:233f:d3b6) |
2025-08-05 01:14:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 01:16:50 +0200 | AlexNoo | (~AlexNoo@94.233.241.158) (Read error: Connection reset by peer) |
2025-08-05 01:17:15 +0200 | AlexNoo | (~AlexNoo@94.233.241.158) |
2025-08-05 01:20:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-05 01:21:22 +0200 | Guest15 | (~Guest15@2600:4041:5894:2200:1405:6e3e:67cd:4c73) |
2025-08-05 01:26:13 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 248 seconds) |
2025-08-05 01:26:40 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
2025-08-05 01:26:40 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) |
2025-08-05 01:28:18 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-08-05 01:31:23 +0200 | AlexZenon | (~alzenon@94.233.241.158) |
2025-08-05 01:32:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 01:33:26 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
2025-08-05 01:33:26 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-08-05 01:34:34 +0200 | arahael | (~arahael@user/arahael) arahael |
2025-08-05 01:37:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-05 01:39:14 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-08-05 01:39:22 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-08-05 01:45:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-05 01:45:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-05 01:47:26 +0200 | sprotte24 | (~sprotte24@p200300d16f200c0050753b554e57af5c.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-08-05 01:47:29 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 248 seconds) |
2025-08-05 01:47:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 01:48:45 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-05 01:49:08 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
2025-08-05 01:50:54 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Read error: Connection reset by peer) |
2025-08-05 01:51:22 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-05 01:52:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-05 01:52:33 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-08-05 02:03:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 02:03:57 +0200 | Guest15 | (~Guest15@2600:4041:5894:2200:1405:6e3e:67cd:4c73) (Quit: Client closed) |
2025-08-05 02:07:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-05 02:18:36 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-05 02:18:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 02:18:47 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-05 02:19:27 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
2025-08-05 02:22:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2025-08-05 02:22:06 +0200 | ljdarj1 | ljdarj |
2025-08-05 02:23:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-05 02:23:18 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
2025-08-05 02:25:32 +0200 | orenty7 | (~orenty7@37.63.19.22) |
2025-08-05 02:28:37 +0200 | ft | (~ft@mue-88-130-105-177.dsl.tropolys.de) (Ping timeout: 248 seconds) |
2025-08-05 02:29:09 +0200 | acidjnk | (~acidjnk@p200300d6e71719559d1d473a745282b7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-08-05 02:30:28 +0200 | ft | (~ft@mue-88-130-105-041.dsl.tropolys.de) ft |
2025-08-05 02:32:22 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-08-05 02:33:43 +0200 | califax | (~califax@user/califx) califx |
2025-08-05 02:34:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 02:38:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-05 02:45:16 +0200 | <Axman6> | :t Data.List.mapAccumL |
2025-08-05 02:45:16 +0200 | <lambdabot> | Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c) |
2025-08-05 02:49:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 02:49:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f328:2009:940a:c483) (Ping timeout: 260 seconds) |
2025-08-05 02:55:38 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-08-05 02:56:08 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-05 02:56:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-05 02:57:51 +0200 | <EvanR> | underrated |
2025-08-05 03:01:08 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds) |
2025-08-05 03:02:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-05 03:02:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-05 03:07:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 03:08:43 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-08-05 03:11:19 +0200 | orenty7 | (~orenty7@37.63.19.22) (Read error: Connection reset by peer) |
2025-08-05 03:11:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-05 03:13:05 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-08-05 03:13:09 +0200 | orenty7 | (~orenty7@37.63.19.142) |
2025-08-05 03:22:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-08-05 03:22:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 03:27:05 +0200 | <haskellbridge> | <orenty7> Hello everyone, I'm hoping to contribute to GHC and project wiki says that I need my account approved. Could anyone please help me with this? Thanks in advance! |
2025-08-05 03:27:27 +0200 | ft | (~ft@mue-88-130-105-041.dsl.tropolys.de) (Ping timeout: 252 seconds) |
2025-08-05 03:27:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-05 03:31:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-05 03:33:46 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-08-05 03:33:47 +0200 | <geekosaur> | that shouldn't be true any more |
2025-08-05 03:33:54 +0200 | <geekosaur> | the wiki needs to be updated |
2025-08-05 03:34:05 +0200 | califax | (~califax@user/califx) califx |
2025-08-05 03:34:06 +0200 | <geekosaur> | @orenty7 ^^ |
2025-08-05 03:34:06 +0200 | <lambdabot> | Unknown command, try @list |
2025-08-05 03:38:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 03:38:34 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-08-05 03:39:45 +0200 | koolazer | (~koo@user/koolazer) koolazer |
2025-08-05 03:40:11 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-08-05 03:41:03 +0200 | <haskellbridge> | <orenty7> Great, geekosaur, thank you |
2025-08-05 03:42:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-05 03:44:04 +0200 | ft | (~ft@mue-88-130-107-102.dsl.tropolys.de) ft |
2025-08-05 03:48:46 +0200 | dlb2 | (~dlb@syn-068-203-096-115.res.spectrum.com) |
2025-08-05 03:49:35 +0200 | dlb2 | (~dlb@syn-068-203-096-115.res.spectrum.com) (Client Quit) |
2025-08-05 03:49:50 +0200 | dlb2 | (~dlb@user/davidlbowman) davidlbowman |
2025-08-05 03:52:46 +0200 | dlb2 | (~dlb@user/davidlbowman) (Client Quit) |
2025-08-05 03:53:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 03:54:11 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-08-05 03:55:40 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Client Quit) |
2025-08-05 03:56:02 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-08-05 03:56:14 +0200 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
2025-08-05 03:56:55 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
2025-08-05 03:58:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-05 03:59:10 +0200 | jespada | (~jespada@2800:a4:2349:e700:8cdf:6b:c880:e6a) (Ping timeout: 265 seconds) |
2025-08-05 04:00:09 +0200 | jespada | (~jespada@2800:a4:22a6:1f00:2df9:2a1d:f666:d69d) jespada |
2025-08-05 04:09:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 04:14:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-05 04:23:20 +0200 | tdscg^ | (~tdscg@99-73-20-238.lightspeed.tukrga.sbcglobal.net) (Remote host closed the connection) |
2025-08-05 04:24:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 04:30:21 +0200 | orenty7 | (~orenty7@37.63.19.142) (Quit: Konversation terminated!) |
2025-08-05 04:31:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-05 04:34:18 +0200 | mange | (~mange@user/mange) mange |
2025-08-05 04:37:16 +0200 | phma | (~phma@2001:5b0:211b:f5a8:cdad:cbca:233f:d3b6) (Read error: Connection reset by peer) |
2025-08-05 04:37:49 +0200 | phma | (phma@2001:5b0:211f:82b8:996a:83c5:fa14:b20c) |
2025-08-05 04:41:39 +0200 | manwithluck | (~manwithlu@2a09:bac1:5bc0:20::39b:8b) (Ping timeout: 260 seconds) |
2025-08-05 04:41:45 +0200 | lol_ | (~lol@2603:3016:1e01:b960:a8a6:84ac:c082:e46a) |
2025-08-05 04:42:05 +0200 | manwithluck | (~manwithlu@2a09:bac5:5087:2432::39b:c0) manwithluck |
2025-08-05 04:42:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 04:45:44 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:5dee:be78:7bec:1173) (Ping timeout: 260 seconds) |
2025-08-05 04:47:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-05 04:56:42 +0200 | euouae | (~euouae@user/euouae) euouae |
2025-08-05 04:56:59 +0200 | <euouae> | Hello I'm trying to mirror the behavior of a unix utility, so I want to copy 100% of its command-line arguments, e.g. |
2025-08-05 04:57:22 +0200 | <euouae> | When I tried to do this in Python I ended up running into a wall because I used a library for command-line arguments that deviated from the intended behavior |
2025-08-05 04:57:42 +0200 | <euouae> | I'm wondering if Haskell has a package that is general enough to allow arbitrary behavior? Or should i write my own command-line parser? |
2025-08-05 04:57:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
2025-08-05 04:58:01 +0200 | <euouae> | I'm a bit afraid that if I write my own cmdarg parser it will be very caveman-like |
2025-08-05 04:58:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 05:02:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-05 05:03:06 +0200 | <Clint> | euouae: depends on how arbitrary perhaps |
2025-08-05 05:04:15 +0200 | <c_wraith> | All the existing libraries match some standard or another. if m4 doesn't match those standards, you're writing your own |
2025-08-05 05:04:57 +0200 | <c_wraith> | Note that if you're doing your own, permutation parsing is often your friend. |
2025-08-05 05:05:03 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-05 05:05:07 +0200 | <euouae> | I'll try my own then because I don't want to encounter the issue later. |
2025-08-05 05:05:16 +0200 | <euouae> | Is permutation parsing the one where the "order" doesn't matter? |
2025-08-05 05:05:17 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
2025-08-05 05:05:27 +0200 | <euouae> | Foo{x=1,y=2} and Foo{y=2,x=1} and so on? |
2025-08-05 05:06:39 +0200 | <c_wraith> | yeah |
2025-08-05 05:08:27 +0200 | <euouae> | Thankss, earlier I found this technical report from uu-parsinglib <https://web.archive.org/web/20211016145459/http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013…> that mentions it. I'll take a look. |
2025-08-05 05:08:58 +0200 | <c_wraith> | the parser-combinators library also provides permutation parsing |
2025-08-05 05:09:18 +0200 | <c_wraith> | And it's a dependency of megaparsec |
2025-08-05 05:09:57 +0200 | <euouae> | neat! I use attoparsec, but I do use parser-combinators too I think |
2025-08-05 05:10:14 +0200 | <euouae> | (the whole thing with get/setInput wasn't working out) |
2025-08-05 05:10:25 +0200 | <c_wraith> | yeah, it should be compatible with basically every parsing library. |
2025-08-05 05:10:31 +0200 | <c_wraith> | except Earley, annoyingly. |
2025-08-05 05:11:13 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-08-05 05:11:14 +0200 | <c_wraith> | (because Earley needs explicit recursion breakers to build statci tables) |
2025-08-05 05:11:52 +0200 | <euouae> | can nothing be salvaged from parser-combinators for Earley? |
2025-08-05 05:12:23 +0200 | <c_wraith> | A lot of it works, but specific combinators just make it hang when generating the Grammar |
2025-08-05 05:12:55 +0200 | <c_wraith> | So it's like... it works, but there are a few mines. |
2025-08-05 05:13:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 05:14:39 +0200 | <euouae> | fun |
2025-08-05 05:17:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-05 05:28:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 05:34:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-05 05:44:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 05:48:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-08-05 05:48:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-05 05:50:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-05 05:59:09 +0200 | aku | (aku@65.108.245.241) (Quit: Lost terminal) |
2025-08-05 05:59:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 06:00:17 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-05 06:04:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-08-05 06:10:41 +0200 | aku | (aku@2a01:4f9:c010:836c::1) eagleflo |
2025-08-05 06:15:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-05 06:15:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-08-05 06:21:19 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |