cvs diff: pragma/1

[Fergus Henderson]

This one is BugFree(TM) and doesn't need reviewing.

library/nc_builtin.nl:
library/sp_builtin.nl:
	Add support for the `:- pragma blah(...)' syntax, now that
	`pragma' is a prefix operator.  This avoids some spurious
	warning messages.

Index: nc_builtin.nl
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/nc_builtin.nl,v
retrieving revision 1.10
diff -u -r1.10 nc_builtin.nl
--- nc_builtin.nl	1996/05/21 19:06:22	1.10
+++ nc_builtin.nl	1997/02/06 02:30:59
@@ -121,6 +121,7 @@
 % termExpansion((:- use_op(_)), (:- fail)).
 
 termExpansion((:- external(_)), (:- fail)).
+termExpansion((:- pragma(_)), (:- fail)).
 termExpansion((:- pragma(_, _)), (:- fail)).
 termExpansion((:- pragma(_, _, _)), (:- fail)).
 
Index: sp_builtin.nl
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/sp_builtin.nl,v
retrieving revision 1.9
diff -u -r1.9 sp_builtin.nl
--- sp_builtin.nl	1996/05/21 19:06:24	1.9
+++ sp_builtin.nl	1997/02/06 02:30:43
@@ -112,6 +112,7 @@
 
 mercury_declaration(when(_,_)).
 
+mercury_declaration(pragma(_)).
 mercury_declaration(pragma(_,_)).
 mercury_declaration(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.