The issue is that we need to compile the map of GlobalSimpleTypeFactories, as
that is the data structure that the compiler uses whenever it needs to look up
a type by qname.
I suppose we could change the type of that data structure from (guessing at
what the original structure looks like)
Do we have to compile simple types even if unused? Cant we compile them lazily
if used.
I am very happy to restrict expressions that use simple type qnames for them to
have to be literal constants. Then compiling the expressions would provide the
qnames of the types actually being used.
Get
This is related to the previous thread with the subject "Further design
difficulties with TypeValueCalculators". I believe I have solved the main issue
of that thread by computing attributes that do not depend on the context in the
SimpleTypeDefFactory instead of the instance class [0].
