diff: hlds_out.m

[Fergus Henderson]

Hi,

compiler/hlds_out.m:
	Fix a bug introduced about 8 months ago:
	if the instmap delta is unreachable, print out
	"new insts: unreachable", rather than printing out nothing.
	Otherwise there is no way to distinguish between
	`reachable(Empty)' and `unreachable'.

Index: hlds_out.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/hlds_out.m,v
retrieving revision 1.166
diff -u -r1.166 hlds_out.m
--- hlds_out.m	1997/06/29 23:10:42	1.166
+++ hlds_out.m	1997/07/09 06:08:41
@@ -714,8 +714,11 @@
 		Indent, Follow, TypeQual),
 	( { string__contains_char(Verbose, 'i') } ->
 		{ goal_info_get_instmap_delta(GoalInfo, InstMapDelta) },
-		( { instmap_delta_changed_vars(InstMapDelta, Vars),
-				set__empty(Vars) } ->
+		(
+			{ instmap_delta_is_reachable(InstMapDelta) },
+			{ instmap_delta_changed_vars(InstMapDelta, Vars) },
+			{ set__empty(Vars) }
+		->
 			[]
 		;
 			hlds_out__write_indent(Indent),

-- 
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.