Main function of type declaration handling pass.
public static
void Run();
Remarks
- constructing typing environments [TypeBuilder.make_tyenvs] - binding types [TypeBuilder.bind_types] - determining subtyping relations [TypeBuilder.determine_subtyping] - checking subtyping constraints on types that are already bound [TypeBuilder.check_bound_types] - adding members [TypeBuilder.add_members] - adding the variant/variant option special matching methods
See Also
TypeBuilder Class | Nemerle.Compiler Namespace