Type compatibility rules?

28 Sep 2005

      Currently, this compiles, I would think it would give a type check error:

program peter112;

type
   p1 = ^MedInt;
   p2 = ^MedInt;

   procedure doit( p: p1 );
   begin
   end;

var
   p: p2;
begin
   doit( p );
end.

Should p1 and p2 be parameter type compatible?

MWPascal complains of the type check on the parameter...?

I tried searching the docs for type compatibility, but did not find 
anything on the subject, perhaps I need to read the spec?

Thanks,
    Peter.

-- 
<http://www.stairways.com/>  <http://download.stairways.com/>

Type compatibility rules?

Peter N Lewis