Re: Container type classes

[Carter Schonwald]

http://hackage.haskell.org/package/EdisonCore

the Edison packages come to mind as a previous effort in this space

On Wed, May 29, 2019 at 4:08 PM Simon Peyton Jones via ghc-devs <
ghc-devs@haskell.org> wrote:

> | having a common pattern for naming the operations certainly seems
> | nice.   I am ambivalent if we do this with a class, or just name the
> | operations the same way, and use the module system.
>
> This was my reaction too.  Consistent naming, yes.  Using a type class,
> when every invocation is at a statically known type (i.e. not leveraging
> the type class) seems less good.
>
> For example, eqType :: Type -> Type -> Bool, and I can search for every
> invocation of eqType.  That can be very useful.  Searching for every use of
> (==) and figuring out which of those zillions of calls are for equality of
> Type, is much less attractive.
>
> But I'm not going to die in the trenches for this.  You are doing us a
> service by making everything systematic.  The code that is finally executed
> will, I hope and believe, be the same either way.
>
> Simon
>
>
>  The type hackery I
> | was referring to was the type family for the set elements and map
> | keys you were referring to.It looks like the maps we have are
> | uniform enough that one type family per class does the job, so I think
> the
> | class you came with looks nice.
> |
> | -Iavor
> | PS: the type hacker I was referring to was  having to add more type
> | families, for example if we had a map that can only store one type of
> | elements, but it looks like this is not the case here.
> |
> |
> | On Wed, May 29, 2019 at 3:48 AM Andreas Klebinger
> |  wrote:
> | >
> | > ghc-devs-requ...@haskell.org schrieb:
> | > > Hello,
> | > >
> | > > I think refactoring to use consistent naming is a good idea, but I
> | > > am not sure about the class idea.
> | > >
> | > > To see if it is viable, we should list the types in question and the
> | > > operations we'd like to overload.
> | > >
> | > > I find that with containers there tend to be two cases: either the
> | > > operations are similar but not exactly the same and you have to do
> | > > type hackery to make things fit, or you realize that you can just
> | > > use the same type in multiple places.
> | > >
> | > > Iavor
> | > The function prototype are already part of the merge request. See here:
> | > https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitl
> | > ab.haskell.org%2Fghc%2Fghc%2Fblob%2Fa0781d746c223636a90a0837fe678aab5b
> | > 70e4b6%2Fcompiler%2Fstructures%2FCollections.hsdata=02%7C01%7Csim
> | > onpj%40microsoft.com%7C4fe7780126ff475c3c7308d6e45e8586%7C72f988bf86f1
> | > 41af91ab2d7cd011db47%7C1%7C0%7C636947491952787823sdata=lgu4jc9g3x
> | > H%2B9nDorkvPZjts9L1RpVLpexed1uJnyXA%3Dreserved=0
> | >
> | > As for the data structures in question these are:
> | > * EnumSet
> | > * Data.IntSet
> | > * Data.Set
> | > * UniqSet
> | > * UniqDSet
> | >
> | > * Data.IntMap
> | > * Data.Map
> | > * LabelMap
> | > * UniqFM
> | > * UniqDFM
> | > * UniqMap
> | >
> | > * Maybe the TrieMap Variants
> | >
> | > Maybe I missed some but these are all I can think of currently. But
> | > they are already plenty.
> | >
> | > Imo using type classes IS a kind of type hackery required "to make
> | > things fit".
> | > ___
> | > ghc-devs mailing list
> | > ghc-devs@haskell.org
> | > https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.
> | > haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-devsdata=02%7C01
> | > %7Csimonpj%40microsoft.com%7C4fe7780126ff475c3c7308d6e45e8586%7C72f988
> | > bf86f141af91ab2d7cd011db47%7C1%7C0%7C636947491952787823sdata=fjw2
> | > XfNXANsWXsCb4mfQV0UFvyNNW%2BjqUhhCbOcr%2FhQ%3Dreserved=0
> | ___
> | ghc-devs mailing list
> | ghc-devs@haskell.org
> |
> https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.hask
> | ell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-
> | devsdata=02%7C01%7Csimonpj%40microsoft.com
> %7C4fe7780126ff475c3c7308d6
> |
> e45e8586%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636947491952787823
> |
> mp;sdata=fjw2XfNXANsWXsCb4mfQV0UFvyNNW%2BjqUhhCbOcr%2FhQ%3Dreserved=0
> ___
> 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: Wiki markup

[Ryan Yates]

Hi Simon,

I think you can just indent the code block to achieve this.

Ryan

On Mon, Jun 3, 2019 at 12:46 PM Simon Peyton Jones via ghc-devs <
ghc-devs@haskell.org> wrote:

> This is a GitLab wiki markup question.
>
> Suppose I want to have a bulleted list, in which a single item has some
> text, then some laid-out code, then more text.  I want the second blob of
> text to be indented as part of the bullet.
>
> Absent the laid-out code, indenting the second para 2 spaces seems to do
> it:
>
> * first bit of text
>
>
>
>   Second bit of text
>
> But if there is code in the middle, like this
>
> * first bit of text
>
> ```
>
> code
>
> ```
>
>   Second bit of text
>
> the second bit of text is not indented.
>
> Does anyone know how to achieve the indentation?
>
> Simon
> ___
> 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: Pushing to gitlab.haskell.org

[Brandon Allbery]

Exactly. Also it makes some sense to use https for fetch but ssh for push;
that's how I have my own repos and those for various other projects set up.

On Mon, Jun 3, 2019 at 12:34 PM Simon Peyton Jones via ghc-devs <
ghc-devs@haskell.org> wrote:

> |  You probably need to use the "git@" remote.
> |
> |  g...@gitlab.haskell.org:ghc/ghc.git
> |
> |  git remote set-url origin g...@gitlab.haskell.org:ghc/ghc.git
>
> Correct!  I don't know how this worked before. (Maybe it never did; this
> is a relatively new machine.)
>
> Maybe we should change the guidance on
> https://gitlab.haskell.org/ghc/ghc/wikis/building/getting-the-sources
>
> to give the git url?  Or does that /require/ ssh and hence exclude some
> folk?
>
> Simon
>
> |  -Original Message-
> |  From: Matthew Pickering 
> |  Sent: 03 June 2019 15:08
> |  To: Simon Peyton Jones 
> |  Subject: Re: Pushing to gitlab.haskell.org
> |
> |  You probably need to use the "git@" remote.
> |
> |  g...@gitlab.haskell.org:ghc/ghc.git
> |
> |  git remote set-url origin g...@gitlab.haskell.org:ghc/ghc.git
> |
> |
> |  On Mon, Jun 3, 2019 at 3:04 PM Simon Peyton Jones via ghc-devs  |  d...@haskell.org> wrote:
> |  >
> |  > Devs
> |  >
> |  > Suddenly I can’t push to (a non-master branch on) gitlab.haskell.org.
> |  >
> |  > In .git/config I have
> |  >
> |  > [remote "origin"]
> |  >
> |  >   url =
> |  >
> https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitl
> |  > ab.haskell.org%2Fghc%2Fghcdata=02%7C01%7Csimonpj%40microsoft.com
> %
> |  > 7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%
> |  > 7C1%7C0%7C636951676910548930sdata=cTjUrROo3Dje%2FlbiFdtUPadlFUPsN
> |  > 2OWUgLIOYv%2BL8o%3Dreserved=0
> |  >
> |  >   fetch = +refs/heads/*:refs/remotes/origin/*
> |  >
> |  > [branch "master"]
> |  >
> |  >   remote = origin
> |  >
> |  >   merge = refs/heads/master
> |  >
> |  > An attempt to push leads to a request for a username.  If I enter
> one, a
> |  request for a password.
> |  >
> |  > simonpj@MSRC-3645512:~/code/HEAD$ git push origin wip/T16735
> |  >
> |  > Username for
> |  '
> https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.
> |  haskell.orgdata=02%7C01%7Csimonpj%40microsoft.com
> %7C186b15a68a134060a
> |
> 1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6369516769105
> |
> 48930sdata=O%2F%2B7WovumSLxe8%2FXrh1NpowWs%2FYVqhdEsDCsM5diz%2Bk%3D
> |  mp;reserved=0':   C-c C-c
> |  >
> |  > I thought I had SSH keys uploaded.  But in fact I found that my
> |  id_rsa.pub was a bit different to the one in gitlab.  Not sure _how_
> that
> |  happened, or why it hasn’t bitten before.
> |  >
> |  > So I uploaded a new id_rsa.pub key.
> |  >
> |  > Same behaviour.
> |  >
> |  > So I tried ssh -v gitlab.haskell.org, and got the output below.   It
> |  seems to skip id_dsa, but doesn’t even try id_rsa.
> |  >
> |  > Can anyone help? This is tiresome.
> |  >
> |  > Thanks
> |  >
> |  > Simon
> |  >
> |  >
> |  >
> |  > simonpj@MSRC-3645512:~/code/HEAD$ ssh -v gitlab.haskell.org
> |  >
> |  > OpenSSH_7.6p1 Ubuntu-4, OpenSSL 1.0.2n  7 Dec 2017
> |  >
> |  > debug1: Reading configuration data /home/simonpj/.ssh/config
> |  >
> |  > debug1: Reading configuration data /etc/ssh/ssh_config
> |  >
> |  > debug1: /etc/ssh/ssh_config line 19: Applying options for *
> |  >
> |  > debug1: Connecting to gitlab.haskell.org [2604:1380:0:8900::3] port
> 22.
> |  >
> |  > debug1: Connection established.
> |  >
> |  > debug1: identity file /home/simonpj/.ssh/id_rsa type 0
> |  >
> |  > debug1: key_load_public: No such file or directory
> |  >
> |  > debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1
> |  >
> |  > debug1: identity file /home/simonpj/.ssh/id_dsa type 1
> |  >
> |  > debug1: key_load_public: No such file or directory
> |  >
> |  > debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1
> |  >
> |  > debug1: key_load_public: No such file or directory
> |  >
> |  > debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1
> |  >
> |  > debug1: key_load_public: No such file or directory
> |  >
> |  > debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1
> |  >
> |  > debug1: key_load_public: No such file or directory
> |  >
> |  > debug1: identity file /home/simonpj/.ssh/id_ed25519 type -1
> |  >
> |  > debug1: key_load_public: No such file or directory
> |  >
> |  > debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1
> |  >
> |  > debug1: Local version string SSH-2.0-OpenSSH_7.6p1 Ubuntu-4
> |  >
> |  > debug1: Remote protocol version 2.0, remote software version
> |  > OpenSSH_7.9
> |  >
> |  > debug1: match: OpenSSH_7.9 pat OpenSSH* compat 0x0400
> |  >
> |  > debug1: Authenticating to gitlab.haskell.org:22 as 'simonpj'
> |  >
> |  > debug1: SSH2_MSG_KEXINIT sent
> |  >
> |  > debug1: SSH2_MSG_KEXINIT received
> |  >
> |  > debug1: kex: algorithm: curve25519-sha...@libssh.org
> |  >
> |  > debug1: kex: host key algorithm: ssh-ed25519
> |  >
> |  > 

Re: setsockopt IPV2_TCLASS 8

[Brandon Allbery]

A quick search suggests this is a WSL shortcoming and is harmless.

On Mon, Jun 3, 2019 at 12:48 PM Simon Peyton Jones via ghc-devs <
ghc-devs@haskell.org> wrote:

> I’m getting a lot of these messages from ssh when using git
>
> setsockopt IPV6_TCLASS 8: Operation not permitted:
>
> (Same thing when directly invoking ssh g...@gitlab.haskell.org)
>
> Should I worry?
>
> Simon
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>


-- 
brandon s allbery kf8nh
allber...@gmail.com
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

setsockopt IPV2_TCLASS 8

[Simon Peyton Jones via ghc-devs]

I'm getting a lot of these messages from ssh when using git

setsockopt IPV6_TCLASS 8: Operation not permitted:
(Same thing when directly invoking ssh 
g...@gitlab.haskell.org)
Should I worry?
Simon
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Wiki markup

[Simon Peyton Jones via ghc-devs]

This is a GitLab wiki markup question.
Suppose I want to have a bulleted list, in which a single item has some text, 
then some laid-out code, then more text.  I want the second blob of text to be 
indented as part of the bullet.
Absent the laid-out code, indenting the second para 2 spaces seems to do it:

* first bit of text



  Second bit of text
But if there is code in the middle, like this

* first bit of text

```

code

```

  Second bit of text
the second bit of text is not indented.
Does anyone know how to achieve the indentation?
Simon
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

RE: Pushing to gitlab.haskell.org

[Simon Peyton Jones via ghc-devs]

|  You probably need to use the "git@" remote.
|  
|  g...@gitlab.haskell.org:ghc/ghc.git
|  
|  git remote set-url origin g...@gitlab.haskell.org:ghc/ghc.git

Correct!  I don't know how this worked before. (Maybe it never did; this is a 
relatively new machine.)

Maybe we should change the guidance on
https://gitlab.haskell.org/ghc/ghc/wikis/building/getting-the-sources

to give the git url?  Or does that /require/ ssh and hence exclude some folk?

Simon

|  -Original Message-
|  From: Matthew Pickering 
|  Sent: 03 June 2019 15:08
|  To: Simon Peyton Jones 
|  Subject: Re: Pushing to gitlab.haskell.org
|  
|  You probably need to use the "git@" remote.
|  
|  g...@gitlab.haskell.org:ghc/ghc.git
|  
|  git remote set-url origin g...@gitlab.haskell.org:ghc/ghc.git
|  
|  
|  On Mon, Jun 3, 2019 at 3:04 PM Simon Peyton Jones via ghc-devs  wrote:
|  >
|  > Devs
|  >
|  > Suddenly I can’t push to (a non-master branch on) gitlab.haskell.org.
|  >
|  > In .git/config I have
|  >
|  > [remote "origin"]
|  >
|  >   url =
|  > https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitl
|  > ab.haskell.org%2Fghc%2Fghcdata=02%7C01%7Csimonpj%40microsoft.com%
|  > 7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%
|  > 7C1%7C0%7C636951676910548930sdata=cTjUrROo3Dje%2FlbiFdtUPadlFUPsN
|  > 2OWUgLIOYv%2BL8o%3Dreserved=0
|  >
|  >   fetch = +refs/heads/*:refs/remotes/origin/*
|  >
|  > [branch "master"]
|  >
|  >   remote = origin
|  >
|  >   merge = refs/heads/master
|  >
|  > An attempt to push leads to a request for a username.  If I enter one, a
|  request for a password.
|  >
|  > simonpj@MSRC-3645512:~/code/HEAD$ git push origin wip/T16735
|  >
|  > Username for
|  'https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.
|  haskell.orgdata=02%7C01%7Csimonpj%40microsoft.com%7C186b15a68a134060a
|  1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6369516769105
|  48930sdata=O%2F%2B7WovumSLxe8%2FXrh1NpowWs%2FYVqhdEsDCsM5diz%2Bk%3D
|  mp;reserved=0':   C-c C-c
|  >
|  > I thought I had SSH keys uploaded.  But in fact I found that my
|  id_rsa.pub was a bit different to the one in gitlab.  Not sure _how_ that
|  happened, or why it hasn’t bitten before.
|  >
|  > So I uploaded a new id_rsa.pub key.
|  >
|  > Same behaviour.
|  >
|  > So I tried ssh -v gitlab.haskell.org, and got the output below.   It
|  seems to skip id_dsa, but doesn’t even try id_rsa.
|  >
|  > Can anyone help? This is tiresome.
|  >
|  > Thanks
|  >
|  > Simon
|  >
|  >
|  >
|  > simonpj@MSRC-3645512:~/code/HEAD$ ssh -v gitlab.haskell.org
|  >
|  > OpenSSH_7.6p1 Ubuntu-4, OpenSSL 1.0.2n  7 Dec 2017
|  >
|  > debug1: Reading configuration data /home/simonpj/.ssh/config
|  >
|  > debug1: Reading configuration data /etc/ssh/ssh_config
|  >
|  > debug1: /etc/ssh/ssh_config line 19: Applying options for *
|  >
|  > debug1: Connecting to gitlab.haskell.org [2604:1380:0:8900::3] port 22.
|  >
|  > debug1: Connection established.
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_rsa type 0
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_dsa type 1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ed25519 type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1
|  >
|  > debug1: Local version string SSH-2.0-OpenSSH_7.6p1 Ubuntu-4
|  >
|  > debug1: Remote protocol version 2.0, remote software version
|  > OpenSSH_7.9
|  >
|  > debug1: match: OpenSSH_7.9 pat OpenSSH* compat 0x0400
|  >
|  > debug1: Authenticating to gitlab.haskell.org:22 as 'simonpj'
|  >
|  > debug1: SSH2_MSG_KEXINIT sent
|  >
|  > debug1: SSH2_MSG_KEXINIT received
|  >
|  > debug1: kex: algorithm: curve25519-sha...@libssh.org
|  >
|  > debug1: kex: host key algorithm: ssh-ed25519
|  >
|  > debug1: kex: server->client cipher: chacha20-poly1...@openssh.com MAC:
|  >  compression: none
|  >
|  > debug1: kex: client->server cipher: chacha20-poly1...@openssh.com MAC:
|  >  compression: none
|  >
|  > debug1: expecting SSH2_MSG_KEX_ECDH_REPLY
|  >
|  > debug1: Server host key: ssh-ed25519
|  > SHA256:wtE9yoEHLsotzqKfbDs1JIqR+c8ZZyW+FAJAmteBfcI
|  >
|  > debug1: Host 'gitlab.haskell.org' is known and matches the ED25519 host
|  key.
|  >
|  > debug1: Found key in /home/simonpj/.ssh/known_hosts:7
|  >
|  > debug1: rekey after 134217728 blocks
|  >
|  > 

Re: Pushing to gitlab.haskell.org

[Niklas Hambüchen]

Hey Simon,

you mention SSH keys, but in your quoted config I can see HTTPS, not SSH:

> [remote "origin"]
>   url = https://gitlab.haskell.org/ghc/ghc

Should this perhaps be

url = g...@gitlab.haskell.org:ghc/ghc.git

instead?

> So I tried ssh -v gitlab.haskell.org

You need to include the user name "git" for this. Otherwise it will try to use 
your local user name on the remote server.
This is the command to run and the output you should get if it's working:

$ ssh g...@gitlab.haskell.org
PTY allocation request failed on channel 0
Welcome to GitLab, @nh2!
Connection to gitlab.haskell.org closed.

Hope this helps,

Niklas
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Pushing to gitlab.haskell.org

[Simon Peyton Jones via ghc-devs]

Devs
Suddenly I can't push to (a non-master branch on) gitlab.haskell.org.
In .git/config I have

[remote "origin"]

  url = https://gitlab.haskell.org/ghc/ghc

  fetch = +refs/heads/*:refs/remotes/origin/*

[branch "master"]

  remote = origin

  merge = refs/heads/master
An attempt to push leads to a request for a username.  If I enter one, a 
request for a password.

simonpj@MSRC-3645512:~/code/HEAD$ git push origin wip/T16735

Username for 'https://gitlab.haskell.org':   C-c C-c
I thought I had SSH keys uploaded.  But in fact I found that my id_rsa.pub was 
a bit different to the one in gitlab.  Not sure _how_ that happened, or why it 
hasn't bitten before.
So I uploaded a new id_rsa.pub key.
Same behaviour.
So I tried ssh -v gitlab.haskell.org, and got the output below.   It seems to 
skip id_dsa, but doesn't even try id_rsa.
Can anyone help? This is tiresome.
Thanks
Simon


simonpj@MSRC-3645512:~/code/HEAD$ ssh -v gitlab.haskell.org

OpenSSH_7.6p1 Ubuntu-4, OpenSSL 1.0.2n  7 Dec 2017

debug1: Reading configuration data /home/simonpj/.ssh/config

debug1: Reading configuration data /etc/ssh/ssh_config

debug1: /etc/ssh/ssh_config line 19: Applying options for *

debug1: Connecting to gitlab.haskell.org [2604:1380:0:8900::3] port 22.

debug1: Connection established.

debug1: identity file /home/simonpj/.ssh/id_rsa type 0

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1

debug1: identity file /home/simonpj/.ssh/id_dsa type 1

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_ed25519 type -1

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1

debug1: Local version string SSH-2.0-OpenSSH_7.6p1 Ubuntu-4

debug1: Remote protocol version 2.0, remote software version OpenSSH_7.9

debug1: match: OpenSSH_7.9 pat OpenSSH* compat 0x0400

debug1: Authenticating to gitlab.haskell.org:22 as 'simonpj'

debug1: SSH2_MSG_KEXINIT sent

debug1: SSH2_MSG_KEXINIT received

debug1: kex: algorithm: curve25519-sha...@libssh.org

debug1: kex: host key algorithm: ssh-ed25519

debug1: kex: server->client cipher: chacha20-poly1...@openssh.com MAC: 
 compression: none

debug1: kex: client->server cipher: chacha20-poly1...@openssh.com MAC: 
 compression: none

debug1: expecting SSH2_MSG_KEX_ECDH_REPLY

debug1: Server host key: ssh-ed25519 
SHA256:wtE9yoEHLsotzqKfbDs1JIqR+c8ZZyW+FAJAmteBfcI

debug1: Host 'gitlab.haskell.org' is known and matches the ED25519 host key.

debug1: Found key in /home/simonpj/.ssh/known_hosts:7

debug1: rekey after 134217728 blocks

debug1: SSH2_MSG_NEWKEYS sent

debug1: expecting SSH2_MSG_NEWKEYS

debug1: SSH2_MSG_NEWKEYS received

debug1: rekey after 134217728 blocks

debug1: Skipping ssh-dss key /home/simonpj/.ssh/id_dsa - not in 
PubkeyAcceptedKeyTypes

debug1: SSH2_MSG_EXT_INFO received

debug1: kex_input_ext_info: 
server-sig-algs=

debug1: SSH2_MSG_SERVICE_ACCEPT received

debug1: Authentications that can continue: 
publickey,password,keyboard-interactive

debug1: Next authentication method: publickey

debug1: Offering public key: RSA 
SHA256:H1l824hIxHozwRuEqdaYJjW10mRRlQVUhxREvuseqtU /home/simonpj/.ssh/id_rsa

debug1: Authentications that can continue: 
publickey,password,keyboard-interactive

debug1: Trying private key: /home/simonpj/.ssh/id_ecdsa

debug1: Trying private key: /home/simonpj/.ssh/id_ed25519

debug1: Next authentication method: keyboard-interactive

Password:   C-c C-c



simonpj@MSRC-3645512:~/code/HEAD$


___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs