[erlang-bugs] Regression on match in 17.0-rc1

Anthony Ramine n.oxyde@REDACTED
Tue Feb 4 14:52:49 CET 2014


You fixed it already? Cool.

Regarding cerl_clauses:match_list, I don’t see the point of making it return clearly wrong or misleading values.

Why would it return [{X,io:format…},{Y,io:format…}] in the first place? That result is all but useful. Making it return a list of aliases would reduce the work needed in callers, don’t you think?

-- 
Anthony Ramine

Le 4 févr. 2014 à 13:42, Björn Gustavsson <bjorn@REDACTED> a écrit :

> (I am CC:ing Richard Carlsson since he wrote the cerl modules and the inliner.)
> 
> On Tue, Feb 4, 2014 at 11:17 AM, Anthony Ramine <n.oxyde@REDACTED> wrote:
>> Hello Björn,
>> 
>> I am wary of the call to cerl_clauses:match_list in cerl_inline, given that the returned bindings appear to be used.
>> 
> 
> The important thing is the expressions passed to cerl_clauses:match_list/2. If
> the inliner make sure hoisting any expression with a side-effect to an enclosing
> 'let' as I did in my fix it will still be safe.
> 
>> What do you think of making cerl_clauses:match_list returns {boolean(),Bindings,Aliases}?
> 
> Perhaps. If there is a clear need for it.
> 
> /Bjorn
> 
> -- 
> Björn Gustavsson, Erlang/OTP, Ericsson AB




More information about the erlang-bugs mailing list