[m-dev.] Type info convention

[Nancy Mazur]

> On 20-Nov-2000, Nancy Mazur <Nancy.Mazur at cs.kuleuven.ac.be> wrote:
> > > 
> > > I still don't understand why you care which arguments are "hidden"
> > > and which are "real", or even what criteria you would use to decide
> > > which is which.
> > 
> > I don't care about the hidden... I just want the real ones... the
> > ones with which the predicate has been declared and appears in 
> > interface-files (and not having arity problems and such.. ).. 
> 
> What about procedures which haven't been explicitly declared,
> and which don't occur in interface files?
> E.g. local predicates with no type declaration;
>      procedures introduced for lambda expressions;
>      procedures introduced for `promise' declarations;
>      procedures introduced for type specialization and other
>      optimizations;
>      etc.
> 
> What do you mean by the "real" arguments in those cases?

I don't care about those.. I'm only concerned with the predicates
that somehow do end up in the interface-files... 
I'll better then document that hlds_pred::proc_info_real_headvars(..)
that it's only useful, or rather, has only been tested on 
exported and pseudo-exported predicates... 

Greets,
Nancy
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------