JDK 10: Refactoring of LetExpr to allow more than one statement

[Maurizio Cimadamore]

Sure - go ahead, thanks!

Maurizio


On 01/07/17 09:43, B. Blaser wrote:
> Hi,
>
> On 10 May 2017 at 23:00, Maurizio Cimadamore
> <maurizio.cimadamore at oracle.com> wrote:
>> Hi,
>> I think that we're I'd like to see things moving is more in the direction of
>> block expressions, which allow even more freedom. That is, a list of
>> statements (maybe var decls, but maybe not), followed by an expression
>> (which is the expression value). I think this could be a powerful tool that
>> could come handy for some of the features discussed under the Amber
>> umbrella. So, I agree with you that LetExpr should be improved, but I guess
>> I'm in for a more radical overhaul ;-)
> Should I create a JBS issue only for the optimization of
> Lower.makeComma(), not to forget it once LetExpr will be updated?
>
> Thanks,
> Bernard
>
>> Maurizio
>>
>>
>>
>> On 10/05/17 21:14, B. Blaser wrote:
>>> Hi,
>>>
>>> I've suggested some time ago a refactoring of LetExpr to generate a
>>> more optimized code in some cases, see [1].
>>>
>>> The key idea is to allow LetExpr to have more than one statement in
>>> addition to multiple variable declarations. This would lead to a more
>>> optimal translation of comma-expressions, see [1].
>>>
>>> This suggestion refers to let-expressions in Lisp which allow more
>>> than one statement in addition to multiple variable declarations, see
>>> [2].
>>>
>>> Are you interested in such a feature? Should I create a JBS issue for
>>> that to be integrated in JDK 10?
>>>
>>> Regards,
>>> Bernard
>>>
>>> [1]
>>> http://mail.openjdk.java.net/pipermail/compiler-dev/2016-November/010531.html
>>> [2) http://www.lispworks.com/documentation/HyperSpec/Body/s_let_l.htm
>>