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
