diff: fix in polymorphism.m

David Glen JEFFERY dgj at cs.mu.OZ.AU
Wed Aug 26 14:21:40 AEST 1998


Hi,

Whadyareckon, Simon? (BTW, thanks for spotting this one).


Estimated hours taken: 0.1

compiler/polymorphism.m:
	Remove a very suspicious looking application of a *variable* type
	mapping to a type with *type variables* in it. The code doesn't seem
	to have any purpose, and all the test cases still pass.

Index: polymorphism.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/polymorphism.m,v
retrieving revision 1.146
diff -u -t -r1.146 polymorphism.m
--- polymorphism.m	1998/08/23 08:40:34	1.146
+++ polymorphism.m	1998/08/26 03:56:18
@@ -1755,11 +1755,8 @@
                                         % Make the type_infos for the types
                                         % that are constrained by this. These
                                         % are packaged in the typeclass_info
-                                term__apply_substitution_to_list(
-                                        ConstrainedTypes, VarTypes0,
-                                        RenamedConstrainedTypes),
                                 polymorphism__make_type_info_vars(
-                                        RenamedConstrainedTypes, ExistQVars,
+                                        ConstrainedTypes, ExistQVars,
                                         Context, InstanceExtraTypeInfoVars,
                                         TypeInfoGoals,
                                         Info0, Info1),



love and cuddles,
dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Department of Computer Science  |  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.



More information about the developers mailing list