Newest at the top
| 2024-07-07 14:38:12 +0200 | <hololeap> | I want to use this structure to automatically say "--mode=reinstall-atoms is only supported by the Portage package manager" |
| 2024-07-07 14:37:27 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 264 seconds) |
| 2024-07-07 14:37:17 +0200 | <hololeap> | here's the ADT: https://bpa.st/FNXQ |
| 2024-07-07 14:36:17 +0200 | <hololeap> | so I need some way to determine that e.g. ReinstallAtomsMode is an decendant of Portage, but not of the other constructors of PkgManager |
| 2024-07-07 14:36:12 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-07-07 14:34:58 +0200 | <hololeap> | this is what the Rep looks like: https://bpa.st/DE3Q |
| 2024-07-07 14:33:58 +0200 | puke | (~puke@user/puke) |
| 2024-07-07 14:33:50 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-07-07 14:31:59 +0200 | <tomsmeding> | so yeah, KnownSymbol it is |
| 2024-07-07 14:31:50 +0200 | <tomsmeding> | ah there is even e.g. the Constructor class that asserts some stuff |
| 2024-07-07 14:30:29 +0200 | <tomsmeding> | (but I'm not sure I've tried that particular trick) |
| 2024-07-07 14:30:17 +0200 | <tomsmeding> | hololeap: if you want info that's in a type-level string (i.e. a Symbol), and you're doing the induction via type classes, I wouldn't be surprised if you can just assert KnownSymbol on those |
| 2024-07-07 14:28:42 +0200 | <hololeap> | tomsmeding: I took a look at Generics again last night, and it seems like it might actually be a good fit, although all the information I need seems to be at the type level and I'm not sure what the best way would be to bring it down to the value level |
| 2024-07-07 14:09:33 +0200 | qqe | (~qqq@92.43.167.61) |
| 2024-07-07 13:43:13 +0200 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) (Quit: hwpplayer1) |
| 2024-07-07 13:28:41 +0200 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) |
| 2024-07-07 13:24:20 +0200 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) (Read error: Connection reset by peer) |
| 2024-07-07 13:19:37 +0200 | mrmr155334346 | (~mrmr@user/mrmr) |
| 2024-07-07 13:17:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-07 13:13:03 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-07 13:11:18 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-07-07 13:07:14 +0200 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) |
| 2024-07-07 13:02:16 +0200 | mrmr155334346 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-07-07 12:58:40 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-07 12:46:02 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-07-07 12:45:58 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-07 12:37:23 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-07-07 12:37:07 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-07-07 12:34:10 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-07 12:33:00 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-07 12:14:28 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-07-07 12:13:51 +0200 | Guest74 | (~Guest74@2001:569:fae8:6c00:c5eb:bd43:343:ea44) (Client Quit) |
| 2024-07-07 12:12:04 +0200 | Guest74 | (~Guest74@2001:569:fae8:6c00:c5eb:bd43:343:ea44) |
| 2024-07-07 12:08:03 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-07-07 12:01:14 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-07 11:59:39 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-07-07 11:54:42 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 11:50:54 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-07 11:50:31 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-07-07 11:40:09 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 11:40:09 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-07 11:40:09 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-07 11:31:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-07 11:26:56 +0200 | lol__ | jcarpenter2 |
| 2024-07-07 11:18:18 +0200 | rosco | (~rosco@175.136.155.137) (Remote host closed the connection) |
| 2024-07-07 11:16:22 +0200 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) |
| 2024-07-07 11:16:14 +0200 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) (Remote host closed the connection) |
| 2024-07-07 11:13:19 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 272 seconds) |
| 2024-07-07 11:07:11 +0200 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) |
| 2024-07-07 11:04:53 +0200 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) (Ping timeout: 268 seconds) |