typo in 18.4?

Dan Smith daniel.smith at oracle.com
Thu Nov 21 15:56:21 PST 2013


Yes, thanks.  Somebody else pointed that out to me this week, too.

—Dan

On Nov 21, 2013, at 7:40 AM, Stephan Herrmann <stephan.herrmann at berlin.de> wrote:

> not sure whether this has been mentioned before (by me?):
> 
> This sentence in 18.4:
> 
> For all i, (1 ≤ i ≤ n), where αi has upper bounds U1, ..., Uk,
> then define the upper bound of Zi as glb(L1θ, ..., Lkθ).
> 
> should probably say "glb(U1θ, ..., Ukθ).", right?
> 
> Stephan



More information about the lambda-spec-experts mailing list