Subject: Re: Suggested draft TS for TM-light
From: Jens Maurer (Jens.Maurer_at_[hidden])
Date: 2020-01-10 11:17:41
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:
> 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.
SG5 list run by email@example.com
Older Archives on Google Groups