Newest at the top
| 2025-10-26 05:48:09 +0100 | <lambdabot> | Consider it noted. |
| 2025-10-26 05:48:09 +0100 | <Leary> | @tell mathstuf: Oops, try `StandaloneDeriving` instead: `deriving via Pure instance LayoutClass L a` |
| 2025-10-26 05:27:42 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-10-26 05:13:49 +0100 | <mathstuf> | it seems the roadblock is actually that `deriving` doesnt support binary constraings (LayoutClass) |
| 2025-10-26 04:59:06 +0100 | ChubaDuba | (~ChubaDuba@176.212.36.137) (Client Quit) |
| 2025-10-26 04:58:02 +0100 | ChubaDuba | (~ChubaDuba@176.212.36.137) ChubaDuba |
| 2025-10-26 04:47:17 +0100 | td_ | (~td@i53870936.versanet.de) td_ |
| 2025-10-26 04:45:02 +0100 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 240 seconds) |
| 2025-10-26 03:40:16 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) mathstuf |
| 2025-10-26 03:38:45 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-10-26 02:55:21 +0100 | ft | (~ft@mue-88-130-106-050.dsl.tropolys.de) ft |
| 2025-10-26 02:53:22 +0100 | ft | (~ft@mue-88-130-106-235.dsl.tropolys.de) (Ping timeout: 240 seconds) |
| 2025-10-26 02:48:28 +0100 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) |
| 2025-10-26 01:15:41 +0200 | td_ | (~td@i5387090B.versanet.de) td_ |
| 2025-10-26 01:13:46 +0200 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 256 seconds) |
| 2025-10-25 23:25:26 +0200 | _qw | (~eqw@user/eqw) eqw |
| 2025-10-25 23:00:21 +0200 | _qw | (~eqw@user/eqw) (Ping timeout: 252 seconds) |
| 2025-10-25 18:28:00 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-10-25 18:16:44 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-25 17:27:22 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2025-10-25 16:51:13 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-25 16:46:23 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-10-25 14:29:32 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-25 13:59:25 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-10-25 13:54:56 +0200 | ft | (~ft@mue-88-130-106-235.dsl.tropolys.de) ft |
| 2025-10-25 13:34:07 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-10-25 13:23:39 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-10-25 13:10:23 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-25 08:24:18 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-25 08:18:11 +0200 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-25 07:27:17 +0200 | mathstuf | (~mathstuf@c-73-130-147-217.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-10-25 07:01:53 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
| 2025-10-25 06:02:40 +0200 | td_ | (~td@i53870908.versanet.de) td_ |
| 2025-10-25 06:01:13 +0200 | td_ | (~td@i5387091A.versanet.de) (Ping timeout: 264 seconds) |
| 2025-10-25 05:57:28 +0200 | <Leary> | Err, `representational`*. |
| 2025-10-25 05:52:57 +0200 | <Leary> | If GHC would look under the newtypes itself, it could re-infer `representable` after `f` is specialised to `IO`, alas ... |
| 2025-10-25 05:52:04 +0200 | <Leary> | The issue is that GHC has to give conservative roles to things like `ReaderT r f a` since `a` is under an unknown `f`, and `X` inherits the bad role from it. |
| 2025-10-25 05:50:46 +0200 | <Leary> | No, even if you tried to declare a less restrictive role, GHC would reject it. |
| 2025-10-25 05:50:23 +0200 | <geekosaur> | xmonad's core predates them by something like a decade, which is why we don't declare any type roles and therefore ghc takes the safe default of "nominal" |
| 2025-10-25 05:49:48 +0200 | <geekosaur> | and I don't think type roles existed back then |
| 2025-10-25 05:49:27 +0200 | <mathstuf> | though i admit i was not mucking with typeclasses that much there |
| 2025-10-25 05:49:18 +0200 | <mathstuf> | oh i did lots more haskell years ago (i contributed X.H.DynamicBars and X.H.ToggleHooks) |
| 2025-10-25 05:47:57 +0200 | <geekosaur> | (one could in fact argue that type roles are a hack around Haskell's type system not being strong enough… but I don't think anyone gets this simultaneously right and practicably usable, except SML/NJ and OCaml in some situations) |
| 2025-10-25 05:46:48 +0200 | <geekosaur> | also, different FP languages have different solutions to the problem type roles solve here |
| 2025-10-25 05:46:30 +0200 | redgloboli | (~redglobol@user/redgloboli) redgloboli |
| 2025-10-25 05:46:28 +0200 | <geekosaur> | it does take some getting used to |
| 2025-10-25 05:44:51 +0200 | redgloboli | (~redglobol@user/redgloboli) (Quit: ...enter the matrix...) |
| 2025-10-25 05:31:20 +0200 | <mathstuf> | too much Rust :) |
| 2025-10-25 05:30:20 +0200 | <mathstuf> | ah |
| 2025-10-25 05:29:16 +0200 | <Leary> | mathstuf: Check the logs in the topic for a line you missed. |