[mercury-users] Problem with mmake

[Tyson Dowd]

On 05-Jun-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> But the drawback of your approach is that changing a single configuration
> parameter while leaving the others unchanged is more difficult.
> And that is in my experience a significantly more common operation.

I don't believe that your experience (or mine, for that matter) is 
relevant to the discussion.  As far as I have seen, you (and I) spend
most of our time running the compiler and testing the system with a
variety of different options, in order to reproduce problems that others
have reported and test out new code.

This is a fundamentally different style of use than most users.

A user is giving feedback here, and you are not allowed to counter it
with the defence that the developers of the system don't use the system
that way.  IMHO it defeats the entire purpose of user feedback -- which
is to tell you things the developers don't already know.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------