Re: Semantic (Type) analysis phase question

As usual, it depends on your problem


You can overlap parsing and semantic checking phases in a single pass,
and it is not hard to do it...if the source language helps. If you are
compiling PASCAL is a piece of cake, however, if you are compiling a
language with forward references (like a call to a function that is
defined later in the same file, without using C-like prototypes or
PASCAL-like forward declarations ), it is better to create an
intermediate representation form first (during the parsing) and doing
all the checks in a later pass.


Hope this helps you


Pablo


"Nicolás" wrote:


> Where should I check for semantic correctnes (type correctness, mostly) ?
> Is it better to do it in the parsing phase, while I am building the parse
> tree, or to do it after I have a complete parse tree, traversing the tree
> in post order ?

Return to the comp.compilers page.
Search the comp.compilers archives again.