Diff: Slight improvement to a purity test file

[Peter Schachte]

Slight improvement to a purity test file

Estimated hours taken: .05

purity.m:
	Request that some of the tests *not* be inlined, since there
	is a version of each test which *is* requested to be inlined,
	so this should give better coverage.

Index: purity.m
===================================================================
RCS file: /home/staff/zs/imp/tests/hard_coded/purity.m,v
retrieving revision 1.1
diff -u -r1.1 purity.m
--- purity.m	1997/12/09 04:09:33	1.1
+++ purity.m	1997/12/12 05:15:40
@@ -28,12 +28,15 @@
 
 :- impure pred set_x(int::in) is det.
 :- pragma c_code(set_x(X::in), will_not_call_mercury, "x=X;" ).
+:- pragma no_inline(set_x/1).
 
 :- impure pred incr_x is det.
 :- pragma c_code(incr_x, will_not_call_mercury, "++x;" ).
+:- pragma no_inline(incr_x/0).
 
 :- semipure pred get_x(int::out) is det.
 :- pragma c_code(get_x(X::out), will_not_call_mercury, "X=x;").
+:- pragma no_inline(get_x/1).
 
 
 :- impure pred set_x_inline(int::in) is det.