[m-rev.] diff: fix pragma export bug with foreign types

Fergus Henderson fjh at cs.mu.OZ.AU
Sun May 19 20:48:50 AEST 2002


On 16-May-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> fjh wrote:
> > But I don't understand why this would be different between the LLDS and
> > MLDS back-ends.  The C interface should be the same for both, shouldn't it?
>
> The MLDS backend uses the function mlds_output_pragma_export_type to output
> the exported interface, while the LLDS backend uses type_to_string (which
> gives back the string representing the foreign type), which is why we need a
> differenent predicate to give back the typename when it is to be exported.

Your answer doesn't make any sense to me.
You are talking about implementation details,
but I am asking about the intended specification.
If the implementation details don't meet the specification,
then that's not sufficient reason to change the specification.

How would the users of Mercury benefit if the C interface is different
between the LLDS and MLDS back-ends?

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



More information about the reviews mailing list