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

[Richard James FOTHERGILL]

On Mon, 21 Feb 2005, Ralph Becket wrote:

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

My work is in /home/jupiter/richardf/mercury/ so it's not going anywhere. 
I havn't committed it yet because it failed the debugger/dice test -
where the output should have been

mdb> dice -f dice.fail -p dice.passes -m dice
Procedure          Path/Port          File:Line Pass (3) Fail Suspicion


I got

mdb> dice -f dice.fail -p die.passes -m dice
dice: invalid option -- m


Meaning, I think, that I need to cvs update and recompile, but I've been
getting "waiting for mercury's lock in /home/mercury1/repository/mercury" 
for a while now. So I can't say when I'll be able to do that.

Feel free to take the files - the ones I've changed are
compiler/prop_mode_constraints.m
compiler/build_mode_constraints.m
compiler/abstract_mode_constraints.m
compiler/check_hlds.m
compiler/mode_constraints.m
compiler/options.m
compiler/notes/compiler_design.html


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