Re: Style or bug in user manual?

[Harendra Kumar]

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?

[Ben Gamari]

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

[Simon Peyton Jones via ghc-devs]

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=01%7c01%7csimonpj%40microsoft.com%7c93c60ec85fc048c5a
|  7af08d3ca754fac%7c72f988bf86f141af91ab2d7cd011db47%7c1=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=01%7c01%7csimonpj%40microsoft.com%7c93c60ec85fc048c5a7af08d3
|  ca754fac%7c72f988bf86f141af91ab2d7cd011db47%7c1=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?

[Harendra Kumar]

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

[David Macek]

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

[Carter Schonwald]

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

[Erik de Castro Lopo]

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

[Erik de Castro Lopo]

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