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.