[m-dev.] Type info convention

[Peter Ross]

Hi,

The work done by Simon on the type spec change causes a few problems for
structure reuse.  This is because type_info's are a `hidden' type, ie
they don't appear in mode declarations.  Simons latest changes places
some new type infos at the end of the headvars, making it very hard to
determine which headvars are `real'.

Simon would it be possible to change this so that the type infos are
placed at the head of the list?  How much work would it be?

I think we should obey the convention that any head var which doesn't
have an explicit mode declaration should go at the start of the
headvars.

Thoughts?

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