[m-dev.] diff: fix fact_table inlining bug

[David Overton]

On Tue, Feb 09, 1999 at 09:17:33AM EST, Fergus Henderson wrote:
> Estimated hours taken: 1.5
> 
> Fix a bug where inlining of fact tables caused duplicate
> labels in the generated C code.
> 
> compiler/make_hlds.m:
> 	Make `pragma fact_table' imply `pragma no_inline'.
> 
> compiler/fact_table.m:
> 	Update some old comments which said that nondet `pragma c_code'
> 	was not yet implemented.
> 
> doc/reference_manual.texi:
> 	Document that `pragma c_code' should not contain labels
> 	unless there is a matching `pragma no_inline'.
> 

This change looks fine.

David
-- 
David Overton           Department of Computer Science & Software Engineering
MEngSc Student          The University of Melbourne, Australia
+61 3 9344 9159         http://www.cs.mu.oz.au/~dmo