Newest at the top
| 2026-04-30 15:29:24 +0000 | <janus> | is that something people have encountered? |
| 2026-04-30 15:28:55 +0000 | <janus> | i just didn't expect the code to compile, and then the dependencies to break! |
| 2026-04-30 15:28:44 +0000 | <janus> | i thought migrating to GHC2021 would be way easier, but it does seem to affect a bunch of corner cases in fancy type level code that servant has |
| 2026-04-30 15:28:05 +0000 | <janus> | and that dependency fails to compile because it can't satisfy a typeable constraint |
| 2026-04-30 15:27:43 +0000 | <janus> | now, one of the cook books fails to compile. the cook book is using servant-multipart (an third party servant extension) as a dependency |
| 2026-04-30 15:27:04 +0000 | <janus> | i enabled GHC2021 using default-language and removed a bunch of extensions |
| 2026-04-30 15:26:47 +0000 | <janus> | having a really odd issue in the servant codebase |
| 2026-04-30 15:25:42 +0000 | califax | (~califax@user/califx) (Ping timeout: 265 seconds) |
| 2026-04-30 15:20:42 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 265 seconds) |
| 2026-04-30 15:17:34 +0000 | jle` | (~jle`@2603:8001:3b00:11::1fae) jle` |
| 2026-04-30 15:16:44 +0000 | Arsen | (16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2026-04-30 15:16:33 +0000 | jle` | (~jle`@2603:8001:3b00:11:104a:f0b9:d164:3329) (Ping timeout: 246 seconds) |
| 2026-04-30 15:07:32 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) ft |
| 2026-04-30 15:06:54 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-04-30 15:01:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-30 15:00:00 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 14:58:18 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 248 seconds) |
| 2026-04-30 14:57:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 14:56:39 +0000 | Square | (~Square@user/square) Square |
| 2026-04-30 14:56:09 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-30 14:52:24 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-04-30 14:47:17 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-30 14:46:08 +0000 | st_aldini | (~Betterbir@2605:a601:a07c:7426:722:1ac7:7d6b:c73c) (Quit: st_aldini) |
| 2026-04-30 14:45:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 14:45:02 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-30 14:45:02 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:88a1:ade2:b718:40a1) (Changing host) |
| 2026-04-30 14:45:02 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:88a1:ade2:b718:40a1) |
| 2026-04-30 14:41:54 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2026-04-30 14:41:04 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-30 14:39:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 14:38:47 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-04-30 14:30:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 14:30:13 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 14:30:07 +0000 | <haskellbridge> | <thirdofmay18081814goya> it's also not clear it's possible for it to be anything else than a Fold since there's no obvious way to construct the covariant side of the profunctor |
| 2026-04-30 14:26:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 14:24:18 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-04-30 14:20:26 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-30 14:16:34 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-30 14:15:46 +0000 | <haskellbridge> | <thirdofmay18081814goya> it's not just a cast into a fold + filter for more complicated structures, since we probably want to specify some notion of what gets preserved |
| 2026-04-30 14:15:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 14:13:51 +0000 | <haskellbridge> | <thirdofmay18081814goya> what's the usual approach to filtering using optics? if I want to remove e.g. nodes from a tree or elements of a list matching some predicate |
| 2026-04-30 14:10:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 14:01:51 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-04-30 13:59:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-30 13:58:17 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-04-30 13:57:32 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-04-30 13:56:07 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-30 13:55:42 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-30 13:54:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 13:50:49 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 244 seconds) |