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

[Peter Schachte]

> > > +:- func type_name(type_info) = string.
> > Hmmm.. shouldn't this be cc_multi? A variable can have more than
> > one type name (equivalence types).
> Oh, and since type_of must be cc_multi, it can't be a function, instead
> it must be a predicate.  `canonical_type_of' can be a function, though.

Why shouldn't type_of(in, out) just be multi?  Why not allow it to
generate the names of equivalent types?


-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