Complexity reduction when choosing the best inference leaf to be solved

[B. Blaser]

On 4 October 2017 at 13:55, Maurizio Cimadamore
<maurizio.cimadamore at oracle.com> wrote:
>
>
> On 04/10/17 11:08, B. Blaser wrote:
>>
>> That's what I thought, too. But with a "Map<Type, Node>", I was
>> surprised by a small set of failing tests because of more than one
>> node per variable. Is there any problem elsewhere?
>
> I think we need to look at those tests - do you have a pointer to what they
> were?

I don't remember exactly, but probably in "test/tools/javac/lambda".
My first idea was to replace the node list with a "LinkedHashMap<Type,
Node>" to have both benefits of an ordered list and a map. So, simply
replacing the list by the map and re-running the tests should reveal
the problem (I put an "Assert.check(map.remove(t) != null)" when
removing a node which made some tests fail).

Bernard


> Thanks
> Maurizio