[m-dev.] diff: module_qual.m import warnings

Simon TAYLOR stayl at students.cs.mu.oz.au
Sat May 24 12:00:19 AEST 1997


> compiler/module_qual.m:
> 	Don't warn about unnecessary interface imports of `string', `int',
> 	or `float', because such warnings are spurious in the common case
> 	where the interface uses the type string, int, or float.
> 	Also, make a few minor improvements to the error messages.
> 

> +		% We don't warn about modules `int', `float', or `string',
> +		% because those warnings are sometimes spurious.
> +		% (The types `int', `float', and `string' are defined
> +		% in mercury_builtin.m, but arguably they ought to be
> +		% defined in int.m, float.m, and string.m, and so if someone
> +		% uses the type `int' in the interface, then we don't warn
> +		% to warn about `import_module int' in the interface.)

This comment is a little misleading in that int, float and string aren't
actually defined in any module. Throughout the compiler, int is referred 
to as unqualified("int") not qualified("mercury_builtin", "int").

Other than that, those changes look fine.

Simon.



More information about the developers mailing list