trivial diff: fix bug in tests/general/common_type_cast.m

Fergus Henderson fjh at cs.mu.OZ.AU
Sun Mar 8 11:16:53 AEDT 1998


tests/general/common_type_cast.m:
	Use `is' rather than `=' for arithmetic, since otherwise
	it doesn't work under NU-Prolog or SICStus Prolog.

Index: common_type_cast.m
===================================================================
RCS file: /home/staff/zs/imp/tests/general/common_type_cast.m,v
retrieving revision 1.1
diff -u -u -r1.1 common_type_cast.m
--- common_type_cast.m	1998/02/25 00:12:07	1.1
+++ common_type_cast.m	1998/03/08 00:14:28
@@ -19,7 +19,7 @@
 :- import_module int, float.
 
 main -->
-	{ Pred = lambda([Int::in, Float::out] is det, Float = float(Int)) },
+	{ Pred = lambda([Int::in, Float::out] is det, Float is float(Int)) },
 	{ test(Pred, error("error"), Output1) },
 	{ test(Pred, ok(1), Output2) },
 	io__write(Output1),

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