[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: C++: Pointer to non-const std::string in position and location shoul
From: |
Akim Demaille |
Subject: |
Re: C++: Pointer to non-const std::string in position and location should be a pointer to const std::string |
Date: |
Sat, 27 Jun 2020 17:06:01 +0200 |
Hi Jacob,
> Le 27 juin 2020 à 16:18, Jacob L. Mandelson <jlm-bbison@jlm.ofb.net> a écrit :
>
> On Sat, Jun 27, 2020 at 10:08:05AM +0200, Akim Demaille wrote:
> [...]
>> +*** File prefix mapping
>> +
>> + Bison learned a new argument, '--file-prefix-map OLD=NEW'. Any file path
>> in
>> + the output (specifically #line directives and #ifdef header guards) that
>> + being with the prefix OLD will have it replace with the prefix NEW,
>> similar
>
>
> Surely you mean "begin", not "being". Though you'll actually want "begins"
> to agree with the singular subject "path", and also "replaced" since it's
> passive.
Thanks a lot for catching this. I'll install the appended fix.
> Be well,
> -- Jacob, addressing the other kind of grammar
:)
commit d796e11f8f7d459408824f0d2c8174e3f4715f84
Author: Akim Demaille <akim.demaille@gmail.com>
Date: Sat Jun 27 17:03:28 2020 +0200
news: fixes
Reported by Jacob L. Mandelson.
* NEWS: here.
diff --git a/NEWS b/NEWS
index 29425bca..82636252 100644
--- a/NEWS
+++ b/NEWS
@@ -6,11 +6,11 @@ GNU Bison NEWS
*** File prefix mapping
- Bison learned a new argument, '--file-prefix-map OLD=NEW'. Any file path in
- the output (specifically #line directives and #ifdef header guards) that
- being with the prefix OLD will have it replace with the prefix NEW, similar
- to the -ffile-prefix-map in GCC. This option can be used to make bison output
- reproducible.
+ Bison learned a new argument, `--file-prefix-map OLD=NEW`. Any file path
+ in the output (specifically `#line` directives and `#ifdef` header guards)
+ that begins with the prefix OLD will have it replaced with the prefix NEW,
+ similar to the `-ffile-prefix-map` in GCC. This option can be used to
+ make bison output reproducible.
** Changes
diff --git a/THANKS b/THANKS
index e9bc2762..e38e3613 100644
--- a/THANKS
+++ b/THANKS
@@ -84,6 +84,7 @@ Guido Trentalancia trentalg@aston.ac.uk
H. Merijn Brand h.m.brand@hccnet.nl
Hans Åberg haberg-1@telia.com
Horst Von Brand vonbrand@inf.utfsm.cl
+Jacob L. Mandelson jlm-bbison@jlm.ofb.net
Jan Nieuwenhuizen janneke@gnu.org
Jannick thirdedition@gmx.net
Jeff Hammond jeff_hammond@acm.org
Re: C++: Pointer to non-const std::string in position and location should be a pointer to const std::string, Jacob L. Mandelson, 2020/06/27
- Re: C++: Pointer to non-const std::string in position and location should be a pointer to const std::string,
Akim Demaille <=