Newest at the top
| 2026-04-30 15:40:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 15:37:56 +0000 | Arsen | (16abab341f@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2026-04-30 15:37:17 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-04-30 15:36:46 +0000 | <janus> | it is cringe to wear op all the time? |
| 2026-04-30 15:36:01 +0000 | <janus> | i got op from shapr and now i proudly wear it. i don't think ChanServ knows about it so i wouldn't be able to get it back |
| 2026-04-30 15:35:24 +0000 | <tomsmeding> | hello I've been away for a couple weeks, what's with all the @? Are there spammers? |
| 2026-04-30 15:34:18 +0000 | <Leary> | I would determine that on a case-by-case basis; ultimately it's a matter of whether they types in question have any good reason to be (or not be) polykinded. |
| 2026-04-30 15:33:04 +0000 | califax | (~califax@user/califx) califx |
| 2026-04-30 15:32:43 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-30 15:31:49 +0000 | tomsmeding_ | tomsmeding |
| 2026-04-30 15:31:39 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-30 15:31:35 +0000 | <janus> | but would it not be better to make the servant export not-polykinded , and keep compatibility with revdeps? |
| 2026-04-30 15:31:31 +0000 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-04-30 15:31:17 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-04-30 15:31:14 +0000 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2026-04-30 15:30:59 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-30 15:30:54 +0000 | <Leary> | Which is fine, but the revdep now needs `Typeable` on the kind. |
| 2026-04-30 15:30:54 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-04-30 15:30:17 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-30 15:30:10 +0000 | <Leary> | Yeah; at a guess, something that wasn't polykinded now is. |
| 2026-04-30 15:29:51 +0000 | <c_wraith> | Not with that specifically, but stuff like PolyKinds can do that |
| 2026-04-30 15:29:37 +0000 | <janus> | s/dependencies/revdeps/ |
| 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) |