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

[Fergus Henderson]

More of the same...

Estimated hours taken: 0.75
Branches: main

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

Workspace: /home/ceres/fjh/mercury
Index: compiler/ml_unify_gen.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/ml_unify_gen.m,v
retrieving revision 1.60
diff -u -d -r1.60 ml_unify_gen.m
--- compiler/ml_unify_gen.m	14 Jan 2003 16:42:28 -0000	1.60
+++ compiler/ml_unify_gen.m	14 Feb 2003 12:25:07 -0000
@@ -1634,7 +1634,9 @@
 	(
 		% skip dummy argument types, since they will not have
 		% been declared
-		{ type_util__is_dummy_argument_type(ArgType) }
+		{ type_util__is_dummy_argument_type(ArgType)
+		; type_util__is_dummy_argument_type(FieldType)
+		}
 	->
 		{ MLDS_Statements = MLDS_Statements0 }
 	;
-- 
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
--------------------------------------------------------------------------