Le Wed, 22 Jul 2020 13:00:10 +0100 (BST), Derick Rethans <der...@php.net> a écrit : > Please, let's do the sensible and use the Rusty #[...] syntax.
This syntax is the one I liked the less in the proposed choices, given # is used for comments. Wouldn’t #[] cause more parsing issues than @@? What would be the rule, it’d be illegal to start a comment content with '['? Côme -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
