[m-dev.] for review:

[Zoltan Somogyi]

This is for both branches.

var_locn.m:
	Loosen a sanity check, to enable us to compile var.m in
	extras/trailed_update at -O3 without a compiler abort.

Index: compiler/var_locn.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/var_locn.m,v
retrieving revision 1.2
diff -u -b -r1.2 var_locn.m
--- compiler/var_locn.m	2000/09/19 03:05:16	1.2
+++ compiler/var_locn.m	2001/02/09 06:16:13
@@ -1464,8 +1464,10 @@
 			var_locn__set_var_state_map(VarStateMap)
 		)
 	;
-		{ require(unify(FirstTime, no),
-			"var_locn__var_becomes_dead: premature deletion") }
+		[]
+		% With the current liveness pass, this can fail.
+		% { require(unify(FirstTime, no),
+		% 	"var_locn__var_becomes_dead: premature deletion") }
 	).
 
 % Given a set of lvals, return the set of root lvals among them and inside
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------