[m-dev.] for review: reordering for existential types [2]

[Fergus Henderson]

On 11-Jun-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 11-Jun-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > compiler/quantification.m:
> >	Include the new type_info variables field in the nonlocals for a
> >	complicated unify.
> 
> Sorry, the diff I posted here for quantification.m was the wrong one
> (it was from a different change).  Here's the correct diff for
> quantification.m, to match the above log message.

I also forgot to include the following change.

compiler/mode_info.m:
	In mode_info_set_call_arg_context, handle the case
	where the context is a unification -- this can happen
	when checking the modes of the implicit type_info
	arguments for polymorphic complicated unifications.

Workspace: /home/mercury0/fjh/mercury-other
Index: compiler/mode_info.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/mode_info.m,v
retrieving revision 1.49
diff -u -r1.49 mode_info.m
--- mode_info.m	1999/05/18 03:08:55	1.49
+++ mode_info.m	1999/06/08 07:07:28
@@ -573,6 +573,11 @@
 		mode_info_set_mode_context(
 			higher_order_call(PredOrFunc, ArgNum),
 			ModeInfo0, ModeInfo)
+	; ModeContext0 = unify(_UnifyContext, _Side) ->
+		% This only happens when checking that the typeinfo variables
+		% for polymorphic complicated unifications are ground.
+		% For that case, we don't care about the ArgNum.
+		ModeInfo = ModeInfo0
 	;
 		error("mode_info_set_call_arg_context")
 	).
-- 
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
--------------------------------------------------------------------------