[mercury-users] Why is --infer-all not the deafult?

[Fergus Henderson]

On 09-Jul-2004, Maurizio Colucci <seguso.forever at tin.it> wrote:
> It seems strange to me that --infer-all is not a default option when 
> compiling. Why is that?

Partly historical -- Mercury originally didn't support inference, and
when type and inference were first added they were not sufficiently
robust to enable by default.

But also because we think that writing explicit declarations is good
programming practice, since it makes programs easier for a reader
to understand.

-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------