Newest at the top
| 2025-12-16 16:06:43 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-16 16:06:27 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-16 16:03:16 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-16 16:01:38 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |
| 2025-12-16 15:59:27 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-16 15:57:25 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-16 15:56:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-16 15:56:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Client Quit) |
| 2025-12-16 15:55:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |
| 2025-12-16 15:54:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-16 15:53:10 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-16 15:49:51 +0100 | fp | (~Thunderbi@130.233.70.102) fp |
| 2025-12-16 15:44:10 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-16 15:37:43 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-16 15:34:56 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-16 15:29:40 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-16 15:27:54 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-16 15:21:31 +0100 | <kuribas> | Also, for some reason lsp gives me the internal documentation, where there is no docstring... |
| 2025-12-16 15:17:50 +0100 | Enrico63 | (~Enrico63@host-95-251-99-143.retail.telecomitalia.it) Enrico63 |
| 2025-12-16 15:16:30 +0100 | cubic_jpg | (~cubic_jpg@user/cubic-jpg:13603) cubic_jpg |
| 2025-12-16 15:16:01 +0100 | cubic_jpg | (~cubic_jpg@user/cubic-jpg:13603) (Quit: Client closed) |
| 2025-12-16 15:13:19 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-12-16 15:09:11 +0100 | <tomsmeding> | I've complained about it before :p |
| 2025-12-16 15:09:08 +0100 | <tomsmeding> | see the "side note" here in the issue description https://gitlab.haskell.org/ghc/ghc/-/issues/26016 |
| 2025-12-16 15:08:04 +0100 | <kuribas> | right |
| 2025-12-16 15:06:52 +0100 | <tomsmeding> | when not using that flag, the order is a bit more compressed, but there's still an ordering |
| 2025-12-16 15:06:43 +0100 | <tomsmeding> | or equivalently when using -fdefer-type-errors, because HLS passes that to GHC |
| 2025-12-16 15:06:24 +0100 | <tomsmeding> | kuribas: if you're using HLS, then parse error > name resolution errors in patterns > kind errors > type errors > constraint errors, iirc |
| 2025-12-16 15:04:05 +0100 | cubic_jpg | (~cubic_jpg@user/cubic-jpg:13603) cubic_jpg |
| 2025-12-16 15:01:27 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-16 15:01:02 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-16 14:55:56 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-16 14:53:40 +0100 | <[exa]> | yeah I was wondering |
| 2025-12-16 14:53:25 +0100 | <kuribas> | Oh, there was another error somewhere else, which took precedence over the instance check apparently... |
| 2025-12-16 14:52:43 +0100 | <kuribas> | [exa]: I wrote it |
| 2025-12-16 14:52:32 +0100 | <[exa]> | kuribas: where did you get the `reachable` btw? |
| 2025-12-16 14:45:46 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 14:45:43 +0100 | Googulator67 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 14:45:09 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2025-12-16 14:44:38 +0100 | <kuribas> | Or do you mean infer, by incur? |
| 2025-12-16 14:44:13 +0100 | <kuribas> | Yes, but it doesn't? |
| 2025-12-16 14:43:57 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-16 14:43:03 +0100 | <tomsmeding> | this should definitely incur a 'Hashable a' constraint |
| 2025-12-16 14:42:42 +0100 | <tomsmeding> | it's even easier to think about the fromList |
| 2025-12-16 14:41:30 +0100 | <kuribas> | tomsmeding: HashSet.fromList $ HashSet.toList nodes >>= (\n -> HashMap.lookupDefault [] n mapping) |
| 2025-12-16 14:41:09 +0100 | <tomsmeding> | it's the source of reachable that is relevant here, not that of lookupDefault |
| 2025-12-16 14:35:22 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |
| 2025-12-16 14:35:09 +0100 | <kuribas> | https://hackage-content.haskell.org/package/unordered-containers-0.2.21/docs/src/Data.HashMap.Inte… |
| 2025-12-16 14:34:39 +0100 | <[exa]> | use the source tho |
| 2025-12-16 14:34:22 +0100 | <[exa]> | yeah I guess there it doesn't need the actual values, it just follows the hashes |