[m-rev.] EDCG implementation

[Ralph Becket]

> From: Peter Nicholas MALKIN [mailto:pnmalk at students.cs.mu.oz.au] 
> Sent: 16 March 2001 13:53
> 
> In summary:
> 	- EDCG predicate declarations are complete and final, and cannot
> 	  be circumvented.
> 	- Predicates without EDCG declarations can have EDCG argument
> 	  forms inferred but only if specified (compiler option
> 	  `--infer-edcgs').

That's a relief.  I had horrible visions of global-like variables
creeping
into the language.

Cheers,

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