Logs: liberachat/#haskell
| 2025-12-06 21:02:48 | <geekosaur> | one would think, sadly that's exactly where waymonad and the new attempt failed. I don't know why either but suspect I won't do any better if I try to pick up e.g. the work done by the folks on discourse (look for "wlroots" and "tinywl-hs") |
| 2025-12-06 21:04:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 21:05:00 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-06 21:05:13 | <davean> | I mean I looked at some of that code and I was lacking the context for why they went about it the way they did |
| 2025-12-06 21:05:16 | <davean> | it confused me |
| 2025-12-06 21:07:43 | <davean> | Their custom Setup.hs stuff, all the hand done stuff for straight bindings ... |
| 2025-12-06 21:07:57 | <davean> | I didn't even see places it would differ from the automation |
| 2025-12-06 21:08:00 | <davean> | so very confused |
| 2025-12-06 21:08:45 | <davean> | I didn't get deep enough into them to figure it out |
| 2025-12-06 21:09:38 | <davean> | I did see people worrying about pause times, but I didn't even see discussions of the pauseless GC or seperating out a rendering process from a control process or anything |
| 2025-12-06 21:09:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-06 21:10:20 | <davean> | like I'd probably go about running a pauseless-GC renderer with a standard control process and make the control process restartable but the renderer not. |
| 2025-12-06 21:10:45 | <davean> | It seemed like everyone got on the same page of how to go about those projects somewhere else that I couldn't find |
| 2025-12-06 21:10:59 | <davean> | and I was missing something huge reading the discussions about it |
| 2025-12-06 21:11:49 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 260 seconds) |
| 2025-12-06 21:13:40 | <davean> | One could also have a realtime thread for the renderer, but that wouldn't accomplish the restart portion, one could use something like hint for the config and update the datastructure for the renderer ... |
| 2025-12-06 21:13:47 | <davean> | but that wouldn't be as clean IMO |
| 2025-12-06 21:14:51 | <davean> | Lots of worry about a thing, but I never found the discussion of how they settled on that thing, etc |
| 2025-12-06 21:18:12 | <[exa]> | interesting |
| 2025-12-06 21:18:19 | <[exa]> | yushyin: thanks! |
| 2025-12-06 21:22:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 21:23:30 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-06 21:26:16 | <hololeap> | can someone help me understand this error? http://dpaste.com/F4ATVZPHF |
| 2025-12-06 21:26:24 | <hololeap> | source code: http://dpaste.com/69GNP6AQJ |
| 2025-12-06 21:26:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-06 21:27:12 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-06 21:27:57 | <int-e> | hololeap: my guess would be that http://dpaste.com/69GNP6AQJ |
| 2025-12-06 21:28:00 | <int-e> | sorry |
| 2025-12-06 21:28:02 | <hololeap> | I'm trying to make it so that it enforces that any MatchLogic defined in an instance of IsDepSet must be a Mond |
| 2025-12-06 21:28:09 | <hololeap> | *Monad |
| 2025-12-06 21:28:20 | <int-e> | ...that MatchLogic is a 3 argument type family and you can't have partially applied type families. |
| 2025-12-06 21:30:04 | <int-e> | or a type synonym, as the error says; the story is the same: you can't use them partially applied |
| 2025-12-06 21:30:41 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 256 seconds) |
| 2025-12-06 21:31:25 | <hololeap> | I read here that "type synonym family" is just a type family: https://gitlab.haskell.org/ghc/ghc/-/issues/23860 |
| 2025-12-06 21:31:54 | <hololeap> | is this just a limitation of GHC? something that could be implemented in the future? |
| 2025-12-06 21:35:23 | <hololeap> | if I change it to: |
| 2025-12-06 21:35:26 | <hololeap> | class (forall (m :: Maybe MatchMode). Ord (MatchLogic t m DepSpec)) |
| 2025-12-06 21:35:30 | <geekosaur> | I think there's a [proposal for it, but it is actually hard given how ghc works iirc |
| 2025-12-06 21:35:56 | <hololeap> | it's the same error, so it doesn't seem to only be due to partial application |
| 2025-12-06 21:36:19 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-06 21:37:03 | <hololeap> | http://dpaste.com/BJFDH62NW |
| 2025-12-06 21:37:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 21:38:13 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-06 21:42:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-06 21:42:46 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-06 21:43:21 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-06 21:44:13 | × | polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (Ping timeout: 244 seconds) |
| 2025-12-06 21:45:14 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-06 21:49:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 21:50:59 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-06 21:53:53 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-06 21:55:44 | <int-e> | Maybe not excactly a partial application, but how is the compiler supposed to check a constraint like (forall (m :: Maybe MatchMode). Monad (MatchLogic t m))? |
| 2025-12-06 21:56:58 | <int-e> | (I'm pretty sure that there's nothing in the type checker that would enumerate all possible values of the `Maybe MatchMode` type; you'll have to do that yourself.) |
| 2025-12-06 21:57:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 21:57:38 | <hololeap> | ok. that makes sense |
| 2025-12-06 22:08:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 22:13:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 22:14:18 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-06 22:14:31 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-06 22:17:11 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-06 22:23:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 22:29:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 22:35:21 | × | tabemann quits (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2025-12-06 22:38:43 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-06 22:39:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 22:39:54 | × | michalz quits (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2025-12-06 22:41:31 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-06 22:43:15 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-12-06 22:45:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 22:52:09 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2025-12-06 22:52:26 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-06 22:55:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 22:56:57 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-06 22:59:42 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-06 23:00:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 23:11:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 23:16:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-06 23:19:06 | trickard_ | is now known as trickard |
| 2025-12-06 23:20:51 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-06 23:23:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-06 23:26:25 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) (Ping timeout: 246 seconds) |
| 2025-12-06 23:27:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 23:31:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-06 23:32:04 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-06 23:35:54 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-06 23:41:52 | × | hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-12-06 23:42:57 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 2025-12-06 23:42:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 23:48:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 23:58:29 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-12-06 23:58:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 23:59:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-06 23:59:50 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-07 00:03:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-07 00:09:06 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-07 00:17:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 00:22:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-07 00:25:22 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-07 00:32:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-07 00:39:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
All times are in UTC.