[m-dev.] diff: type_name/1 et al

[Tyson Richard DOWD]

Just a quick point before reviewing the whole diff...

> -	% num_functors(TypeInfo) returns the number of different functors
> -	% for the type specified by TypeInfo, or -1 if the type is not a
> -	% discriminated union type.
> +	% type_name(Type) returns the name of the specified type.
> +	% (e.g. type_name(type_of([2,3])) = "list(int)").
> +
> +:- func type_name(type_info) = string.
> +

Hmmm.. shouldn't this be cc_multi? A variable can have more than
one type name (equivalence types).

-- 
       Tyson Dowd           #
                            #             Sign on refrigerator:
     trd at cs.mu.oz.au        #           Refrigerate after opening. 
http://www.cs.mu.oz.au/~trd #                  - C. J. Owen.