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

Björn Gustavsson <>
Tue Feb 4 13:42:14 CET 2014

(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 <> 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.


Björn Gustavsson, Erlang/OTP, Ericsson AB

More information about the erlang-bugs mailing list