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.)

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.

Reply via email to