Logs: liberachat/#haskell
| 2021-07-10 20:32:33 | <davean> | cabal does more than nix does, you can restrict it. |
| 2021-07-10 20:32:47 | <davean> | At least you can get what you want |
| 2021-07-10 20:32:57 | <davean> | certainly doesn't make all solutions the minimum energy one |
| 2021-07-10 20:33:01 | <maerwald> | the flags system is a bit wobbly overall, but I haven't made up my mind what I think about it |
| 2021-07-10 20:33:48 | → | chris-the-slurpa joins (~chris@148.252.35.9) |
| 2021-07-10 20:33:55 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-10 20:35:39 | <maerwald> | if you go the nix/gentoo route, then you have two sets of flags: 1. global ones (needs global orchestration to ensure consistency) and 2. local ones (the maintainer only decides about the naming and semantics) |
| 2021-07-10 20:36:07 | <davean> | maerwald: why are you focused on flags? |
| 2021-07-10 20:36:22 | <maerwald> | you made me think about it and now I'm OCDing on it? |
| 2021-07-10 20:36:37 | <davean> | Ah, ok, because stuff I said isn't inherently related to flags |
| 2021-07-10 20:37:15 | × | chris-the-slurpa quits (~chris@148.252.35.9) (Remote host closed the connection) |
| 2021-07-10 20:37:25 | maerwald | takes his medicine |
| 2021-07-10 20:39:45 | <davean> | I mean with the right solver |
| 2021-07-10 20:40:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-10 20:40:42 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2021-07-10 20:40:55 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-07-10 20:41:04 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2021-07-10 20:41:46 | <sm> | agreed, automatic flag switching was a terrible idea |
| 2021-07-10 20:42:42 | <davean> | maerwald: (aes ^>= ... | aes-ni ^>= ...) would be a perfectly sensible example in another world, with no other changes. |
| 2021-07-10 20:44:48 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-07-10 20:46:19 | <maerwald> | davean: hm... || is ok, as long as it's not runtime switchable. But some package manager authors consider it bad regardless. |
| 2021-07-10 20:47:28 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 246 seconds) |
| 2021-07-10 20:47:46 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-10 20:48:16 | <maerwald> | I think, with ecosystems like hackage, there are slightly different concerns than with distros, where you can have review processes to ensure that certain features are not abused in a wrong way. So you want slightly less expressivity in Cabal, imo |
| 2021-07-10 20:48:33 | <davean> | maerwald: as long as they export the same modules, they're equivilent code wise, and yah, options. Theres ways to approach this problem |
| 2021-07-10 20:48:45 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-10 20:49:50 | <maerwald> | imagine they throw different exceptions :> |
| 2021-07-10 20:50:01 | <maerwald> | (which aren't part of PVP, haha) |
| 2021-07-10 20:50:03 | phma_ | is now known as phma |
| 2021-07-10 20:52:24 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds) |
| 2021-07-10 20:52:28 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-10 20:53:57 | × | ahdyt quits (~ahdyt@114.125.111.246) (Quit: Client closed) |
| 2021-07-10 20:54:24 | × | jonathanx quits (~jonathan@94.234.33.210) (Remote host closed the connection) |
| 2021-07-10 20:54:41 | → | jonathanx joins (~jonathan@c-5eea21d2-74736162.cust.telenor.se) |
| 2021-07-10 20:54:47 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-10 20:55:02 | → | chris-the-slurpa joins (~chris@148.252.35.9) |
| 2021-07-10 20:55:47 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-10 20:55:52 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 246 seconds) |
| 2021-07-10 20:58:42 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-10 20:59:38 | → | Danishman joins (~Allan@2-104-144-110-cable.dk.customer.tdc.net) |
| 2021-07-10 21:00:26 | × | shredder quits (~user@user/shredder) (Quit: quitting) |
| 2021-07-10 21:00:33 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-10 21:00:43 | o | is now known as niko |
| 2021-07-10 21:01:14 | × | jonathanx quits (~jonathan@c-5eea21d2-74736162.cust.telenor.se) (Ping timeout: 255 seconds) |
| 2021-07-10 21:01:54 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 268 seconds) |
| 2021-07-10 21:02:46 | → | shredder joins (~user@user/shredder) |
| 2021-07-10 21:06:16 | × | chris-the-slurpa quits (~chris@148.252.35.9) (Remote host closed the connection) |
| 2021-07-10 21:12:37 | × | n283 quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 2021-07-10 21:12:46 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-10 21:14:38 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) (Remote host closed the connection) |
| 2021-07-10 21:14:56 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-10 21:16:47 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-10 21:18:07 | → | warnz joins (~warnz@2600:1700:77c0:5610:21cb:e38c:dc6:ea0) |
| 2021-07-10 21:18:08 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-07-10 21:18:56 | → | acidjnk joins (~acidjnk@p200300d0c72b9504d9f09758b46acc0d.dip0.t-ipconnect.de) |
| 2021-07-10 21:19:14 | × | azeem quits (~azeem@176.201.11.118) (Ping timeout: 255 seconds) |
| 2021-07-10 21:19:30 | × | warnz quits (~warnz@2600:1700:77c0:5610:21cb:e38c:dc6:ea0) (Remote host closed the connection) |
| 2021-07-10 21:19:35 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-10 21:19:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-10 21:20:05 | → | azeem joins (~azeem@176.201.11.118) |
| 2021-07-10 21:20:36 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-10 21:22:56 | → | chris-the-slurpa joins (~chris@148.252.35.9) |
| 2021-07-10 21:26:00 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-10 21:26:36 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-10 21:30:03 | → | neightchan joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-10 21:31:54 | × | natechan quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-10 21:33:12 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-10 21:33:47 | × | chris-the-slurpa quits (~chris@148.252.35.9) (Remote host closed the connection) |
| 2021-07-10 21:34:33 | → | chris-the-slurpa joins (~chris@148.252.35.9) |
| 2021-07-10 21:34:37 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-07-10 21:38:24 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-10 21:43:52 | <adamse> | dexterfoo: you could hack it by pkg-config being an empty shell script, or download and patch the dependency and point to it with a cabal.project file |
| 2021-07-10 21:44:30 | <adamse> | (maybe :) ) |
| 2021-07-10 21:44:59 | × | chris-the-slurpa quits (~chris@148.252.35.9) (Remote host closed the connection) |
| 2021-07-10 21:45:20 | × | azeem quits (~azeem@176.201.11.118) (Ping timeout: 255 seconds) |
| 2021-07-10 21:45:58 | → | chris-the-slurpa joins (~chris@148.252.35.9) |
| 2021-07-10 21:47:33 | × | chomwitt quits (~Pitsikoko@2a02:587:dc04:e00:85d7:f442:7698:9c9a) (Remote host closed the connection) |
| 2021-07-10 21:47:50 | → | azeem joins (~azeem@176.201.11.118) |
| 2021-07-10 21:49:42 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-10 21:49:43 | × | chris-the-slurpa quits (~chris@148.252.35.9) (Remote host closed the connection) |
| 2021-07-10 21:50:00 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-07-10 21:50:17 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-10 21:50:38 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-10 21:51:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-10 21:51:53 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) |
| 2021-07-10 21:52:48 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-10 21:55:04 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-07-10 21:57:22 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-10 22:02:19 | → | smichel17 joins (~smichel17@2601:193:8300:38f:a169:3c71:689a:ba3e) |
| 2021-07-10 22:03:19 | → | shapr joins (~user@c-69-140-79-241.hsd1.md.comcast.net) |
| 2021-07-10 22:05:50 | <sclv> | dexterfoo: you can vendor the package (cabal unpack it) then depend on the local version via the .project file, and proceed to edit the cabal file of that local version |
| 2021-07-10 22:06:06 | <sclv> | its not the slickest solution, but it works |
| 2021-07-10 22:08:17 | → | chris-the-slurpa joins (~chris@148.252.35.9) |
| 2021-07-10 22:09:00 | × | fendor quits (~fendor@91.141.50.81.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-10 22:10:07 | × | chris-the-slurpa quits (~chris@148.252.35.9) (Remote host closed the connection) |
| 2021-07-10 22:10:23 | <dexterfoo> | thanks i will try these |
| 2021-07-10 22:16:28 | <qrpnxz> | I know how to cast my existential foldable back into a concrete type now! |
| 2021-07-10 22:18:38 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 255 seconds) |
| 2021-07-10 22:18:47 | × | azeem quits (~azeem@176.201.11.118) (Ping timeout: 265 seconds) |
| 2021-07-10 22:21:04 | → | azeem joins (~azeem@176.200.251.23) |
All times are in UTC.