[m-rev.] diff: fix overly strict sanity check

[Zoltan Somogyi]

compiler/unify_gen.m:
	Loosen an overly strict sanity check that prevented compilation in term
	size profiling grades.

Zoltan.

cvs diff: Diffing .
Index: unify_gen.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/unify_gen.m,v
retrieving revision 1.154
diff -u -b -r1.154 unify_gen.m
--- unify_gen.m	5 Oct 2005 06:33:59 -0000	1.154
+++ unify_gen.m	5 Oct 2005 06:55:35 -0000
@@ -391,13 +391,12 @@
         ->
             (
                 TakeAddr = [], 
-                MaybeSize = no
-            ->
                 Type = code_info__variable_type(!.CI, Arg),
                 generate_sub_unify(ref(Var), ref(Arg), Mode, Type, Code, !CI)
             ;
+                TakeAddr = [_ | _], 
                 unexpected(this_file,
-                    "generate_construction_2: notag: take_addr or maybe_size")
+                    "generate_construction_2: notag: take_addr")
             )
         ;
             unexpected(this_file,
cvs diff: Diffing notes
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------