micro-resolution

[Jonathan Gibbons]

I am beginning to consider how to rewrite (micro)resolution in javac in 
the light of the recent discussions regarding readability, visibility, etc.

I know that we have determined that the JDK module graph is acyclic.   I 
think we decided that all module graphs should be acyclic, right?

I guess I'm wondering what the text in the JLS might be like in this 
area.  i.e. "it is a compile-time error if ...."

-- Jon