Newest at the top
| 2026-02-13 22:45:28 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-02-13 22:39:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-13 22:36:48 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-13 22:34:55 +0100 | acidjnk | (~acidjnk@p200300d6e700e568400d7056540e4618.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-02-13 22:32:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-13 22:21:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-13 22:19:04 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2026-02-13 22:18:43 +0100 | <mauke> | looks reasonable |
| 2026-02-13 22:18:37 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-13 22:18:34 +0100 | <mauke> | https://markkarpov.com/tutorial/megaparsec#parse-errors:~:text=custom%20parse%20error |
| 2026-02-13 22:16:30 +0100 | <mauke> | fail takes a string; you don't get to fail with a custom error type |
| 2026-02-13 22:16:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-13 22:14:29 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-02-13 22:12:36 +0100 | <[exa]> | re megaparsec errors, I always ended up with just labeling the parser properly because in the end I didn't invent any extra value to carry in the custom errors. Might be more interesting for recovery-ish parsers |
| 2026-02-13 22:11:14 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2026-02-13 22:10:04 +0100 | <[exa]> | bwe: hey watsup :) |
| 2026-02-13 22:06:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-13 22:01:52 +0100 | <bwe> | Is there some minimum working example of basic errors with Megaparsec you can recommend? I mean from `type Parser a = ...` to just calling `fail` in some parser with my custom error type. I find https://markkarpov.com/tutorial/megaparsec#parse-errors too confusing and haven't found any code example on github that is enlightening. |
| 2026-02-13 22:00:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-13 22:00:35 +0100 | FANTOM | (~fantom@87.75.185.177) |
| 2026-02-13 21:56:13 +0100 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2026-02-13 21:50:10 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-13 21:49:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-13 21:47:57 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-13 21:47:43 +0100 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 265 seconds) |
| 2026-02-13 21:44:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-13 21:44:41 +0100 | FANTOM | (~fantom@87.75.185.177) |
| 2026-02-13 21:44:22 +0100 | FANTOM | (~fantom@87.75.185.177) (*.net *.split) |
| 2026-02-13 21:40:07 +0100 | wickedjargon | (~user@24.244.23.97) (Remote host closed the connection) |
| 2026-02-13 21:34:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-13 21:32:49 +0100 | FANTOM | (~fantom@87.75.185.177) |
| 2026-02-13 21:29:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-13 21:29:03 +0100 | FANTOM | (~fantom@87.75.185.177) (*.net *.split) |
| 2026-02-13 21:22:54 +0100 | ent | (entgod@kapsi.fi) ent |
| 2026-02-13 21:21:37 +0100 | ent | (~entgod@kapsi.fi) (Ping timeout: 264 seconds) |
| 2026-02-13 21:18:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-13 21:13:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-13 21:07:16 +0100 | wickedjargon | (~user@24.244.23.97) wickedjargon |
| 2026-02-13 21:05:42 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:3570:c65c:a9b1:87c4) (Remote host closed the connection) |
| 2026-02-13 21:05:19 +0100 | petrichor | (~jez@user/petrichor) (Ping timeout: 245 seconds) |
| 2026-02-13 21:04:26 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-13 21:03:46 +0100 | cipherrot | (~jez@user/petrichor) petrichor |
| 2026-02-13 21:03:29 +0100 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) sixfourtwelve |
| 2026-02-13 21:01:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-13 20:56:22 +0100 | wickedjargon | (~user@24.244.23.97) (Remote host closed the connection) |
| 2026-02-13 20:55:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-13 20:49:50 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-13 20:49:35 +0100 | tromp | (~textual@2001:1c00:3487:1b00:19:f64a:f0f6:2051) |
| 2026-02-13 20:45:28 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-02-13 20:45:20 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |