[m-dev.] documentation for pragma fact_table

[Fergus Henderson]

Zoltan Somogyi, you wrote:
> 
> Fergus wrote:
> > My view is that `pragma fact_table' should not be part of the language,
> > but should instead be considered as an implementation-specific extension.
> > Hence, it should be documented in the user's guide, not in the language
> > reference manual.
> > 
> > However, the language reference manual should be modified to say that
> > implementations may add implementation-specific pragmas.
> 
> I agree with Fergus that `pragma fact_table' should not be part of Mercury.
> However, pragmatically what people look for in the reference manual is what
> the current "mc" can compile. I propose that we add a new section to the
> language reference manual on implementation-specific extension, and mention
> the ones supported by mc (i.e. pragma fact_table).

The language reference manual defines the language; I don't think we
should put descriptions of implementation-specific extensions in it.
Adding a pointer to the user's guide should be sufficient for pragmatic
purposes.

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