Type System Part 2

I made a Type System for C in Python. It has unsigned integers and signed integers (longs and ints).

It has a symbol table that is generated at type checking pass and it has a constant propagation system. The static type checker looks for and annotates all the types in expressions. Checks for errors.

In assembly all the types are converted to assembly types for x86, and instructions are selected for each type.

If you want to look at the code:

Compiler Code