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

[Fergus Henderson]

Peter Schachte, you 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.
If you want it to generate all equivalent types, the results would contain
lots of junk, and the compiler would be forced to keep around big tables
of equivalence types, even for types that were not used.

-- 
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.