This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 1783 - [FS] editorial: 8.4 Judgments for FLWOR and other expressions on sequences
Summary: [FS] editorial: 8.4 Judgments for FLWOR and other expressions on sequences
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: All All
: P2 minor
Target Milestone: ---
Assignee: Michael Dyck
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-07-20 04:09 UTC by Michael Dyck
Modified: 2007-10-02 22:03 UTC (History)
1 user (show)

See Also:

Attachments

Description Michael Dyck 2005-07-20 04:09:41 UTC 
8.4 Judgments for FLWOR and other expressions on sequences

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

"Since each item as a of a different type"
    Change "as a of" to "has"  or "is of"

"approximate the number of occurrence of items"
    s/occurrence/occurrences/

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

"many functions"
    Insert "and" before "many".

'including "fn:unordered" and "fn:distinct" functions.'
    Delete the quotes.
    Delete "functions".
Comment 1 Jerome Simeon 2006-03-27 22:27:08 UTC 
Fixed as suggested.
- Jerome
Comment 2 Michael Dyck 2006-10-06 05:16:39 UTC 
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".
Comment 3 Jerome Simeon 2007-01-16 18:04:30 UTC 
Fixed.
- Jerome
Comment 4 Jim Melton 2007-02-25 23:19:18 UTC 
Closing bug because commenter has not objected to the resolution posted on 2007-01-16
Comment 5 Michael Dyck 2007-05-19 00:30:59 UTC 
"[Definition: A Prime types is a choice of item types]."
    s/Prime/prime/
    s/types/type/
    s/]./.]/
Comment 6 Michael Dyck 2007-10-02 22:03:37 UTC 
The leftover items identified in Comment #5 have been entered as FS erratum E015. I have committed the suggested fixes to the source files for the next edition of the FS document. Consequently, I'm marking this issue resolved-FIXED, and CLOSED.