[m-rev.] for review: moose fixes

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Jul 23 12:59:36 AEST 2003


On 23-Jul-2003, Julien Fischer <juliensf at students.cs.mu.OZ.AU> wrote:
> On Wed, 23 Jul 2003, Fergus Henderson wrote:
> > 	- Don't you need to also modify term_to_ite
> > 	  (in extras/moose/mercury_syntax.m) to handle the
> > 	  new kind of it-then-else goals?
>
> On closer inspection term_to_ite and a number of other predicates
> aren't actually used.  Moose compiles and runs quite happily without
> them.  Are they just dead code or was there some (unimplemented) purpose
> to them?

No idea.  Feel free to delete them.

> I wasn't actually intending to preserve the difference between
> the two notations for if-then-else goals in the generated code

Yes, I agree that is not worth preserving.

> > 	- The new syntax should be documented
> > 	  (in the extras/moose/README file).
> >
> > 	  [In fact, the old syntax for if-then-else also needs
> > 	  documenting, I think.]
>
> Why?  It's just normal Mercury syntax - no other syntax (other than moose
> specific declarations) are mentioned in the README file.

Sorry, my mistake.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list