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.