[M3devel] Areas that may need attention in the frontend?

[Jay]

Clarification: the "questioning comment" is not mine, it is there in the code. I suspect it is a good question & that the code isn't what it should be.

 - Jay (briefly/pocket-sized-computer-aka-phone)

On Sep 19, 2012, at 7:39 PM, Antony Hosking <hosking at cs.purdue.edu> wrote:

> On Sep 19, 2012, at 9:31 PM, Jay K <jay.krell at cornell.edu> wrote:
> 
>> Areas that may need attention in the frontend?
>> 
>> 
>> TryFinStmt.m3:
>> 
>>       CG.Start_call_direct (p.handler.cg_proc, p.handler.level, CG.Type.Void);
>>       (* Shouldn't we pass the activation parameter here?
>>          What value do we pass? *)
>>       CG.Call_direct (p.handler.cg_proc, CG.Type.Void);
> 
> The level let’s you compute that.
> 
>> I'm wondering this too...like..what is the interface
>> to except/finally blocks?
> 
> ?
> 
>> It appears they take two, or one, or zero parameters,
>> depending on intepretation and context.
>> 
>> 
>> two parameters:
>>  _static_link
>>  exception stuff
>> 
>>  
>> one parameter:
>>  _static_link
>>  
>> 
>> zero parameters:
>>  the above
>> 
>> 
>> I think the right implmentation (assuming no significant
>> change to nested functions, which Tony is thinking about:) )
>> is one parameter:
>> 
>>   exception stuff
>> 
>> and the implied/popped static_link, always.
>> 
>> 
>> For now, I think I'll not prototype these and use K&R definitions, yuck!
> 
> That works.
> 
>> Maybe generating C++ with overloads is a good idea??
>> 
>> 
>> 
>> values/Procedure.m3:
>> 
>>     ELSIF (cur.token = TK.tSEMI) THEN
>>       t.body := NEW (Body, self := t);
>>       ProcBody.Push (t.body);
>>       (* try accepting the Modula-2 syntax *)
>>       Error.ID (id, "expecting \'=\' before procedure body");
>> 
>>  
>> Probably everything after the error should be removed?
>> Or this is an example trying to recover from parse errors
>> and doing best effort?
> 
> Yes.
> 
>> 
>> 
>>  - Jay
> 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20120919/3967095b/attachment-0002.html>