Re: Fix pretty printers for versioned namespace

2017-11-01 Thread François Dumont
On 30/10/2017 19:15, Jonathan Wakely wrote: @@ -1227,7 +1227,12 @@ class Printer(object):    def add_version(self, base, name, function):    self.add(base + name, function)    if _versioned_namespace: -    self.add(base + _versioned_namespace + name, function) +    vbase

Re: Fix pretty printers for versioned namespace

2017-10-30 Thread Jonathan Wakely
On 30/10/17 17:59 +, Jonathan Wakely wrote: On 30/10/17 18:13 +0100, François Dumont wrote: On 26/10/2017 22:41, Jonathan Wakely wrote: On 26/10/17 21:37 +0100, Jonathan Wakely wrote: On 26/10/17 21:30 +0100, Jonathan Wakely wrote: On 26/10/17 22:19 +0200, François Dumont wrote: @@ -1232

Re: Fix pretty printers for versioned namespace

2017-10-30 Thread Jonathan Wakely
On 30/10/17 18:13 +0100, François Dumont wrote: On 26/10/2017 22:41, Jonathan Wakely wrote: On 26/10/17 21:37 +0100, Jonathan Wakely wrote: On 26/10/17 21:30 +0100, Jonathan Wakely wrote: On 26/10/17 22:19 +0200, François Dumont wrote: @@ -1232,7 +1232,7 @@ class Printer(object):   # Add a na

Re: Fix pretty printers for versioned namespace

2017-10-30 Thread François Dumont
On 26/10/2017 22:41, Jonathan Wakely wrote: On 26/10/17 21:37 +0100, Jonathan Wakely wrote: On 26/10/17 21:30 +0100, Jonathan Wakely wrote: On 26/10/17 22:19 +0200, François Dumont wrote: @@ -1232,7 +1232,7 @@ class Printer(object):   # Add a name using _GLIBCXX_BEGIN_NAMESPACE_CONTAINER.   de

Re: Fix pretty printers for versioned namespace

2017-10-26 Thread Jonathan Wakely
On 26/10/17 21:37 +0100, Jonathan Wakely wrote: On 26/10/17 21:30 +0100, Jonathan Wakely wrote: On 26/10/17 22:19 +0200, François Dumont wrote: @@ -1232,7 +1232,7 @@ class Printer(object): # Add a name using _GLIBCXX_BEGIN_NAMESPACE_CONTAINER. def add_container(self, base, name, function):

Re: Fix pretty printers for versioned namespace

2017-10-26 Thread Jonathan Wakely
On 26/10/17 21:30 +0100, Jonathan Wakely wrote: On 26/10/17 22:19 +0200, François Dumont wrote: @@ -1232,7 +1232,7 @@ class Printer(object): # Add a name using _GLIBCXX_BEGIN_NAMESPACE_CONTAINER. def add_container(self, base, name, function): self.add_version(base, name, function) -

Re: Fix pretty printers for versioned namespace

2017-10-26 Thread Jonathan Wakely
On 26/10/17 22:19 +0200, François Dumont wrote: @@ -1232,7 +1232,7 @@ class Printer(object): # Add a name using _GLIBCXX_BEGIN_NAMESPACE_CONTAINER. def add_container(self, base, name, function): self.add_version(base, name, function) -self.add_version(base + '__cxx1998::',