Logs: liberachat/#haskell
| 2025-12-16 11:40:11 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-16 11:40:49 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-16 11:40:56 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 2025-12-16 11:45:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-16 11:54:12 | → | bggd joins (~bgg@2a01:e0a:fd5:f510:fc9f:3e03:d92a:8f6) |
| 2025-12-16 11:54:13 | × | bggd quits (~bgg@2a01:e0a:fd5:f510:fc9f:3e03:d92a:8f6) (Changing host) |
| 2025-12-16 11:54:13 | → | bggd joins (~bgg@user/bggd) |
| 2025-12-16 11:56:38 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-16 12:00:43 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-16 12:01:10 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-16 12:07:45 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-16 12:08:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-16 12:15:41 | × | Googulator quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 12:15:48 | → | Googulator67 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 12:20:55 | × | lucabtz quits (~lucabtz@user/lucabtz) (Ping timeout: 240 seconds) |
| 2025-12-16 12:31:15 | → | latticepolytope joins (~user@user/isekaijin) |
| 2025-12-16 12:32:27 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 252 seconds) |
| 2025-12-16 12:32:35 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-12-16 12:33:38 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-16 12:34:07 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 240 seconds) |
| 2025-12-16 12:35:40 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-12-16 12:40:11 | × | Googulator67 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 12:40:29 | → | Googulator67 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 12:42:21 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-12-16 12:42:42 | <Leary> | [exa], dminuoso: Bit late to the party, but I wrote something vaguely amusing: https://gist.github.com/LSLeary/e108d7a7ee27e0a9e9bee27fe9247910 |
| 2025-12-16 12:45:24 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-16 12:45:32 | × | Googulator67 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 12:45:41 | → | Googulator67 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 12:48:00 | <[exa]> | Leary: that's wonderful |
| 2025-12-16 12:54:37 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-16 12:54:54 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-16 12:57:08 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-12-16 12:58:34 | <kuribas> | Can you use lazyness to determine if a graph has loops? |
| 2025-12-16 12:58:40 | <kuribas> | I guess no, because it will just loop? |
| 2025-12-16 12:59:39 | <kuribas> | For example, Map a [a] -> Map a (Maybe Int), where Nothing means ther is a loop, n means it has n parents. |
| 2025-12-16 13:02:01 | <kuribas> | I guess I just need to recurse, and consider visited nodes. |
| 2025-12-16 13:04:52 | × | merijn quits (~merijn@77.242.116.146) (Quit: reboot) |
| 2025-12-16 13:05:33 | × | Googulator67 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 13:05:51 | → | Googulator67 joins (~Googulato@87-97-86-146.pool.digikabel.hu) |
| 2025-12-16 13:15:12 | × | Googulator67 quits (~Googulato@87-97-86-146.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 13:15:35 | → | Googulator67 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 13:21:17 | → | myxokephale joins (~myxos@2001:579:8380:f20:f2c2:4b00:b76e:8530) |
| 2025-12-16 13:21:22 | <ski> | gentauro : yea (although not keywords) |
| 2025-12-16 13:23:31 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-16 13:23:46 | × | myxos quits (~myxos@2001:579:8380:f20:bd90:58c1:9ba1:835a) (Ping timeout: 246 seconds) |
| 2025-12-16 13:25:01 | → | Psy-Q joins (~psy-q@user/psy-q) |
| 2025-12-16 13:29:37 | <kuribas> | How can this work without constraints? reachable :: HashSet a -> HashMap a [a] -> HashSet a |
| 2025-12-16 13:29:59 | <kuribas> | Does GHC now infer constraints? |
| 2025-12-16 13:32:54 | <[exa]> | kuribas: which constraint would be missing there? I guess Hashable, but that might not be needed |
| 2025-12-16 13:33:06 | <[exa]> | (depending on what kind of hash table is used ofc) |
| 2025-12-16 13:33:14 | <kuribas> | [exa]: HashMap.lookupDefault needs it though? |
| 2025-12-16 13:33:23 | <kuribas> | unordered-containers |
| 2025-12-16 13:34:22 | <[exa]> | yeah I guess there it doesn't need the actual values, it just follows the hashes |
| 2025-12-16 13:34:39 | <[exa]> | use the source tho |
| 2025-12-16 13:35:09 | <kuribas> | https://hackage-content.haskell.org/package/unordered-containers-0.2.21/docs/src/Data.HashMap.Internal.html#lookupDefault |
| 2025-12-16 13:35:22 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |
| 2025-12-16 13:41:09 | <tomsmeding> | it's the source of reachable that is relevant here, not that of lookupDefault |
| 2025-12-16 13:41:30 | <kuribas> | tomsmeding: HashSet.fromList $ HashSet.toList nodes >>= (\n -> HashMap.lookupDefault [] n mapping) |
| 2025-12-16 13:42:42 | <tomsmeding> | it's even easier to think about the fromList |
| 2025-12-16 13:43:03 | <tomsmeding> | this should definitely incur a 'Hashable a' constraint |
| 2025-12-16 13:43:57 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-12-16 13:44:13 | <kuribas> | Yes, but it doesn't? |
| 2025-12-16 13:44:38 | <kuribas> | Or do you mean infer, by incur? |
| 2025-12-16 13:45:09 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 2025-12-16 13:45:43 | × | Googulator67 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 13:45:46 | → | Googulator54 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 13:52:32 | <[exa]> | kuribas: where did you get the `reachable` btw? |
| 2025-12-16 13:52:43 | <kuribas> | [exa]: I wrote it |
| 2025-12-16 13:53:25 | <kuribas> | Oh, there was another error somewhere else, which took precedence over the instance check apparently... |
| 2025-12-16 13:53:40 | <[exa]> | yeah I was wondering |
| 2025-12-16 13:55:56 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-16 14:01:02 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-16 14:01:27 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-16 14:04:05 | → | cubic_jpg joins (~cubic_jpg@user/cubic-jpg:13603) |
| 2025-12-16 14:06:24 | <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 14:06:43 | <tomsmeding> | or equivalently when using -fdefer-type-errors, because HLS passes that to GHC |
| 2025-12-16 14:06:52 | <tomsmeding> | when not using that flag, the order is a bit more compressed, but there's still an ordering |
| 2025-12-16 14:08:04 | <kuribas> | right |
| 2025-12-16 14:09:08 | <tomsmeding> | see the "side note" here in the issue description https://gitlab.haskell.org/ghc/ghc/-/issues/26016 |
| 2025-12-16 14:09:11 | <tomsmeding> | I've complained about it before :p |
| 2025-12-16 14:13:19 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-12-16 14:16:01 | × | cubic_jpg quits (~cubic_jpg@user/cubic-jpg:13603) (Quit: Client closed) |
| 2025-12-16 14:16:30 | → | cubic_jpg joins (~cubic_jpg@user/cubic-jpg:13603) |
| 2025-12-16 14:17:50 | → | Enrico63 joins (~Enrico63@host-95-251-99-143.retail.telecomitalia.it) |
| 2025-12-16 14:21:31 | <kuribas> | Also, for some reason lsp gives me the internal documentation, where there is no docstring... |
| 2025-12-16 14:27:54 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2025-12-16 14:29:40 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-16 14:34:56 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-16 14:37:43 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-16 14:44:10 | → | spew joins (~spew@user/spew) |
| 2025-12-16 14:49:51 | → | fp joins (~Thunderbi@130.233.70.102) |
| 2025-12-16 14:53:10 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-16 14:54:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-16 14:55:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |
| 2025-12-16 14:56:39 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Client Quit) |
| 2025-12-16 14:56:54 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-16 14:57:25 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-16 14:59:27 | → | spew joins (~spew@user/spew) |
| 2025-12-16 15:01:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |
| 2025-12-16 15:03:16 | → | Square2 joins (~Square@user/square) |
All times are in UTC.