1783 2005-07-20 04:09:41 +0000 [FS] editorial: 8.4 Judgments for FLWOR and other expressions on sequences 2007-10-02 22:03:56 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck jmdyck jmdyck public-qt-comments oldest_to_newest 4983 0 jmdyck 2005-07-20 04:09:41 +0000 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". 8913 1 simeon 2006-03-27 22:27:08 +0000 Fixed as suggested. - Jerome 12332 2 jmdyck 2006-10-06 05:16:39 +0000 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". 13609 3 simeon 2007-01-16 18:04:30 +0000 Fixed. - Jerome 14104 4 jim.melton 2007-02-25 23:19:18 +0000 Closing bug because commenter has not objected to the resolution posted on 2007-01-16 15121 5 jmdyck 2007-05-19 00:30:59 +0000 "[Definition: A Prime types is a choice of item types]." s/Prime/prime/ s/types/type/ s/]./.]/ 16998 6 jmdyck 2007-10-02 22:03:37 +0000 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.