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

[Maurizio Cimadamore]

Thanks!

Maurizio


On 04/07/17 18:10, B. Blaser wrote:
> Done: https://bugs.openjdk.java.net/browse/JDK-8183548
>
> Bernard
>
> On 1 July 2017 at 23:17, Maurizio Cimadamore
> <maurizio.cimadamore at oracle.com> wrote:
>> 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
>>>>