Post #1611409
2026-03-13 20:43 UTC
In terms of safety features: Contracts were hotly debated. Retroactive scoping was removed from the agenda at the request of the author (presumably for revising it, because it was pointed out that is is not implementable in this form), and my dependent structure type got majority support but also some "no" votes mostly from people who are skeptical about variably modified (=dependent) types. (it will eventually need strong support to go in)
Replies (1)
-
@uecker@mastodon.social 2026-03-13 20:56
In terms of UB listed in Annex J.2, from 87 entries in the core language still in ISO C23 (the rest are preprocessor and library), we have now removed 34 which is about 40%.