Peter N Lewis wrote:
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...?
Note that MWPascal has a setting "Relax Pointer Compatibility". WIth the option turned on, MWPascal accepts the program above.
Regards,
Adriaan van Os