The future of UDAs.

[Andrei Alexandrescu]

On 11/30/12 3:12 AM, Jacob Carlborg wrote:
> On 2012-11-30 03:39, Walter Bright wrote:
>
>> It's not a complete solution, since using a symbol S from module A does
>> not necessarily mean dependency on S being statically constructed in A.
>> But it would be a start.
>
> Well, not using any symbol from module A means it has no dependency for
> sure on A in the static constructor.

Exactly. It would be the sensible thing to do. It would disallow only 
modules with static constructors that use stuff in other modules with 
static constructors. Though that is still conservative, it would catch a 
vast majority of cases with a simple and easy to understand policy.

Andrei