[Bug 1672] [FS] editorial: 4.8.4 Order By and Return Clauses

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1672





------- Comment #2 from jmdyck@ibiblio.org  2006-04-12 04:19 -------
I think that could be made plainer in the text then.

"An OrderByClause is normalized ..., which guarantees that the OrderSpecList
is well typed."
    Actually, an OrderSpecList doesn't have a type, so saying that it's well
    typed is odd. Moreover, successful normalization alone doesn't guarantee
    that the OrderSpecList doesn't cause any type errors; you need successful
    STA too.

"but this normalization does provide the correct static type."
    Normalization does not provide a type, it yields an expression for which
    STA will provide a type. Anyway, the point is not to get the correct type
    (since that's independent of the OrderByClause), it's to prevent the
    inference engine from succeeding when it shouldn't.

Received on Wednesday, 12 April 2006 04:19:43 UTC