Project Lambda: Java Language Specification draft

[Alex Buckley]

Gernot Neppert wrote:
>> [4.10.4 Subtyping among Function Types]
>>
>> #T(S1..Sm)(E1..En) is a direct supertype of #V(U1..Um)(F1..Fo) iff all
>>  of the following hold:
>> - T is a supertype of V.
>> - for i in 1..m: Ui is a supertype of Si.
>> - for j in 1..o: There exists a k in 1..n such that Ek is a supertype of Fj.
>>
>>  #Object(String,Integer) is a supertype of #Package(Object,Number).
>>  #Object(Object,Object) is also a supertype of #Package(Object,Number).
> 
> Surely the last line above must be a typo?

Yes, thanks.

#Object(Object,Number) is a supertype of #Package(Object,Object).

Alex