Re: [PATCH] Add initial version of C++17 header

2018-07-25 Thread Jonathan Wakely
On 25/07/18 21:23 +0100, Jonathan Wakely wrote: On 25/07/18 12:01 +0100, Jonathan Wakely wrote: On 24/07/18 22:12 +0100, Jonathan Wakely wrote: This is missing the synchronized_pool_resource and unsynchronized_pool_resource classes but is otherwise complete. This is a new implementation, not b

Re: [PATCH] Add initial version of C++17 header

2018-07-25 Thread Jonathan Wakely
On 25/07/18 12:01 +0100, Jonathan Wakely wrote: On 24/07/18 22:12 +0100, Jonathan Wakely wrote: This is missing the synchronized_pool_resource and unsynchronized_pool_resource classes but is otherwise complete. This is a new implementation, not based on the existing code in , but memory_resourc

Re: [PATCH] Add initial version of C++17 header

2018-07-25 Thread Jonathan Wakely
On 24/07/18 22:12 +0100, Jonathan Wakely wrote: This is missing the synchronized_pool_resource and unsynchronized_pool_resource classes but is otherwise complete. This is a new implementation, not based on the existing code in , but memory_resource and polymorphic_allocator ended up looking almo

[PATCH] Add initial version of C++17 header

2018-07-24 Thread Jonathan Wakely
This is missing the synchronized_pool_resource and unsynchronized_pool_resource classes but is otherwise complete. This is a new implementation, not based on the existing code in , but memory_resource and polymorphic_allocator ended up looking almost the same anyway. The constant_init kluge in s