Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 54 55 56 57 58 59 60 61 62 63 64 .. 5022
— 502,152 events total
2020-09-18 19:24:50 <tomsmeding> sm[m]: you were correct of course
2020-09-18 19:24:56 <tomsmeding> it does option splitting!
2020-09-18 19:25:04 <tomsmeding> $ stack build --RTS --ghc-options='+RTS -s -RTS'
2020-09-18 19:25:05 <tomsmeding> et voila
2020-09-18 19:25:28 hackage snap-loader-dynamic 1.0.0.2 - Snap dynamic loader https://hackage.haskell.org/package/snap-loader-dynamic-1.0.0.2 (GregoryCollins)
2020-09-18 19:25:29 <tomsmeding> so it's impossible to pass an option containing a space to GHC via --ghc-options
2020-09-18 19:25:46 geekosaur wonders if backslash would work. or the other quote
2020-09-18 19:26:08 <sm[m]> I never use --RTS.. why's it needed again ?
2020-09-18 19:26:11 <geekosaur> that said, an option containing a space is to say the least user-hostile
2020-09-18 19:26:22 <tomsmeding> sm[m]: because it isn't
2020-09-18 19:26:28 <tomsmeding> and I accidentally left it in
2020-09-18 19:26:28 hackage snap 1.1.3.1, snap-loader-static 1.0.0.1 (GregoryCollins): https://qbin.io/ambien-world-4ruv
2020-09-18 19:26:33 <tomsmeding> good catch
2020-09-18 19:26:34 <geekosaur> to keep stack's own RTS from eating the RTS flags. but in this case that shouldn't be possible any more
2020-09-18 19:26:39 <tomsmeding> indeed
2020-09-18 19:27:11 <tomsmeding> oh well, next time
2020-09-18 19:27:35 <tomsmeding> I guess I was assuming too much regularity in stack's option parsing
2020-09-18 19:28:17 <geekosaur> or overthinking things
2020-09-18 19:28:25 <tomsmeding> that it would correctly remember the type of whatever string it was handling, whether it is shell syntax (thus spaces separating options) or a single option (thus spaces going into the command-line argument)
2020-09-18 19:28:25 <tomsmeding> :p
2020-09-18 19:28:43 <tomsmeding> geekosaur: that's my forté
2020-09-18 19:29:08 <sm[m]> overthinking is kind of unavoidable when trying to pass tricky flags down through several layers of not necessarily cooperating tools :)
2020-09-18 19:29:17 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-09-18 19:29:54 × dmwit quits (~dmwit@pool-108-28-114-53.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-09-18 19:30:39 <sm[m]> I've been trying to decipher the stack build -v output. I see it runs Cabal-simple_mPHDZzAJ_3.2.0.0_ghc-8.10.2 configure, then Cabal-simple_mPHDZzAJ_3.2.0.0_ghc-8.10.2 build, and it's the configure command that gets the --ghc-options we specified, right tomsmeding
2020-09-18 19:30:42 × Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-18 19:31:20 → gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-18 19:31:43 <sm[m]> so eg just now I got essentially: Cabal configure --ghc-options\
2020-09-18 19:31:43 <sm[m]> "-fforce-recomp +RTS -M500m -RTS"; Cabal build --ghc-options ""
2020-09-18 19:32:23 <sm[m]> I haven't used cabal configure for so long, but hopefully that does the right thing
2020-09-18 19:32:50 <sm[m]> well actually I don't see how it would
2020-09-18 19:34:04 <tomsmeding> :D
2020-09-18 19:34:15 <sm[m]> no, I do see. cabal configure has --PROG-options=OPTS. If I add a deeper level of verbosity I guess I'd see the ghc command
2020-09-18 19:35:07 → dmwit joins (~dmwit@pool-108-18-228-100.washdc.fios.verizon.net)
2020-09-18 19:36:19 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-18 19:36:24 <sm[m]> yes this is more useful than -v: stack build --ghc-options='+RTS -M500m -RTS' --cabal-verbose
2020-09-18 19:36:58 <tomsmeding> the actual ghc invocation also gets the flags
2020-09-18 19:37:24 <tomsmeding> it invokes ghc about a bazillion times, by the way
2020-09-18 19:38:18 <sm[m]> my ghc invocation is like: .../ghc --make -no-link ... '+RTS' -M500m -RTS -fhide-source-paths
2020-09-18 19:38:31 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-18 19:38:39 <tomsmeding> same here
2020-09-18 19:38:45 <tomsmeding> does indeed look it's working
2020-09-18 19:39:09 <sm[m]> now, I've found that -M is more of a suggestion than a hard limit, but I think it can help
2020-09-18 19:39:51 <tomsmeding> I think I'm going to delay testing that until I have to build aeson again
2020-09-18 19:40:04 <tomsmeding> at least now I know how to actually properly get arguments to ghc :)
2020-09-18 19:40:47 → mpereira joins (~mpereira@2a02:810d:f40:d96:d572:7a06:140c:5191)
2020-09-18 19:41:34 <geekosaur> write it down so you don't forget by then :)
2020-09-18 19:41:36 → heatsink joins (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece)
2020-09-18 19:43:12 <tomsmeding> good idea
2020-09-18 19:44:33 → kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-18 19:46:07 × geekosaur quits (42d52102@66.213.33.2) (Remote host closed the connection)
2020-09-18 19:46:18 → iqubic joins (~user@2601:602:9500:4870:6535:a332:ea7c:b00f)
2020-09-18 19:46:25 × mpereira quits (~mpereira@2a02:810d:f40:d96:d572:7a06:140c:5191) (Ping timeout: 272 seconds)
2020-09-18 19:46:31 <beka> anyone have experience using the indent parser tools of megaparsec?
2020-09-18 19:46:32 × heatsink quits (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece) (Ping timeout: 260 seconds)
2020-09-18 19:47:57 → geekosaur joins (42d52102@66.213.33.2)
2020-09-18 19:48:34 → mpereira joins (~mpereira@2a02:810d:f40:d96:d572:7a06:140c:5191)
2020-09-18 19:49:25 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 240 seconds)
2020-09-18 19:49:31 → bahamas joins (~lucian@188.24.181.166)
2020-09-18 19:49:32 × bahamas quits (~lucian@188.24.181.166) (Changing host)
2020-09-18 19:49:32 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-18 19:51:49 → heatsink joins (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece)
2020-09-18 19:52:05 → fendor joins (~fendor@212095005091.public.telering.at)
2020-09-18 19:52:13 → gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-18 19:52:52 × Eduard_Munteanu quits (~Eduard_Mu@188.26.249.48) (Ping timeout: 272 seconds)
2020-09-18 19:53:12 × mpereira quits (~mpereira@2a02:810d:f40:d96:d572:7a06:140c:5191) (Ping timeout: 260 seconds)
2020-09-18 19:54:59 ← bob parts (~bob@unaffiliated/bob) ("Leaving")
2020-09-18 19:55:27 × ransom quits (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-18 19:56:02 × supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 272 seconds)
2020-09-18 19:57:18 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-18 20:01:08 → jneira_ joins (~jneira@38.red-193-152-116.dynamicip.rima-tde.net)
2020-09-18 20:02:08 → Faker joins (bad2e42c@186.210.228.44)
2020-09-18 20:02:08 × jneira_ quits (~jneira@38.red-193-152-116.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-09-18 20:02:49 → jneira_ joins (~jneira@80.30.101.206)
2020-09-18 20:02:58 <dsal> I have used it. It wasn't my favorite experience, but I made it work.
2020-09-18 20:03:26 → knupfer joins (~Thunderbi@200116b8246ab400652fd076ac0223ae.dip.versatel-1u1.de)
2020-09-18 20:04:09 → Eduard_Munteanu joins (~Eduard_Mu@5-12-253-224.residential.rdsnet.ro)
2020-09-18 20:04:54 × jneira[m] quits (~jneira@80.30.101.206) (Ping timeout: 258 seconds)
2020-09-18 20:08:01 × geekosaur quits (42d52102@66.213.33.2) (Remote host closed the connection)
2020-09-18 20:09:40 × heatsink quits (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece) (Remote host closed the connection)
2020-09-18 20:09:41 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds)
2020-09-18 20:11:53 × ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 260 seconds)
2020-09-18 20:12:17 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-09-18 20:13:02 → gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-18 20:13:36 → juuandyy joins (~juuandyy@90.166.144.65)
2020-09-18 20:14:02 × jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 246 seconds)
2020-09-18 20:15:07 → jneira_ joins (~jneira@80.30.101.206)
2020-09-18 20:15:47 → dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e)
2020-09-18 20:16:31 → mariatsji joins (~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-18 20:16:36 → gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-18 20:17:25 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-09-18 20:18:12 × revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2020-09-18 20:20:48 × kish` quits (~oracle@unaffiliated/oracle) (Quit: Leaving)
2020-09-18 20:21:15 × mariatsji quits (~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Ping timeout: 272 seconds)
2020-09-18 20:22:08 → kish` joins (~oracle@192.71.198.128)
2020-09-18 20:22:21 → zebrag joins (~inkbottle@aaubervilliers-654-1-99-38.w86-212.abo.wanadoo.fr)
2020-09-18 20:22:39 × kish` quits (~oracle@192.71.198.128) (Client Quit)
2020-09-18 20:23:00 → kish` joins (~oracle@unaffiliated/oracle)
2020-09-18 20:23:34 × inkbottle quits (~inkbottle@aaubervilliers-654-1-94-225.w86-212.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-09-18 20:25:26 × knupfer quits (~Thunderbi@200116b8246ab400652fd076ac0223ae.dip.versatel-1u1.de) (Quit: knupfer)
←Prev  Next→
Page 1 .. 54 55 56 57 58 59 60 61 62 63 64 .. 5022

All times are in UTC.