[nem-en] How to get the list of subtypes for the some TyVar?

[Kamil Skalski]

>
>    The 'infos' contained imported (from external assemblies) types?

No, it just contains types from currently compiler program...

>    Where >< is completion position.
>
>    I need to give out the list of types inherited from 'A', just as and the
> list of interfaces.
>
>    In principle, it is possible to give out simply the list of all 'open'
> types and interfaces.
>

You would probably need to show all types, filtering them out basing
on known type of expression (by using SuperType method).

If it would be useful, completion engine could create the "reverse"
hierarchy, by keeping for each TypeInfo the list of its subtypes -
currently compiler needs only the information in opposite direction,
and this is kept there.

-- 
Kamil Skalski
http://nazgul.omega.pl