[erlang-bugs] parameterised types for orddict:is_key/1

[Thorsten Schütt]

Hi Hans,

we parse all beam files with beam_lib:chunks, which are reachable from the Scalaris code. With the mentioned commit, we hit for the first time this variant of var. When I looked through the rest of the standard library there are indeed both versions. It is just by accident that we saw this variant of var for the first time at this commit.

Best regards,
  Thorsten

> On 08 Jun 2015, at 15:49, Hans Bolinder <hans.bolinder@REDACTED> wrote:
> 
> Hi,
> 
>> did the following commit introduce a new element to the abstract
>> representation of Erlang? Or is it the first occurrence of {var,
>> ¡Variablename¢} without a line number? All other occurrences of
>> variables have the form {var, LineNumber, ¡Variablename¢}.
>> 
>> Commit:
>> https://github.com/erlang/otp/commit/966e9e7ed0951db306c3c5dc4b1fd4c6eac25cf9
> 
> Not that I know of.
> 
> When compiling the commit you're referring to, I cannot see the same
> abstract representation as you do (I'm using beam_lib:chunks()).
> I've asked Kostis and some colleagues, and they can't either. How did
> you create the the file?
> 
> Best regards,
> 
> Hans Bolinder, Erlang/OTP team, Ericsson