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

[Peter Ross]

fjh wrote:
> 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?
>
I should be the same for both backends.

I was trying to explain why I needed to add the code and it was so that it
the same for both backends (modulo the problem with MR_Box).

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