typo in 18.4?
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.
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?
More information about the lambda-spec-experts