Thank you for referencing the issue, I couldn't find it anymore for some
reason.
While the technicality of the "errors-as-values" proposal might delay
the implementation of such a taxonomy,
I think we could totally lay the groundwork and actually work on
defining it first.
On 15/06/2020 23:2
As a side note, the idea of making a taxonomy of errors with unique tagging
has been brought up on ghc-proposals recently, although marked as
out-of-scope (maybe rightly so):
https://github.com/ghc-proposals/ghc-proposals/pull/325
The ease of searching is among the major motivations behind it.
--
tic.
Simon
| -Original Message-
| From: Ben Gamari
| Sent: 15 June 2020 18:50
| To: Simon Peyton Jones ; GHC developers
| Subject: Re: Search in GitLab
|
| Simon Peyton Jones via ghc-devs writes:
|
| > Does anyone know how to search better in GitLab.
| > Currently I'm usi
On 15/06/2020 19:50, Ben Gamari wrote:
Frankly, this makes me wonder whether we should change the output
produced for loops. The current error is essentially un-Googleable, as
we see here. I know I have personally struggled with this same issue in
the past.
I wholeheartedly agree with this sugg
> On Jun 15, 2020, at 6:50 PM, Ben Gamari wrote:
>
> Richard, I checked on Google Search Console and it appears to be
> indexed on a nearly-daily basis. I'm a bit surprised that you have been
> having trouble. Do you have a specific example of a query that you have
> been disappointed by in the
Simon Peyton Jones via ghc-devs writes:
> Does anyone know how to search better in GitLab.
> Currently I'm using the standard GitLab search. I'm searching for
> "<>"
> where I intend the quotes meaning exactly that string as usual in a search
> term. But I get lots of results mentioning loop,
I've used the site:gitlab.haskell.org trick on Google for some time. Recently
(last month or so?) I've found that it's much less useful. I can't quantify
this, other than the fact that I find myself frequently displeased with the
result. It does seem that Google indexes our site less frequently
> Does Google index our repo? Can I use Google to search it somehow?
In google you can type:
site:gitlab.haskell.org "<>"
Cheers,
Sylvain
On 15/06/2020 11:48, Simon Peyton Jones via ghc-devs wrote:
Does anyone know how to search better in GitLab.
Currently I’m using the standard GitLab s
Does anyone know how to search better in GitLab.
Currently I'm using the standard GitLab search. I'm searching for
"<>"
where I intend the quotes meaning exactly that string as usual in a search
term. But I get lots of results mentioning loop, without the angle brackets.
Moreover I want to sort
