[m-dev.] for review: Aditi [1]

[Fergus Henderson]

On 07-Jul-1998, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> Aditi compilation.
> 
> compiler/options.m:

As noted previously, the documentation for the new options
should be commented out for now; but in addition, the log message
should say that it is commented out (and why).

> compiler/hlds_pred.m:
> compiler/prog_data.m:
> compiler/prog_io_pragma.m:
> compiler/make_hlds.m:
> 	Add some Aditi pragma declarations - `aditi', `supp_magic', `naive',
> 	`psn' (predicate semi-naive), `base_relation' and `owner'.

You also added `memo', `no_memo', and `context', I think.
(What was `context' for?)

> compiler/hlds_pred.m:
> 	Add an `owner' field to pred_infos, which is used for database
> 	security checks.

I think the documentation in the user guide and reference manual
about the `owner' field should say that it is used for database
security checks.

> extras/aditi/aditi.m:
> 	Definitions of some Aditi library predicates and the 
> 	interfacing and transaction processing code.

I don't think this file was included in the diff you posted.

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