diff: tests/hard_coded/export_test.m bug fix

Fergus Henderson fjh at kryten.cs.mu.OZ.AU
Thu Sep 11 12:08:23 AEST 1997


Estimated hours taken: 2

tests/hard_coded/export_test.m:
	Fix a bug: the `pragma c_code' declaration did not specify
	`may_call_mercury' even though the C code actually did call Mercury.

Index: export_test.m
===================================================================
RCS file: /home/staff/zs/imp/tests/hard_coded/export_test.m,v
retrieving revision 1.1
diff -u -u -r1.1 export_test.m
--- 1.1	1997/07/29 01:05:10
+++ export_test.m	1997/09/11 02:04:40
@@ -25,7 +25,7 @@
 
 :- pragma export(foo(in, out), "foo").
 
-:- pragma c_code(bar(X::in, Y::out),
+:- pragma c_code(bar(X::in, Y::out), may_call_mercury,
 "
 	foo(X, &Y);
 ").

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



More information about the developers mailing list