[m-dev.] trivial diff: delete pair/2 inst from clpr/samples/tranny.m

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Feb 26 19:43:53 AEDT 2000

Estimated hours taken: 0.1

	Delete the definition of the inst `pair/2',
	since that inst is now defined in std_util.m.

Workspace: /d-drive/home/hg/public/test_mercury/test_dirs/hg/mercury
Index: extras/clpr/samples/tranny.m
RCS file: /home/staff/zs/imp/clpr/samples/tranny.m,v
retrieving revision 1.4
diff -u -d -r1.4 tranny.m
--- extras/clpr/samples/tranny.m	1997/09/15 20:08:55	1.4
+++ extras/clpr/samples/tranny.m	2000/02/26 08:38:50
@@ -21,7 +21,6 @@
 :- import_module cfloat, float_cfloat, cfloat_float, float.
 :- import_module require, std_util, int, list, dump.
-:- inst pair(I1, I2) = bound('-'(I1, I2)).
 :- inst list(I) = list_skel(I).
 :- type circuit		==	list(pair(component, list(node))).
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        |     -- the last words of T. S. Garp.
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list