Type checking in AST?


Type checking can be done by walking the AST (one function right now that does not do a lot)

If treenode->operand == '[' for example, we have an array index, so check whether it's an integer - if not, this is a semantic error.

switch(value) -- must be an integer