Fixing cyclic import static construction problems

[Timon Gehr]

On 11/29/2012 09:30 PM, Manfred Nowak wrote:
> Max Samukha wrote:
>
>> there must not be circular dependency issues
>
> The model shown does not force circular dependencies, because
> every receiver module only imports one module: `module reflect'.
> And I can not see, that this module imports any other module.
>
> Therefore `module relect' and its `import' statements are not
> responsible for any circular dependency issue.
>
> Where am I wrong?
>
> -manfred
>

A precondition for (pseudo-) circular dependency issues of this kind are 
static constructors. The static constructors are what module reflect 
imposes in its users in order to operate.