Logs: liberachat/#haskell
| 2021-06-28 13:25:44 | <tomsmeding> | can I add an additional version constraint to a `stack build` invocation |
| 2021-06-28 13:25:45 | → | tam joins (~alpha@163.172.215.78) |
| 2021-06-28 13:26:11 | → | berberman joins (~berberman@user/berberman) |
| 2021-06-28 13:26:12 | <tomsmeding> | some dependency depends on a package X with a >= bound but I specifically want the solver to choose a very new version |
| 2021-06-28 13:26:27 | <tomsmeding> | don't need to override anything, just tighten some bounds |
| 2021-06-28 13:27:21 | → | azeem joins (~azeem@176.201.40.58) |
| 2021-06-28 13:29:16 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-06-28 13:29:29 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-28 13:29:54 | → | cheater joins (~Username@user/cheater) |
| 2021-06-28 13:34:14 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 265 seconds) |
| 2021-06-28 13:34:54 | × | azeem quits (~azeem@176.201.40.58) (Ping timeout: 272 seconds) |
| 2021-06-28 13:37:53 | → | azeem joins (~azeem@176.201.40.58) |
| 2021-06-28 13:38:06 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 265 seconds) |
| 2021-06-28 13:40:30 | <tomsmeding> | so what might complicate matters is that this package X is a build-tool, namely c2hs |
| 2021-06-28 13:40:53 | <tomsmeding> | can't I just tell stack "whenever you need c2hs for anything, take version 0.28.8" |
| 2021-06-28 13:41:07 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-28 13:41:07 | <dminuoso> | tomsmeding: Cant you just shadow it with packages? |
| 2021-06-28 13:41:30 | <dminuoso> | You cant just specify arbitrary constraints to pin a version from stackage, because stackage only has curated versions available in the first place. |
| 2021-06-28 13:42:25 | <tomsmeding> | dminuoso: I regularly successfully use arbitrary versions of packages with stack, on stackage and not, by adding an entry in extra-deps |
| 2021-06-28 13:42:36 | <dminuoso> | Mmm |
| 2021-06-28 13:42:39 | <tomsmeding> | I'll try shadowing it but I don't think that will work as it's only an indirect dependency |
| 2021-06-28 13:43:52 | <dminuoso> | See, with nix this is trivial! :D |
| 2021-06-28 13:44:03 | <tomsmeding> | nope the shadowing doesn't seem to work |
| 2021-06-28 13:44:12 | <tomsmeding> | and with cabal it's too :p |
| 2021-06-28 13:44:16 | <dminuoso> | tomsmeding: By indirect you mean a transitive dependency |
| 2021-06-28 13:44:19 | <dminuoso> | Right? |
| 2021-06-28 13:44:20 | <tomsmeding> | sorry, yes |
| 2021-06-28 13:44:30 | <tomsmeding> | my project P depends on A, and A uses c2hs as a build-tool |
| 2021-06-28 13:45:20 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection) |
| 2021-06-28 13:47:07 | <tomsmeding> | thing is, stack is an imposed choice on me :p |
| 2021-06-28 13:47:26 | <dminuoso> | Vendor the package then |
| 2021-06-28 13:47:47 | <tomsmeding> | and change its bound in the cabal file |
| 2021-06-28 13:48:39 | <tomsmeding> | so what I did is clone the package A locally, change its c2hs bound in its cabal file, added that in the 'packages' block in my own stack.yaml, and rebuilt; but it doesn't seem to work |
| 2021-06-28 13:49:02 | <tomsmeding> | though I haven't checked whether the issue is really that this vendoring doesn't help or that c2hs just has _another_ problem |
| 2021-06-28 13:49:24 | <tomsmeding> | (context: c2hs doesn't like gcc 11 https://github.com/haskell/c2hs/issues/268 ) |
| 2021-06-28 13:49:45 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-28 13:51:31 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-06-28 13:52:43 | <boxscape> | @pl (\a b c d e f -> Foo e a f b d c) <$> fieldE <*> fieldA <*> fieldF <*> fieldB <*> fieldD <*> fieldC |
| 2021-06-28 13:52:43 | <lambdabot> | ((flip . ((flip . (flip .)) .) . flip . (flip .)) .) . flip . (flip .) . flip Foo <$> fieldE <*> fieldA <*> fieldF <*> fieldB <*> fieldD <*> fieldC |
| 2021-06-28 13:52:44 | <boxscape> | merijn: what about https://github.com/ghc-proposals/ghc-proposals/pull/180 ? Or would that not qualify as "as we know it"? |
| 2021-06-28 13:52:45 | <boxscape> | it does solve the coordination problem though, getting people to use a new language is hard, getting people to use new features of the language they already use it much easier |
| 2021-06-28 13:53:20 | <tomsmeding> | aaargh and now the one package where the vendoring appeared to work earlier, stops working |
| 2021-06-28 13:53:33 | <tomsmeding> | boxscape: flippin' beautiful |
| 2021-06-28 13:54:45 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Reconnecting) |
| 2021-06-28 13:56:21 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-06-28 13:56:51 | × | ormaaj quits (~ormaaj@user/ormaaj) (Quit: Reconnecting) |
| 2021-06-28 13:57:01 | × | Guest33 quits (~textual@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-28 13:58:20 | × | mastarija quits (~mastarija@31.217.22.187) (Ping timeout: 272 seconds) |
| 2021-06-28 13:58:42 | → | warnz joins (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-28 14:00:30 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-28 14:02:25 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-06-28 14:05:11 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-06-28 14:07:07 | × | trcc quits (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-06-28 14:07:17 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-28 14:10:29 | → | mastarija joins (~mastarija@31.217.22.187) |
| 2021-06-28 14:11:24 | → | fendor_ joins (~fendor@77.119.197.237.wireless.dyn.drei.com) |
| 2021-06-28 14:12:02 | × | acidjnk quits (~acidjnk@p200300d0c72b954690af9c130fd8a450.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-06-28 14:13:44 | <tomsmeding> | apparently I can't even properly influence the cpp executable that c2hs is using, so even giving up and using the gcc-10 that I apparently also have installed requires making a new directory, symlinking cpp-10 there as cpp, and then putting that in PATH before running `stack build` |
| 2021-06-28 14:13:50 | tomsmeding | is annoyed |
| 2021-06-28 14:13:52 | → | ormaaj joins (~ormaaj@2001:470:69fc:105::35ca) |
| 2021-06-28 14:14:48 | × | fendor quits (~fendor@178.165.168.249.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2021-06-28 14:14:58 | × | berberman quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-28 14:15:27 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-28 14:15:28 | → | amk joins (~amk@176.61.106.150) |
| 2021-06-28 14:15:45 | → | berberman joins (~berberman@user/berberman) |
| 2021-06-28 14:16:27 | × | polux quits (~polux@51.15.169.172) (Quit: The Lounge - https://thelounge.github.io) |
| 2021-06-28 14:16:51 | → | polux joins (~polux@51.15.169.172) |
| 2021-06-28 14:19:45 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-28 14:19:48 | × | yahb quits (xsbot@user/mniip/bot/yahb) (Ping timeout: 258 seconds) |
| 2021-06-28 14:22:01 | × | azeem quits (~azeem@176.201.40.58) (Ping timeout: 268 seconds) |
| 2021-06-28 14:23:06 | → | azeem joins (~azeem@176.201.40.58) |
| 2021-06-28 14:25:11 | × | mniip quits (mniip@libera/staff/mniip) (Quit: This page is intentionally left blank.) |
| 2021-06-28 14:26:03 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-06-28 14:28:37 | → | ubert1 joins (~Thunderbi@p200300ecdf259d13e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-06-28 14:29:09 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-28 14:30:01 | × | sqrt2_ quits (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) (Quit: ZNC - http://znc.in) |
| 2021-06-28 14:30:12 | → | sqrt2 joins (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) |
| 2021-06-28 14:31:57 | → | Guest2530 joins (~Guest25@8.21.216.235) |
| 2021-06-28 14:32:20 | → | boxscape_ joins (~boxscape_@vpn-44-171.hq.eso.org) |
| 2021-06-28 14:33:07 | × | Guest2530 quits (~Guest25@8.21.216.235) (Client Quit) |
| 2021-06-28 14:34:40 | <boxscape_> | well, apparently the matrix bridge started sending the messages I sent hours ago around half an hour ago, hence my contextless messages previously :) |
| 2021-06-28 14:34:53 | <tomsmeding> | :D |
| 2021-06-28 14:38:47 | × | warnz quits (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection) |
| 2021-06-28 14:39:58 | × | azeem quits (~azeem@176.201.40.58) (Ping timeout: 265 seconds) |
| 2021-06-28 14:41:38 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-06-28 14:43:15 | → | azeem joins (~azeem@176.201.40.58) |
| 2021-06-28 14:43:19 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-06-28 14:43:20 | cheater1__ | is now known as cheater |
| 2021-06-28 14:43:33 | → | finsternis joins (~X@23.226.237.192) |
| 2021-06-28 14:43:42 | → | yahb joins (xsbot@user/mniip/bot/yahb) |
| 2021-06-28 14:43:45 | → | mniip joins (mniip@libera/staff/mniip) |
| 2021-06-28 14:43:56 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2021-06-28 14:43:56 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 272 seconds) |
| 2021-06-28 14:44:05 | → | nschoe joins (~quassel@2a04:cec0:1046:3438:9225:4581:e2d4:35d5) |
| 2021-06-28 14:44:51 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-28 14:45:36 | AlexNoo_ | is now known as AlexNoo |
| 2021-06-28 14:48:15 | × | chomwitt quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 268 seconds) |
| 2021-06-28 14:49:38 | → | sander joins (~sander@user/sander) |
| 2021-06-28 14:51:43 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-06-28 14:51:47 | × | hexfive quits (~eric@50.35.83.177) (Client Quit) |
All times are in UTC.