The Type Analysis Module
Prev | Chapter 3. The C++ API | Next

## The Type Analysis Module

Type analysis is required to a limitted degree during parsing, as well as during semantic analysis that may follow. During overload resolution type analysis is needed to find the best conversion (standard or user defined), and for partial template specialization it is needed to match certain types for which a template has to be instantiated.

The type system consists of trees composed of Type nodes which may be looked up in terms of their encoded names (see the section called “The Encoding class”) in a TypeRepository.

### The Type Repository

### Overload Resolution

### The Template Repository

### Type Evaluation

### Constant expressions

Prev | Up | Next
The Symbol Table Module | Home | C++ Regression Tests