[m-rev.] [dotnet-foreign] diff: use System.Array for mercury arrays

[Fergus Henderson]

On 01-Aug-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> A change to allow the IL backend represent the mercury type array(T) by
> System.Array.

(1) Why would we want to do that?

(2) I don't think your change does that.
    Your change seems to represent array(T) by the type "T[]",
    which is not the same as System.Array.

(3) Why would we want to do what your change actually does
    (as opposed to what the log message says it does)?

    Note that I previously wrote on mercury-reviews that
    "If you're talking about implementing the Mercury type `array(int)' 
    as the IL type `int []', then I don't think it is a good idea"
    <http://www.cs.mu.oz.au/research/mercury/mailing-lists/mercury-reviews/mercury-reviews.0107/0338.html>.

    So if you think it is a good idea, I would like you to please explain why.

(4) Is there any point in changing the compiler in this way without
    fixing library/array.m?

(5) Why not represent array types in the MLDS using the existing
    `mlds__array_type', rather than adding extra fields to `mlds__mercury_type'?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------