Aiee. I went round this loop once before, and even recorded the answer: https://gitlab.haskell.org/ghc/ghc/wikis/working-conventions/git-lab-spj (See "search".) Sorry for the noise -- thank for help Simon | -----Original Message----- | From: Giorgio Marinelli <giorgio@marinel.li> | Sent: 31 May 2019 16:39 | To: Simon Peyton Jones <simonpj@microsoft.com> | Cc: ghc-devs <ghc-devs@haskell.org> | Subject: Re: search on GItlab | | You have to look at the "Comments" results. | But also there, it's not easy to find where all the occurrences of that | string appear. | Anyway, a link to your comment with that string it's there. | | Giorgio | | | Giorgio | | | | On Fri, 31 May 2019 at 16:19, Simon Peyton Jones via ghc-devs <ghc- | devs@haskell.org> wrote: | > | > If I search in GitLab for “checkExpectedKind” I don’t fine #16635, which | clearly mentions that. | > | > Why not? | > | > Thanks | > | > Simon | > | > _______________________________________________ | > 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-devs&data=02%7C01 | > %7Csimonpj%40microsoft.com%7Cc3de7c738df94a85bc9d08d6e5de2b60%7C72f988 | > bf86f141af91ab2d7cd011db47%7C1%7C1%7C636949139715138971&sdata=iyQ% | > 2FJZxuRRscu%2F2mQTIEPtYAw8DnJKFrp3saH9mCaf0%3D&reserved=0