#
3111:dd06d18cd7dd |
|
19-Nov-2015 |
mcimadamore |
8067767: type inference performance regression Summary: Overhaul implememntation of inference incorporation Reviewed-by: vromero
|
#
1654:c6728c9addff |
|
21-Mar-2013 |
mcimadamore |
8010303: Graph inference: missing incorporation step causes spurious inference error Summary: Multiple equality constraints on inference vars are not used to generate new inference constraints Reviewed-by: jjg
|
#
1627:5ddecb91d843 |
|
12-Mar-2013 |
mcimadamore |
8009545: Graph inference: dependencies between inference variables should be set during incorporation Summary: Move all transitivity checks into the incorporation round Reviewed-by: jjg
|
#
1561:2154ed9ff6c8 |
|
12-Feb-2013 |
mcimadamore |
8007464: Add graph inference support Summary: Add support for more aggressive type-inference scheme Reviewed-by: jjg
|
#
1509:7873d37f5b37 |
|
21-Jan-2013 |
mcimadamore |
8005244: Implement overload resolution as per latest spec EDR Summary: Add support for stuck expressions and provisional applicability Reviewed-by: jjg
|
#
1414:01c9d4161882 |
|
17-Nov-2012 |
mcimadamore |
8003280: Add lambda tests Summary: Turn on lambda expression, method reference and default method support Reviewed-by: jjg
|