[m-dev.] for review: MR_TypeInfo cleanup, part 1

[Zoltan Somogyi]

On 23-Mar-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> You should put a public equivalence that type_info == type_desc for
> a while (probably until after our next release).  
> 
> We don't have a way of obsoleting types at the moment, so a comment
> saying that std_util:type_info is obsolete would be good too.

I've done this, and followed your other suggestions too.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------