Hi Christian,

 

Just made the next observation: In case of cyclic type declarations the editor throws a "unknown-type:"-error.

 

Module:M0 is a agregate of modules:  M1 and M2, and declares a agregated type using type declarations of both imported modules. Modules M1 and M2 declare ther own type but M2 also imports agregated module: M0. This import of MO in M2 causes in this usecase an "unknown type:-error. This is unwanted.

 

Hope it is an easy fix.

 

mvgr.

Rob Stapper