[mercury-users] clause/1, functor/3, arg/3 ...

[Tyson Richard DOWD]

> Fergus Henderson wrote:
> 
> > ...
> > Another more long-term alternative would be to extend the
> > Mercury support for meta-programming to include support for
> > a Mercury equivalent to Prolog's clause/1, just as we have
> > (in our latest development release) added support for Mercury
> > equivalents to Prolog's functor/3 and arg/3.
> > ...
> 
> I'am very interested in those system predicates : when will the next
> release be available ?
> (Sorry if I missed the information...)

We've been discussing this recently, but haven't made any announcement -
we hope to release Mercury 0.7 in the next few weeks. 

If you can't wait...

There are untested betas at
	ftp://turiel.cs.mu.oz.au/pub/mercury/beta-releases
the latest of those (4th of July) certainly has (some) support for
functor and arg. But this support is incomplete (higher order types and
module qualification are definite problems), and the release is
not necessarily very stable.

-- 
       Tyson Dowd           # Assimilation doesn't kill people -- 
                            # resistance kills people.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd # (Seen on back of Borg cube.)