[m-rev.] for review: deconstruct by functor number

[Ralph Becket]

Julien Fischer, Tuesday,  2 January 2007:
> 
> On Fri, 29 Dec 2006, Simon Taylor wrote:
> >
> >library/construct.m:
> >library/term.m:
> >browser/term_rep.m:
> >	Add a function get_functor_lex, which returns the lexicographic
> >	functor number given an ordinal functor number.
> >
> >	Add equivalence types to make it clearer which ordering is
> >	being used by which functor numbers.
> >
> >	Remove a C-ism: num_functors now fails rather than returning -1
> >	for types without functors.

Why wouldn't num_functors just return 0 for such types?  I don't
understand this behaviour.

-- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------