[m-rev.] Types chapter of book for review

[Ralph Becket]

Michael Day, Tuesday, 25 March 2003:
> 
> Mercury does have these problems.  All type errors in a Mercury program
> are identified at compile time, making it harder to ship buggy programs.  
> An expressive type system makes Mercury programs more efficient, since no
> type checks are necessary at run time.  The extra information also allows
> the compiler to perform optimizations that would otherwise be impossible.
> 
> s/does/does not/ perhaps?

Just goes to show you shouldn't proof-read your own work!
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------