[Bug 1783] [FS] editorial: 8.4 Judgments for FLWOR and other expressions on sequences

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


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |




------- Comment #2 from jmdyck@ibiblio.org  2006-10-06 05:16 -------
Not quite fixed:

"This sometimes requires to approximate"
    s/to approximate/approximating/

"Those judgments are in used the static semantics of many expressions,"
    s/Those judgments/These type functions/

And while you're there...

"Static typing for those operations need to infer"
    s/need/needs/

"Prime types are the types defined as a choice of item types"
    Probably clearer to stick to the singular:
        "A prime type is a type defined as a choice of item types."
    or even just
        "A prime type is a choice of item types."

"It defines two functions"
    "It" has lost its antecedent. Change to "This section".

Received on Friday, 6 October 2006 05:16:43 UTC