🚀 go-pugleaf

In article <12243102365.25.KURKURE@Sushi.Stanford.EDU> KURKURE@SUSHI.STANFORD.EDU (Uday Kurkure) writes:
>    Having merged Logitech's Modula-2 compiler's pass1 and pass2 into
>    a single pass,  I think that if you have identifiers used in
>    statments before declaring them, it is not possible to have 
>    a one pass compiler because you can not do the type checking in a 
>    reasonable way.

	Actually, you can note the fact that whatever type the symbol has
    must be compatable with how it is being used, and check that against
    the actual declaration when you see it.  For example, if I see a
    function call:

    intvar := funct( 5.0, "test", 7 );

    I can note that funct must return a type that can be assigned to an int,
    and accept a floating point, char array, and integer argument;  then,
    when I see a declaration of funct, I can check against this usage, and
    determine whether the previous usage was correct.  While this may seem
    to be a lot of bookkeeping, it seems to me the gains in speed for a 
    one pass compiler are sufficient to warrant it.  I may also need to
    back-patch some appropriate type conversions (i.e. integer->real, etc.).

-- 
 Marc Mengel
 ...!ihnp4!cuuxb!mwm