C++ Logo


Advanced search

Re: [SG5] Suggested draft TS for TM-light

From: Jens Maurer <Jens.Maurer_at_[hidden]>
Date: Fri, 10 Jan 2020 18:17:41 +0100
In the interest of not surprising anyone, I intend to submit
this to the pre-meeting mailing.

Anyone on the current authors list that doesn't expressly
approve being there will be moved to an "Acknowledgements"
section before submission.


On 09/01/2020 22.06, Jens Maurer via SG5 wrote:
> Hi!
> After today's teleconference, I couldn't resist, so
> I created a draft TS for TM-light, mostly copying
> from Victor's Google doc. See attached.
> The new part is in 8.8, where we decree implementation-defined
> behavior when "bad" things are evaluated inside an atomic block.
> Possibly surprising changes vs. the status quo of the discussion:
> - constexpr functions only
> (as explained in the teleconference, the compiler might not retain
> other functions from the same translation unit)
> - throw-expressions are forbidden entirely
> (Did we want to require support for throw/catch within the atomic
> block? Seems more-than-minimal.)
> - Coroutines are forbidden entirely.
> (I haven't seen talk about them vs. TM. Also, they have funny
> control flow.)
> This would be in time to submit to the pre-Prague meeting,
> for SG1 and EWG amusement there, if I get approval on this list
> until Monday.
> I've added all participants to the authors list, please complain
> if that's wrong.
> Jens

Received on 2020-01-10 11:20:15