hg: lambda/lambda/langtools: Bring the lambda compiler in sync with latest spec draft:

[maurizio.cimadamore at oracle.com]

Changeset: 90f2041aa943
Author:    mcimadamore
Date:      2011-05-20 17:19 +0100
URL:       http://hg.openjdk.java.net/lambda/lambda/langtools/rev/90f2041aa943

Bring the lambda compiler in sync with latest spec draft:
*) Add support for poly types/poly expressions
*) Add support for deferred attribution of poly expressions
*) Improved lambda inference support
*) Refactor code towards unification of lambda/method refs
*) New inference scheme for wildcards in SAM type
*) Add type-parameters to method types
*) Unify method checks in Resolve/Infer
*) Support re-entrant overload resolution
*) Support outwards propagation of constraints/inference variables from lambda body
*) Remove support for function type AST
*) Remove support for function types

- src/share/classes/com/sun/source/tree/FunctionTypeTree.java
! src/share/classes/com/sun/source/tree/Tree.java
! src/share/classes/com/sun/source/tree/TreeVisitor.java
! src/share/classes/com/sun/source/util/SimpleTreeVisitor.java
! src/share/classes/com/sun/source/util/TreeScanner.java
! src/share/classes/com/sun/tools/apt/mirror/util/TypesImpl.java
! src/share/classes/com/sun/tools/javac/code/Flags.java
! src/share/classes/com/sun/tools/javac/code/Printer.java
! src/share/classes/com/sun/tools/javac/code/Symbol.java
! src/share/classes/com/sun/tools/javac/code/Type.java
! src/share/classes/com/sun/tools/javac/code/TypeTags.java
! src/share/classes/com/sun/tools/javac/code/Types.java
! src/share/classes/com/sun/tools/javac/comp/Attr.java
! src/share/classes/com/sun/tools/javac/comp/Check.java
! src/share/classes/com/sun/tools/javac/comp/Flow.java
! src/share/classes/com/sun/tools/javac/comp/Infer.java
! src/share/classes/com/sun/tools/javac/comp/Lower.java
! src/share/classes/com/sun/tools/javac/comp/MemberEnter.java
! src/share/classes/com/sun/tools/javac/comp/Resolve.java
! src/share/classes/com/sun/tools/javac/comp/TransTypes.java
! src/share/classes/com/sun/tools/javac/comp/Unlambda.java
! src/share/classes/com/sun/tools/javac/jvm/ClassReader.java
! src/share/classes/com/sun/tools/javac/jvm/ClassWriter.java
! src/share/classes/com/sun/tools/javac/model/JavacTypes.java
! src/share/classes/com/sun/tools/javac/parser/JavacParser.java
! src/share/classes/com/sun/tools/javac/resources/compiler.properties
! src/share/classes/com/sun/tools/javac/tree/JCTree.java
! src/share/classes/com/sun/tools/javac/tree/Pretty.java
! src/share/classes/com/sun/tools/javac/tree/TreeCopier.java
! src/share/classes/com/sun/tools/javac/tree/TreeMaker.java
! src/share/classes/com/sun/tools/javac/tree/TreeScanner.java
! src/share/classes/com/sun/tools/javac/tree/TreeTranslator.java
! src/share/classes/com/sun/tools/javac/util/RichDiagnosticFormatter.java
! test/tools/javac/Diagnostics/6862608/T6862608a.out
! test/tools/javac/diags/examples.not-yet.txt
- test/tools/javac/diags/examples/UndeterminedType1.java
! test/tools/javac/generics/inference/6315770/T6315770.out
! test/tools/javac/generics/inference/6638712/T6638712a.out
! test/tools/javac/generics/inference/6638712/T6638712b.out
! test/tools/javac/generics/inference/6638712/T6638712e.out
- test/tools/javac/lambda/BadConv01.java
- test/tools/javac/lambda/BadConv02.java
! test/tools/javac/lambda/BadConv03.out
! test/tools/javac/lambda/BadLambdaPos.out
! test/tools/javac/lambda/BadReturn.out
! test/tools/javac/lambda/BadTargetType.out
- test/tools/javac/lambda/FuncType01.java
! test/tools/javac/lambda/LambdaCapture04.java
! test/tools/javac/lambda/LambdaCapture05.java
! test/tools/javac/lambda/LambdaConv02.out
! test/tools/javac/lambda/LambdaConv03.java
- test/tools/javac/lambda/LambdaConv04.java
! test/tools/javac/lambda/LambdaConv09.out
! test/tools/javac/lambda/LambdaConv10.out
! test/tools/javac/lambda/LambdaExprNotVoid.out
! test/tools/javac/lambda/MethodReference04.out
! test/tools/javac/lambda/MethodReference09.out
! test/tools/javac/lambda/MethodReference20.out
! test/tools/javac/lambda/TargetType01.java
- test/tools/javac/lambda/TargetType01.out
! test/tools/javac/lambda/TargetType04.out
! test/tools/javac/lambda/TargetType06.java
+ test/tools/javac/lambda/TargetType06.out
- test/tools/javac/lambda/TargetType09.java
! test/tools/javac/lambda/TargetType10.java
+ test/tools/javac/lambda/TargetType10.out
! test/tools/javac/lambda/TargetType11.java
+ test/tools/javac/lambda/TargetType11.out
! test/tools/javac/lambda/TargetType14.out
+ test/tools/javac/lambda/TargetType19.java
+ test/tools/javac/lambda/TargetType19.out
+ test/tools/javac/lambda/TargetType20.java
! test/tools/javac/lambda/badMemberRefBytecode/Main.java
! test/tools/javac/lambda/sqe/SAM_types/NonSAM1.out
! test/tools/javac/lambda/sqe/SAM_types/NonSAM3.out
! test/tools/javac/types/TypeHarness.java