Complexity reduction when choosing the best inference leaf to be solved

Maurizio Cimadamore maurizio.cimadamore at
Wed Oct 4 11:55:01 UTC 2017

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?


More information about the compiler-dev mailing list