powell@decwrl.DEC.COM (Michael L. Powell) (09/30/86)
The DECWRL Modula-2 compiler does indeed do intermodule type checking. Of
course, you may have discovered a case where it doesn't work correctly (i.e.,
a bug). The intermodule checker is invoked just before linking the program.
It runs over the object modules and checks for inconsistencies. Optionally,
if it finds any problems, it will recompile the appropriate modules. I have
heard about problems with the intermodule checker recompiling too many modules
but not with it recompiling too few.
Note: As distributed, by default, the mod command links without checking. If
you want intermodule checking, you must specify either the -m or -M flag on the
mod command you use to link your program (see the mod manual page for details).
If you want checking to be the default at your installation, simply change the
mod command.
If you did invoke the intermodule checker and it didn't find the inconsistency,
I'd appreciate hearing more details at the address below.
Michael L. Powell
Digital Equipment Corporation
Western Research Laboratory
100 Hamilton Ave
Palo Alto, CA 94301
{decvax,ucbvax}!decwrl!powell
powell@decwrl.dec.com
powell@decwrl.arpa