Logs: freenode/#haskell
| 2021-03-01 15:35:00 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-01 15:35:40 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:2c10:d848:8f1f:38a4) (Remote host closed the connection) |
| 2021-03-01 15:36:09 | <shapr> | sm[m]: this is cool, I wonder how much of this works with cabal also? |
| 2021-03-01 15:36:18 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:dd18:3c82:fb8b:a1e5) |
| 2021-03-01 15:36:43 | <merijn> | shapr: cabal has shebang based script support |
| 2021-03-01 15:36:45 | <merijn> | has for a while |
| 2021-03-01 15:37:04 | × | mmfood quits (~mmfood@45.135.187.76) (Remote host closed the connection) |
| 2021-03-01 15:37:08 | → | o1lo01ol1o joins (~o1lo01ol1@95.69.78.182) |
| 2021-03-01 15:37:13 | <shapr> | ah ok, thanks |
| 2021-03-01 15:37:27 | → | mmfood joins (~mmfood@45.135.187.76) |
| 2021-03-01 15:37:28 | <merijn> | lemme see if I can find the docs |
| 2021-03-01 15:37:38 | → | mmfood_1 joins (~mmfood@45.135.187.76) |
| 2021-03-01 15:38:29 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-01 15:38:50 | × | mmfood quits (~mmfood@45.135.187.76) (Client Quit) |
| 2021-03-01 15:38:59 | × | mmfood_1 quits (~mmfood@45.135.187.76) (Client Quit) |
| 2021-03-01 15:39:04 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-01 15:39:17 | → | mmfood joins (~mmfood@45.135.187.76) |
| 2021-03-01 15:40:29 | × | mmfood quits (~mmfood@45.135.187.76) (Remote host closed the connection) |
| 2021-03-01 15:40:41 | <merijn> | bleh, looks like no one wrote docs for this yet |
| 2021-03-01 15:40:52 | → | mmfood joins (~mmfood@45.135.187.76) |
| 2021-03-01 15:41:22 | <merijn> | shapr: https://github.com/haskell/cabal/issues/3843 |
| 2021-03-01 15:43:10 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-01 15:43:29 | <sm[m]> | shapr, oh yes, let me add that |
| 2021-03-01 15:45:29 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 260 seconds) |
| 2021-03-01 15:47:19 | melkor | is now known as Guest41046 |
| 2021-03-01 15:48:14 | → | mayleesia joins (4d0d9efc@dynamic-077-013-158-252.77.13.pool.telefonica.de) |
| 2021-03-01 15:49:17 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-01 15:49:51 | <sm[m]> | https://cabal.readthedocs.io/en/3.4/cabal-commands.html#cabal-v2-run is the doc |
| 2021-03-01 15:56:06 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab) |
| 2021-03-01 15:56:10 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-01 15:56:35 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-01 15:58:05 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab) (Client Quit) |
| 2021-03-01 15:58:17 | × | Benzi-Junior quits (~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 272 seconds) |
| 2021-03-01 16:00:30 | → | poscat1 joins (~poscat@123.116.89.28) |
| 2021-03-01 16:01:37 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 276 seconds) |
| 2021-03-01 16:02:24 | × | poscat quits (~poscat@114.243.61.85) (Ping timeout: 260 seconds) |
| 2021-03-01 16:05:24 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-hyoxjevdyshrykda) |
| 2021-03-01 16:08:17 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1) |
| 2021-03-01 16:08:42 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-01 16:08:51 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:4c96:674d:b3c3:8428) |
| 2021-03-01 16:09:29 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 2021-03-01 16:10:45 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-01 16:12:11 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-03-01 16:13:34 | × | toorevitimirp quits (~tooreviti@117.182.182.60) (Remote host closed the connection) |
| 2021-03-01 16:13:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Ping timeout: 240 seconds) |
| 2021-03-01 16:14:45 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 16:15:46 | × | o1lo01ol1o quits (~o1lo01ol1@95.69.78.182) (Remote host closed the connection) |
| 2021-03-01 16:16:19 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-03-01 16:18:55 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 240 seconds) |
| 2021-03-01 16:21:16 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 2021-03-01 16:21:32 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-03-01 16:21:47 | × | sQVe quits (~sQVe@unaffiliated/sqve) (Quit: Bye!) |
| 2021-03-01 16:24:20 | <rednaZ[m]> | I need to understand why GHC allows coercion arguments to prevent memoization although they do not exist at run time. Does anybody know that of have any pointers? |
| 2021-03-01 16:24:53 | <merijn> | rednaZ[m]: #ghc ;) |
| 2021-03-01 16:25:30 | <sm[m]> | shapr, added: https://github.com/simonmichael/sm-haskell-tools/blob/master/script-cabal-run |
| 2021-03-01 16:25:51 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 2021-03-01 16:25:56 | <shapr> | thanks! |
| 2021-03-01 16:26:58 | <sm[m]> | I wonder what you'd need to patch to get #/usr/bin/env stack|cabal recognised as haskell files by everything |
| 2021-03-01 16:27:16 | <shapr> | I think it's amusing that you've confused github as to whether those files are shell scripts or Haskell source |
| 2021-03-01 16:27:29 | <merijn> | sm[m]: What do you mean? |
| 2021-03-01 16:28:07 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:4c96:674d:b3c3:8428) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-01 16:28:10 | <sm[m]> | merijn: when you open such haskell scripts in editors or view them on github eg, they are not highlighted as haskell |
| 2021-03-01 16:28:25 | <sm[m]> | #!/usr/bin/env ghc|runghc are |
| 2021-03-01 16:28:28 | <merijn> | sm[m]: Sadly, I suspect the answer is "tons of things" |
| 2021-03-01 16:28:39 | <merijn> | sm[m]: libmagic is probably a good starting point? |
| 2021-03-01 16:28:50 | <sm[m]> | that sounds good |
| 2021-03-01 16:29:05 | <ggVGc> | merijn: I just wish I could have this behaviour without needing a separate git repo for each project |
| 2021-03-01 16:29:19 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:a7e6:fd5e:5dd8:f140) (Ping timeout: 272 seconds) |
| 2021-03-01 16:29:35 | <merijn> | ggVGc: cabal-install is pretty good about being fast even using local directories |
| 2021-03-01 16:29:46 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-03-01 16:29:48 | <ggVGc> | also, my noop build definitely isn't sub 100ms :( |
| 2021-03-01 16:30:02 | <sm[m]> | correction: Emacs recognises #!/usr/bin/env runghc|runhaskell (not #!/usr/bin/env ghc) |
| 2021-03-01 16:30:04 | <ggVGc> | for the lib I depend on that is |
| 2021-03-01 16:30:18 | <merijn> | ggVGc: I just meant that a git repo *guarantees* no-ops with cabal-install |
| 2021-03-01 16:30:22 | <merijn> | ggVGc: With cabal? |
| 2021-03-01 16:30:56 | <ggVGc> | no, sorry, with stack. That's why I said I could be ready to move away from stack. But I haven't used cabal in years, since last time I was using cabal it was... problematic |
| 2021-03-01 16:31:00 | <merijn> | ggVGc: The sub 100ms remark was specifically to efforts hvr put into cabal-install, not stack |
| 2021-03-01 16:31:01 | <ggVGc> | but I hear a lot has changed |
| 2021-03-01 16:31:08 | <ggVGc> | yeah, I understand now |
| 2021-03-01 16:31:12 | <ggVGc> | I misread |
| 2021-03-01 16:31:35 | <merijn> | ggVGc: Depends what part you considered problematic |
| 2021-03-01 16:32:55 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-03-01 16:32:55 | × | esp32_prog quits (username@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 240 seconds) |
| 2021-03-01 16:33:25 | <sm[m]> | is -j not the default for cabal build ? |
| 2021-03-01 16:33:38 | <merijn> | ggVGc: I mean, a lot of the "cabal" issues I've seen here are "using super ancient packages and getting stuck with conflicting bounds", that part hasn't changed. |
| 2021-03-01 16:34:04 | <merijn> | ggVGc: On the other hand, the "I need to manually sandbox stuff because 3 projects have conflicting dependencies" hassle is entirely gone |
| 2021-03-01 16:34:10 | <merijn> | sm[m]: No |
| 2021-03-01 16:34:21 | <merijn> | sm[m]: Because -j is rather heavy |
| 2021-03-01 16:34:34 | <merijn> | So it can easily OOM tiny machines |
| 2021-03-01 16:34:52 | <sm[m]> | noted |
| 2021-03-01 16:35:29 | <merijn> | sm[m]: Basically, cabal only supports per package parallelism atm, so -j will spin up multiple package builds in parallel |
| 2021-03-01 16:35:49 | <sm[m]> | I confirm a no-op cabal build is indeed rather fast, ~.1s here. With stack it's ~.5s |
| 2021-03-01 16:36:10 | <merijn> | sm[m]: You can set a default setting for -j in ~/.cabal/config, though |
| 2021-03-01 16:36:17 | <sm[m]> | yes, stack build is parallel by default (so low memory folks would have to add -j1) |
| 2021-03-01 16:36:19 | <dcoutts> | (technically it's per-component rather than per-package) |
| 2021-03-01 16:36:44 | <merijn> | sm[m]: The goal was that you can (unconditionally) call "cabal build" in scripts/build systems without incurring significant overhead |
| 2021-03-01 16:38:09 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Quit: Leaving) |
| 2021-03-01 16:38:52 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-03-01 16:39:18 | → | mananamenos joins (~jtomas@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-01 16:39:23 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
All times are in UTC.