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.
