[m-rev.] diff: fix boxing bug on .NET backend

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 1.5
Branches: main

The recent change to output closure layouts, triggered a bug where we
were incorrectly trying to box some already boxed values.

compiler/mlds_to_il.m:
    Update already_boxed.

Index: mlds_to_il.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/mlds_to_il.m,v
retrieving revision 1.106
diff -u -r1.106 mlds_to_il.m
--- mlds_to_il.m	3 Mar 2002 12:12:49 -0000	1.106
+++ mlds_to_il.m	5 Mar 2002 15:29:35 -0000
@@ -2522,8 +2522,14 @@
 	}.
 
 :- pred already_boxed(ilds__type::in) is semidet.
+already_boxed(ilds__type(_, object)).
+already_boxed(ilds__type(_, string)).
+already_boxed(ilds__type(_, refany)).
 already_boxed(ilds__type(_, class(_))).
+already_boxed(ilds__type(_, interface(_))).
 already_boxed(ilds__type(_, '[]'(_, _))).
+already_boxed(ilds__type(_, '&'(_))).
+already_boxed(ilds__type(_, '*'(_))).
 
 :- pred binaryop_to_il(binary_op, instr_tree, il_info,
 	il_info) is det.

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