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".
Fixed as suggested. - Jerome
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".
Fixed. - Jerome
Closing bug because commenter has not objected to the resolution posted on 2007-01-16
"[Definition: A Prime types is a choice of item types]." s/Prime/prime/ s/types/type/ s/]./.]/
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.