Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-11 10:40:01 <bqv> Thats the only viable route for a haskell shell at this point
2020-11-11 10:40:20 <bqv> And since he has a shell.nix I assume its that
2020-11-11 10:40:21 <dminuoso> Dunno, Im quite happy with `nix-shell -p cabal-install haskell-language-server`
2020-11-11 10:40:31 <dminuoso> No, they are using this ^-
2020-11-11 10:40:34 <dminuoso> As am I
2020-11-11 10:40:36 <bqv> Oh, ok
2020-11-11 10:40:49 <dminuoso> (well I have a slightly more elaborate shell.nix)
2020-11-11 10:41:55 Sanchayan joins (~Sanchayan@122.181.216.76)
2020-11-11 10:42:00 <bqv> I only keep using nix because it's way easier to maintain modified dependency packages via nix, than via cabal, tbh
2020-11-11 10:42:25 <bqv> But that means installing in a v1-sandbox
2020-11-11 10:42:32 <dminuoso> v1?
2020-11-11 10:42:38 <bqv> Need sandbox
2020-11-11 10:42:38 <dminuoso> nix does not use cabal-install
2020-11-11 10:43:12 <dminuoso> in fact, sandboxes are long gone I think?
2020-11-11 10:43:24 <bqv> shellFor, install in v1-sandbox to pin deps to nix version, then v1-build outside nix continues to use them
2020-11-11 10:43:29 <dminuoso> ah
2020-11-11 10:43:30 hackage update-nix-fetchgit 0.2.4 - A program to update fetchgit values in Nix expressions https://hackage.haskell.org/package/update-nix-fetchgit-0.2.4 (jophish)
2020-11-11 10:43:34 <dminuoso> I see
2020-11-11 10:44:37 <bqv> Might be able to achieve the same with a freezefile or something, idk
2020-11-11 10:44:47 <bqv> Sandbox was just easier
2020-11-11 10:45:57 Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus)
2020-11-11 10:46:13 <dminuoso> well, why sandbox at all?
2020-11-11 10:46:28 <dminuoso> I mean shellFor *does* effectively give you a sandbox
2020-11-11 10:46:47 <dminuoso> Id have to look at the implementation, but Id assume it just registers the nix versions with ghc-pkg
2020-11-11 10:46:53 <dminuoso> Such that you can just say `ghci`
2020-11-11 10:47:08 <bqv> oh, there was a reason…
2020-11-11 10:47:08 <dminuoso> Potentially even `cabal v2-repl` or `cabal v2-build
2020-11-11 10:47:39 <bqv> I can't remember now, but there was something that didn't work with that
2020-11-11 10:47:45 <bqv> Oh!
2020-11-11 10:47:51 <bqv> It was the libraries
2020-11-11 10:47:56 <bqv> Native libs
2020-11-11 10:48:01 <bqv> Something was funky
2020-11-11 10:48:10 alp joins (~alp@88.126.45.36)
2020-11-11 10:48:36 da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-69-111.revip7.asianet.co.th)
2020-11-11 10:48:53 <bqv> Or was it cpphs
2020-11-11 10:49:03 <bqv> Cpphs wasn't finding anything
2020-11-11 10:49:32 <bqv> I dunno. In the end, taking nix at least partially out the picture made it all simpler
2020-11-11 10:50:04 cosimone joins (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad)
2020-11-11 10:52:27 <asheshambasta> dminuoso: yeah, this kind of makes sense, and I've been lazy with version constraints.
2020-11-11 10:57:00 <dminuoso> Perhaps, cabal should receive commands to manage dependencies. That way, you could say `cabal add-depends-on=foo some-component`, and if no constraints are supplied, cabal could just pin it on whatever fits in the build plan.
2020-11-11 10:57:44 <dminuoso> this style of "add dependencies now and constraints later" always backfires
2020-11-11 10:57:46 <dminuoso> :p
2020-11-11 11:00:49 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-11 11:02:27 acidjnk_new2 joins (~acidjnk@p200300d0c718f66040b6c323483b2aff.dip0.t-ipconnect.de)
2020-11-11 11:02:45 hekkaidekapus_ is now known as hekkaidekapus
2020-11-11 11:05:42 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-11 11:05:58 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-69-111.revip7.asianet.co.th) (Ping timeout: 260 seconds)
2020-11-11 11:07:07 × alp quits (~alp@88.126.45.36) (Ping timeout: 272 seconds)
2020-11-11 11:07:23 p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-11 11:09:01 × `slikts quits (~nelabs@wikipedia/reinis) (Ping timeout: 272 seconds)
2020-11-11 11:10:43 DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-11-11 11:11:17 <asheshambasta> dminuoso: yeah, and its something I still struggle with. A large part of it is also just being lazy.
2020-11-11 11:11:34 <asheshambasta> I have to get around to doing it more.
2020-11-11 11:12:10 `slikts joins (~nelabs@2a00:d880:5:395::37ca)
2020-11-11 11:12:10 × `slikts quits (~nelabs@2a00:d880:5:395::37ca) (Changing host)
2020-11-11 11:12:10 `slikts joins (~nelabs@wikipedia/reinis)
2020-11-11 11:13:28 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2020-11-11 11:14:01 jpds joins (~jpds@gateway/tor-sasl/jpds)
2020-11-11 11:18:07 Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-11-11 11:19:44 alp joins (~alp@2a01:e0a:58b:4920:97f:2fae:e002:3954)
2020-11-11 11:22:21 × rprije quits (~rprije@124.148.131.132) (Ping timeout: 258 seconds)
2020-11-11 11:24:11 Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-11 11:25:13 × adm quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-11 11:26:18 raichoo joins (~raichoo@dslb-092-073-194-199.092.073.pools.vodafone-ip.de)
2020-11-11 11:28:10 adm joins (~adm@43.229.89.44)
2020-11-11 11:28:28 <maerwald> PVP and semver only work with good tooling and CI
2020-11-11 11:28:58 <maerwald> e.g. https://dependabot.com/rust/
2020-11-11 11:29:46 <merijn> I just set the bound to ^>= the latest release whenever I add a dependency
2020-11-11 11:30:38 <merijn> maerwald: https://github.com/haskell-CI/hackage-matrix-builder/issues/72 https://github.com/haskell-CI/hackage-matrix-builder/issues/77
2020-11-11 11:31:04 <merijn> The matrix builder is already pretty good, but it needs better notification tooling
2020-11-11 11:31:19 × troydm quits (~troydm@unaffiliated/troydm) (Ping timeout: 246 seconds)
2020-11-11 11:31:19 <maerwald> dependabot does a bit more
2020-11-11 11:31:57 <maerwald> generally, dependency bounds are unmaintained, except for popular packages like aeson
2020-11-11 11:32:16 <merijn> dependabot probably also has more engineering manpower :p
2020-11-11 11:33:45 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-11-11 11:34:08 cosimone_ joins (~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-11-11 11:36:33 × borne quits (~fritjof@200116b864a6090021c47849b07375d7.dip.versatel-1u1.de) (Quit: WeeChat 2.9)
2020-11-11 11:37:35 × solonarv quits (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-11-11 11:38:09 × cosimone quits (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) (Ping timeout: 268 seconds)
2020-11-11 11:38:10 cosimone_ is now known as cosimone
2020-11-11 11:38:50 borne joins (~fritjof@200116b864a609004fbf5cd6c83663b1.dip.versatel-1u1.de)
2020-11-11 11:39:13 solonarv joins (~solonarv@astrasbourg-653-1-156-155.w90-6.abo.wanadoo.fr)
2020-11-11 11:39:44 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds)
2020-11-11 11:40:10 berberman joins (~berberman@unaffiliated/berberman)
2020-11-11 11:41:27 <maerwald> merijn: do you know if the cabal file format has a formal grammar?
2020-11-11 11:41:55 <merijn> maerwald: https://cabal.readthedocs.io/en/latest/buildinfo-fields-reference.html ?
2020-11-11 11:42:17 <merijn> So, "mostly"
2020-11-11 11:42:27 christo joins (~chris@81.96.113.213)
2020-11-11 11:43:06 × Sanchayan quits (~Sanchayan@122.181.216.76) (Quit: leaving)
2020-11-11 11:43:17 × asheshambasta quits (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 260 seconds)
2020-11-11 11:43:27 × cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone)
2020-11-11 11:45:18 <maerwald> https://github.com/dependabot/dependabot-core/issues/2745
2020-11-11 11:49:22 avdb joins (~avdb@ip-83-134-202-84.dsl.scarlet.be)
2020-11-11 11:50:10 ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-11 11:53:15 Deide joins (~Deide@217.155.19.23)
2020-11-11 11:54:02 troydm joins (~troydm@unaffiliated/troydm)
2020-11-11 11:55:09 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-11 11:56:35 jedws joins (~jedws@101.184.175.183)
2020-11-11 11:58:49 kyprizel joins (~kyprizel@195.206.169.184)
2020-11-11 11:59:07 × kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 268 seconds)

All times are in UTC.