[m-dev.] Re: Signature of generated JAVA methods

[Holger Krug]

On Wed, Feb 20, 2002 at 02:27:32AM +1100, Fergus Henderson wrote:
> On 19-Feb-2002, Holger Krug <hkrug at rationalizer.com> wrote:
> > I spoke about the code generated from `pragma foreign_proc'.
> 
> Then what you said doesn't make sense,

I thought for every `pragma foreign_proc' there is a Java method
generated. Now I understand that this is not true.

> > If you meant a), so I cannot understand, why the MLDS->Java conversion
> > must know about the determinism. It should simply wrap the code
> > provided by the user. The user calls `return null;' whenever she wants
> > to indicate failure. 
> 
> I disagree.  That approach would prevent the Mercury compiler from
> inlining the user's Java code.

I feel ashamed.

> > Hence we should add the line number of the mercury could as comments:
> ...
> >  			/* start foreign proc at users_mercury.m:10452 */
> 
> That would be a good idea, yes.

I will ask Andre to do this.

-- 
Holger Krug
hkrug at rationalizer.com
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------