> And why is the following not allowed? 
>     
>     
>     dumpTree:
>       mytype MyType:
>         a*: int
>     
>     
>     Run

I'm a bit perplexed that several people are saying this should be OK. Why 
should a type's field be visible outside a module if the type itself is not 
visible outside a module?

Reply via email to