equal
deleted
inserted
replaced
639 public JCFunctionalExpression() { |
639 public JCFunctionalExpression() { |
640 //a functional expression is always a 'true' poly |
640 //a functional expression is always a 'true' poly |
641 polyKind = PolyKind.POLY; |
641 polyKind = PolyKind.POLY; |
642 } |
642 } |
643 |
643 |
644 /** target descriptor inferred for this functional expression. */ |
|
645 public Type descriptorType; |
|
646 /** list of target types inferred for this functional expression. */ |
644 /** list of target types inferred for this functional expression. */ |
647 public List<TypeSymbol> targets; |
645 public List<Type> targets; |
|
646 |
|
647 public Type getDescriptorType(Types types) { |
|
648 return types.findDescriptorType(targets.head); |
|
649 } |
648 } |
650 } |
649 |
651 |
650 /** |
652 /** |
651 * A class definition. |
653 * A class definition. |
652 */ |
654 */ |