[m-rev.] For review: new constraint based mode analysis

[Ralph Becket]

Richard James FOTHERGILL, Monday, 21 February 2005:
> 
> >Agreed.  I think the polymorphism pass responsible for adding the extra
> >args should also update the argument mode records.
> 
> It looks like they do - now everything works fine without me trying to add
> modes for type info arguments.

Excellent!  Thanks for all your work on this one; I'm planning on
hooking it up to my constraint solver this week or next.  Have you
checked this stuff in?  If not, where are the files?  We need to rescue
anything on the machines the summer students have been using before
they're taken back on Wednesday.

Cheers,
-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------