[debbugs-tracker] bug#36206: closed ([PATCH] Change `user-error' docstring from "pilot error" to "user error")

[GNU bug Tracking System]

Your message dated Thu, 27 Jun 2019 02:37:20 -0700
with message-id <address@hidden>
and subject line Re: bug#36206: [PATCH] Change `user-error' docstring from 
"pilot error" to "user error"
has caused the debbugs.gnu.org bug report #36206,
regarding [PATCH] Change `user-error' docstring from "pilot error" to "user 
error"
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
36206: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36206
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] Change `user-error' docstring from "pilot error" to "user error" Date: Fri, 14 Jun 2019 13:09:06 +0200

The documentation of `user-error' says that it will "Signal a pilot
error", which I personally find confusing.  For starters, "pilot"
could also mean "done as an experiment or test before being introduced
more widely".

It's more clear to say "user error".  I don't have any data on this,
but in my experience this is also more in line with how other
programming languages names this class of errors.

See the attached patch for my suggested improvements.

Thanks,
Stefan Kangas

0001-Clarify-error-and-user-error-docstrings.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error"
>
>
>
>
> Date: 
>
> Thu, 27 Jun 2019 02:37:20 -0700
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.1
>
>
>
>
> Noam Postavsky wrote:
> > s/[“”]/"/ (I hope this doesn't set off another round of bike-shedding).
>
> OK, thanks, I installed the patches with that further change, and am closing the 
> bug report.
>
>
> --- End Message ---