Newest at the top
| 2025-02-12 21:49:01 +0100 | <merijn> | tomsmeding: I don't see how that's an issue, tbh |
| 2025-02-12 21:48:28 +0100 | <euouae> | tomsmeding: or just ; rm -rf |
| 2025-02-12 21:48:27 +0100 | <merijn> | tomsmeding: who knows |
| 2025-02-12 21:48:12 +0100 | <tomsmeding> | what if I put $() in --ghc-options |
| 2025-02-12 21:48:07 +0100 | <merijn> | tomsmeding: I'm 80% sure of that |
| 2025-02-12 21:48:04 +0100 | <tomsmeding> | does it do proper quoting when I pass --ghc-option with an OPT containing weird stuff |
| 2025-02-12 21:47:50 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-12 21:47:49 +0100 | <euouae> | merijn: okay, then it should say OPTS passed as-is |
| 2025-02-12 21:47:47 +0100 | <tomsmeding> | merijn: O.o |
| 2025-02-12 21:47:42 +0100 | <merijn> | euouae: it's a shell process call |
| 2025-02-12 21:47:32 +0100 | <tomsmeding> | euouae: break them |
| 2025-02-12 21:47:30 +0100 | <merijn> | euouae: There is not space splitting |
| 2025-02-12 21:47:25 +0100 | <merijn> | euouae: I meant that if you write --ghc-options="foo bar baz" it literally just appends foo bar baz to the ghc call |
| 2025-02-12 21:47:22 +0100 | <euouae> | and who knows how the space-splitting works with arguments that contain spaces |
| 2025-02-12 21:46:58 +0100 | <euouae> | instead of how they currently explain it |
| 2025-02-12 21:46:49 +0100 | <euouae> | merijn: what do you mean? I'm just saying what I would prefer the docs would say |
| 2025-02-12 21:46:47 +0100 | <tomsmeding> | merijn: yes, that's what --ghc-option (singular) does |
| 2025-02-12 21:46:33 +0100 | <euouae> | and --PROG-options=OPTS space-separated arguments |
| 2025-02-12 21:46:32 +0100 | <merijn> | euouae: then you'd have to have one flag per argument |
| 2025-02-12 21:46:14 +0100 | <euouae> | I would prefer: OPT is passed as-is as a single argument |
| 2025-02-12 21:46:08 +0100 | <tomsmeding> | because you get magic space splitting |
| 2025-02-12 21:46:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-12 21:46:03 +0100 | <tomsmeding> | --*-options is convenience for a user, tooling should never use it |
| 2025-02-12 21:46:01 +0100 | <merijn> | euouae: it's saying that "argument of ghc-options is passed "as-is" to ghc |
| 2025-02-12 21:45:50 +0100 | <euouae> | Right I'm just pointing out one more place where some improvement on the wording would help |
| 2025-02-12 21:45:35 +0100 | <tomsmeding> | I think that's accurate |
| 2025-02-12 21:45:29 +0100 | <euouae> | But in --ghc-options, spaces mean multiple arguments. It's *very* unclear |
| 2025-02-12 21:45:26 +0100 | <tomsmeding> | yes |
| 2025-02-12 21:45:18 +0100 | <euouae> | I had no idea what "no need to quote options containing spaces" meant. I think it means it's all passed as one option in --ghc-option. |
| 2025-02-12 21:45:14 +0100 | <tomsmeding> | that presumably covers --ghc-option |
| 2025-02-12 21:44:51 +0100 | <euouae> | --PROG-option=OPT give an extra option to PROG (no need to quote options containing spaces) --PROG-options=OPTS give extra options to PROG |
| 2025-02-12 21:44:43 +0100 | <euouae> | also here's what I get from --help: |
| 2025-02-12 21:44:12 +0100 | <merijn> | tomsmeding: Probably should |
| 2025-02-12 21:44:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-02-12 21:43:53 +0100 | <euouae> | lol |
| 2025-02-12 21:43:46 +0100 | <merijn> | euouae: Me approximately 7 years ago :p |
| 2025-02-12 21:43:28 +0100 | <merijn> | so, space separated |
| 2025-02-12 21:43:18 +0100 | <merijn> | but at a glance it's calling setup with the contents of replFlags passed in as-is |
| 2025-02-12 21:43:17 +0100 | <euouae> | who is "past me"? |
| 2025-02-12 21:43:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-02-12 21:43:02 +0100 | <merijn> | you can try and figure out what it does there |
| 2025-02-12 21:42:51 +0100 | <merijn> | https://github.com/haskell/cabal/pull/5287/files |
| 2025-02-12 21:42:49 +0100 | <tomsmeding> | should this be added to the --repl-options documentation |
| 2025-02-12 21:42:19 +0100 | <merijn> | probably space separated, by the looks of the code |
| 2025-02-12 21:42:12 +0100 | <euouae> | that worked, thank you |
| 2025-02-12 21:42:09 +0100 | <euouae> | ah, finally! yay |
| 2025-02-12 21:41:42 +0100 | <tomsmeding> | I can't find a specific --ghc-options entry in the user guide, but --repl-options claims to be modeled after --ghc-options |
| 2025-02-12 21:41:39 +0100 | Tanky | (sid630849@id-630849.tinside.irccloud.com) () |
| 2025-02-12 21:41:21 +0100 | <tomsmeding> | this is spaces, in any case |
| 2025-02-12 21:41:18 +0100 | <tomsmeding> | https://cabal.readthedocs.io/en/stable/setup-commands.html#cmdoption-runhaskell-Setup.hs-configure… |