[m-rev.] Re: diff: fix for dummy_var bug

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Feb 15 00:33:05 AEDT 2003


And still more of the same...

Estimated hours taken: 0.5
Branches: main

compiler/ml_unify_gen.m:
	Fix yet another place where the MLDS back-end was generating
	references to `dummy_var', for construction unifications containing
	arguments with dummy types such as `io__state'.

Workspace: /home/fjh/public/test_mercury/test_dirs/HERMES/build.latest.gcc/mercury
Index: compiler/ml_unify_gen.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/ml_unify_gen.m,v
retrieving revision 1.61
diff -u -d -r1.61 ml_unify_gen.m
--- compiler/ml_unify_gen.m	14 Feb 2003 12:48:55 -0000	1.61
+++ compiler/ml_unify_gen.m	14 Feb 2003 13:31:57 -0000
@@ -94,7 +94,7 @@
 
 % XXX The following modules depend on the LLDS,
 % so ideally they should not be used here.
-:- import_module ll_backend__code_util. 	    % needed for `cons_id_to_tag'.
+:- import_module ll_backend__code_util.   % needed for `cons_id_to_tag'.
 
 :- import_module int, string, map, require, term, varset.
 :- import_module assoc_list, set.
@@ -1247,6 +1247,12 @@
 		%
 		{ UniMode = ((_LI - RI) -> (_LF - RF)) },
 		(
+			{ type_util__is_dummy_argument_type(ArgType)
+			; type_util__is_dummy_argument_type(ConsArgType)
+			}
+		->
+			{ Rval = const(null(MLDS_Type)) }
+		;
 			{ mode_to_arg_mode(ModuleInfo, (RI -> RF), ArgType,
 				top_in) }
 		->
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list