[m-dev.] Termination analyser?

[Tyson Richard DOWD]

> How do I use the termination analyser? (ie. mc -??? x.m)
> 

AFAIK the installed compiler (mercury-latest) doesn't support
termination analysis, it's a sep. development branch of the compiler (It
will be merged in some day, however).

Hopefully one of the people working on this compiler branch can let you
know how to run it.

-- 
       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.)