[mercury-users] Idea for another handy convention (preds, thi s time).

[Ralph Becket]

> From: ddw at miscrit.be [mailto:ddw at miscrit.be]
> 
> > I know this sort of thing led to
> > all sorts of grief with inadequately documented predicates 
> when I worked
> > on a very large, multideveloper Prolog project.
> 
> Same experience....That's why I systematically spliced in the 
> inferenced made by the compiler.

Ah.  I prefer to write my own mode declarations by hand and let
the compiler tell me when declaration and code do not match up.
I find this saves me much debugging time (gets flashback to
impenetrable ML type-error messages...) and hair loss.

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