[m-dev.] For review: Make Mercury cope with impure code

[Fergus Henderson]

On 05-Dec-1997, Peter Schachte <pets at cs.mu.oz.au> wrote:
> Round 3 for this review.
...
user_guide.texi:
> +Please note that the facilities described here are needed only very
> +rarely.  The main intent is for implementing language primitives such as
> +the all solutions predicates.  Any use of `impure' or `semipure'
> +probably indicates either a weakness in the Mercury standard library, or
> +the programmer's lack of familiarity with the standard library.
> +Newcomers to Mercury are hence encouraged to @strong{skip this section}.

s/`impure'/@samp{impure}/
s/`semipure'/@samp{semipure}/

Apart from that it looks fine, please commit it.

Oh, one more thing comes to mind --
is there a need for a `promise_semipure' pragma?

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