[m-dev.] diff: fix typeclasses bug

[Fergus Henderson]

Estimated hours taken: 0.75

compiler/simplify.m:
	Delete an overly conservative sanity check that was causing
	spurious failures for certain code involving type classes.

Workspace: /home/mercury0/fjh/mercury
Index: compiler/simplify.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/simplify.m,v
retrieving revision 1.68
diff -u -r1.68 simplify.m
--- simplify.m	1999/07/13 08:53:30	1.68
+++ simplify.m	1999/09/20 13:20:50
@@ -1065,7 +1065,7 @@
 :- mode simplify__process_compl_unify(in, in, in, in, in, in, in, out,
 		in, out) is det.
 
-simplify__process_compl_unify(XVar, YVar, UniMode, CanFail, OldTypeInfoVars,
+simplify__process_compl_unify(XVar, YVar, UniMode, CanFail, _OldTypeInfoVars,
 		Context, GoalInfo0, Goal) -->
 	=(Info0),
 	{ simplify_info_get_module_info(Info0, ModuleInfo) },
@@ -1083,11 +1083,6 @@
 		%
 		simplify__type_info_locn(TypeVar, TypeInfoVar, ExtraGoals),
 		{ ArgVars = [TypeInfoVar, XVar, YVar] },
-
-		% sanity check: the TypeInfoVars we computed here should
-		% match with what was stored in the complicated_unify struct
-		{ require(unify(OldTypeInfoVars, [TypeInfoVar]),
-		  "simplify__process_compl_unify: mismatched type_info vars") },
 
 		{ module_info_get_predicate_table(ModuleInfo,
 			PredicateTable) },

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