The future of UDAs.

[Max Samukha]

On Wednesday, 28 November 2012 at 22:51:30 UTC, Walter Bright 
wrote:
> On 11/29/2012 7:11 AM, Max Samukha wrote:
>> Just a random thought: what if the compiler didn't check 
>> cycles for
>> modules that define only static ctors attributed with 
>> @system/@trusted?
>
>
> It's a good idea to have a way of saying a static constructor 
> has no dependencies on imports, but I don't think @system 
> implies that, although such a static constructor would have to 
> be @trusted/@system. (Since the compiler could not verify the 
> absence of such dependencies.)

I agree.

>
> It also may be possible to:
>
>     pragma(no_import_dependencies)
>
> or something like that, which also would put the onus on the 
> programmer to make sure there really aren't any.

Pragmas are being superseded by attributes? Maybe a shorter 
equivalent of @no_import_dependencies or something?

Be it pragma or attribute, it would be welcome.