On 7/13/21 4:11 AM, Iain Sandoe wrote:
Hi Jason
On 12 Jul 2021, at 20:40, Jason Merrill wrote:
On 7/11/21 9:03 AM, Iain Sandoe wrote:
Hi Jason,
On 9 Jul 2021, at 22:40, Jason Merrill wrote:
On 7/9/21 2:18 PM, Iain Sandoe wrote:
How about handling this in write_encoding, along the lines of
Hi Jason
> On 12 Jul 2021, at 20:40, Jason Merrill wrote:
>
> On 7/11/21 9:03 AM, Iain Sandoe wrote:
>> Hi Jason,
>>> On 9 Jul 2021, at 22:40, Jason Merrill wrote:
>>>
>>> On 7/9/21 2:18 PM, Iain Sandoe wrote:
>>> How about handling this in write_encoding, along the lines of the
>>> devel/c++
On 7/11/21 9:03 AM, Iain Sandoe wrote:
Hi Jason,
On 9 Jul 2021, at 22:40, Jason Merrill wrote:
On 7/9/21 2:18 PM, Iain Sandoe wrote:
How about handling this in write_encoding, along the lines of the
devel/c++-contracts branch?
OK, so I took a look at this and implemented as below.
Oh,
Hi Jason,
> On 9 Jul 2021, at 22:40, Jason Merrill wrote:
>
> On 7/9/21 2:18 PM, Iain Sandoe wrote:
> How about handling this in write_encoding, along the lines of the
> devel/c++-contracts branch?
OK, so I took a look at this and implemented as below.
Some small differences from your cont
