Re: Style or bug in user manual?
Thanks! I fixed it. On 22 August 2016 at 21:29, Ben Gamari wrote: > Harendra Kumar writes: > > > I was working to fix some documentation and noticed that the user manual > > lists options like this: > > > > -package⟨pkg⟩ > > > > Notice that there is no space between the argument and the option. Should > > this be fixed? All options on this page seem to be similarly formatted > > which makes me wonder whether its by design? > > > Looking at docs/users_guide/packages.rst it appears there are indeed > spaces in the source, which suggests that this is a bug in the parser in > docs/users_guide/conf.py. Perhaps you could open a ticket (and of course > feel free to take a stab at a solution)? > > Cheers, > > - Ben > > ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: Style or bug in user manual?
Harendra Kumar writes: > I was working to fix some documentation and noticed that the user manual > lists options like this: > > -package⟨pkg⟩ > > Notice that there is no space between the argument and the option. Should > this be fixed? All options on this page seem to be similarly formatted > which makes me wonder whether its by design? > Looking at docs/users_guide/packages.rst it appears there are indeed spaces in the source, which suggests that this is a bug in the parser in docs/users_guide/conf.py. Perhaps you could open a ticket (and of course feel free to take a stab at a solution)? Cheers, - Ben signature.asc Description: PGP signature ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
RE: SSH failing on Windows
Thanks. Yes, I did copy the ssh keys over. As my email said, I think the underlying problem is that I should be using RSA keys not DSA keys. So I have to - generate a RSA key; I can manage that but I'm anxious about overwriting my existing DSA key - push the new RSA key to git.haskell.org, or ghc.haskell.org, or something I'm very unsure how to do that, since I think those machines don’t accept ssh connections Thanks Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Erik | de Castro Lopo | Sent: 22 August 2016 11:16 | To: ghc-devs@haskell.org | Subject: Re: SSH failing on Windows | | Simon Peyton Jones via ghc-devs wrote: | | > | > But 'git push' says | > | > /c/code/HEAD$ git push | > | > Permission denied (publickey). | > | > fatal: Could not read from remote repository. | | And then I read the error message. That message suggests that the SSH | key is not known by the remote repository. Did you copy your SSH keys | from your old machine to your new machine? | | Erik | -- | -- | Erik de Castro Lopo | https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fwww.me | ga- | nerd.com%2f&data=01%7c01%7csimonpj%40microsoft.com%7c93c60ec85fc048c5a | 7af08d3ca754fac%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=dv4op8B%2 | bTYfQFBJtMn%2bwKXX0vQBemaPCyp135lspxbQ%3d | ___ | ghc-devs mailing list | ghc-devs@haskell.org | https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.h | askell.org%2fcgi-bin%2fmailman%2flistinfo%2fghc- | devs&data=01%7c01%7csimonpj%40microsoft.com%7c93c60ec85fc048c5a7af08d3 | ca754fac%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=Za%2fEdMqShmQ%2b | 0ax9PnhMUfHL77VzNZeXUiuBN34yIoA%3d ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Style or bug in user manual?
I was working to fix some documentation and noticed that the user manual lists options like this: -package⟨pkg⟩ Notice that there is no space between the argument and the option. Should this be fixed? All options on this page seem to be similarly formatted which makes me wonder whether its by design? -harendra ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: SSH failing on Windows
On 22. 8. 2016 12:15, Erik de Castro Lopo wrote: > And then I read the error message. That message suggests that the SSH key > is not known by the remote repository. Did you copy your SSH keys from > your old machine to your new machine? That was maybe also covered, see the quote below. > Simon Peyton Jones via ghc-devs wrote: >> I have a .ssh directory set up, with a copy of all the files that used to >> work. -- David Macek smime.p7s Description: S/MIME Cryptographic Signature ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: Request for feedback: deriving strategies syntax
Artisanal often means the same thing as bespoke in American English, though some times with an ironic / mocking subtext. At the same time, artisanal is often used with words like organic or natural. Which are often used in opposition to terms like synthetic or synthesized. In this context, it's even worse :) It is perfectly understandable for me to say "" I am using the built in ghc deriving machinery to synthesize the code for the natural functor definition of this data type "" I suppose it's bespoke in the sense that it's manufactured at most once, it's organic / natural in that there's usually only one accepted definition of the instance that is expected , and synthesized in that it's being manufactured by code rather than humans (yet not synthetic in that ghc comes with those particular derivation tactics, in contrast to user/library supplied codes) On Friday, August 19, 2016, Bardur Arantsson wrote: > (Sorry if anybody receives this twice, I think I flubbed my 'send'.) > > On 2016-08-19 08:34, monkleyon--- via ghc-devs wrote: > > Yet my vote is with "bespoke". Short, informative, recognizable, and a > > nice balance of quirky and reasonable, just like so much else here. > > > > ... oh, and might I submit the opinion that quirky is not a quality that > to be desired of a programming language, even if it's only a keyword? > > (Anyway, I think I'll stop here. This is too much opinion for any > further discussion to be useful.) > > Regards, > > > ___ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: SSH failing on Windows
Simon Peyton Jones via ghc-devs wrote: > > But 'git push' says > > /c/code/HEAD$ git push > > Permission denied (publickey). > > fatal: Could not read from remote repository. And then I read the error message. That message suggests that the SSH key is not known by the remote repository. Did you copy your SSH keys from your old machine to your new machine? Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: SSH failing on Windows
Simon Peyton Jones via ghc-devs wrote: > Now my problem is that 'git push' doesn't work. My 'pushurl' is > pushurl = ssh://g...@git.haskell.org/ghc.git > which is correct I think. Try pushurl = g...@git.haskell.org/ghc.git I think the "ssh://" was for older versions of git. Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
SSH failing on Windows
I'm continuing the saga of setting up my lovely Surface Book. Succeeding, just, but see below. Now my problem is that 'git push' doesn't work. My 'pushurl' is pushurl = ssh://g...@git.haskell.org/ghc.git which is correct I think. I have a .ssh directory set up, with a copy of all the files that used to work. But 'git push' says /c/code/HEAD$ git push Permission denied (publickey). fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists. So presumably it's a ssh problem. Turned out (via ssh -v) that I was getting debug1: Skipping ssh-dss key /c/users/simonpj/.ssh/id_dsa for not in PubkeyAcceptedKeyTypes I solved this by adding to .ssh/config the line PubkeyAcceptedKeyTypes +ssh-dss But I guess this is bad practice. How would I (a) generate RSA keys (b) push them to git.haskell.org (or wherever they need to go) Is there a wiki page describing this? The (b) part at least is GHC specific, as is the strange pushurl. Thanks Simon ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs