[m-dev.] diff: add module qualifiers to type names.

Fergus Henderson fjh at cs.mu.oz.au
Wed Jul 30 13:54:15 AEST 1997


Tyson Richard DOWD, you wrote:
> 
>  %	word 6		<string name of type>
>  %			e.g. "int" for `int', "list" for `list(T)',
>  %			"map" for `map(K,V)'
> +%	word 7		<string name of module>

I don't suppose it makes a huge difference, but I think it would make
more sense for the module name to come first.

> --- io.m	1997/07/27 15:06:50	1.132
> +++ io.m	1997/07/29 09:22:22
> @@ -1373,10 +1373,8 @@
>  		io__write_univ_as_univ(OrigUniv)
>  	; { univ_to_type(Univ, C_Pointer) } ->
>  		io__write_c_pointer(C_Pointer)
> -	; { type_ctor_name(type_ctor(univ_type(Univ))) = "array" } ->
> -		%
> -		% XXX shouldn't type names be module-qualified?
> -		%     shouldn't that be "array:array"?
> +	; { type_ctor_name(type_ctor(univ_type(Univ))) = "array" },
> +	  { type_ctor_module_name(type_ctor(univ_type(Univ))) = "array" } ->

That should be

	; { type_ctor_name_and_arity(type_ctor(univ_type(Univ)),
			"array", "array", 1) } ->

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.



More information about the developers mailing list