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

[Peter Schachte]

On Thu, 24 Apr 1997, Fergus Henderson wrote:

> > Why shouldn't type_of(in, out) just be multi?  Why not allow it to
> > generate the names of equivalent types?
> 
> Because that would be difficult to implement, inefficient, and not useful.

Ok, then why not just implement

	:- mode type_of(in, in) is semidet?

The type_of(in, out) is cc_multi version seems like it's not going to do
anything useful very often.  If you want to get "the" type name, you
probably want the canonical one, rather than just picking one of the
equivalent names at random.


-Peter Schachte      URL:  http://www.cs.mu.oz.au/~pets/
pets at cs.mu.OZ.AU     PGP:  finger pets at 128.250.37.150 for key
    [A computer is] like an Old Testament god, with a lot of rules
    and no mercy.  -- Joseph Campbell