Sunday, 31 July 2005
Thursday, 28 July 2005
- RE: [Bug 1753] The sorting process
- [Bug 1230] Rules for forwards-compatibility mode
- [Bug 1822] [XSLT 2.0] +INF
- Re: [Bug 1753] The sorting process
- [Bug 1817] [XSLT 2.0] Incorrect example for xsl:namespace
- [Bug 1753] The sorting process
- [Bug 1825] Contradictory statements for casting from xs:QName to xs:QName
- [Bug 1753] The sorting process
- [Bug 1824] Functions return xs:NCName, but xs:NCName is not support in XSLT 2.0 Basic
- [Bug 1824] Functions return xs:NCName, but xs:NCName is not support in XSLT 2.0 Basic
- [Bug 1319] definition of a XSLT processor
- [Bug 1825] Contradictory statements for casting from xs:QName to xs:QName
- [Bug 1826] Editorial: op:union/op:intersect defined in F&O, but error handling in XPath 2.0
- [Bug 1826] Editorial: op:union/op:intersect defined in F&O, but error handling in XPath 2.0
- [Bug 1826] Editorial: op:union/op:intersect defined in F&O, but error handling in XPath 2.0
- [Bug 1825] Contradictory statements for casting from xs:QName to xs:QName
- [Bug 1823] Editorial: section 6.2, xs:NCNAME, XSL-T sample code
- [Bug 1826] Editorial: op:union/op:intersect defined in F&O, but error handling in XPath 2.0
- [Bug 1826] New: Editorial: op:union/op:intersect defined in F&O, but error handling in XPath 2.0
- [Bug 1825] New: Contradictory statements for casting from xs:QName to xs:QName
- [Bug 1824] New: Functions return xs:NCName, but xs:NCName is not support in XSLT 2.0 Basic
- [Bug 1823] New: Editorial: section 6.2, xs:NCNAME, XSL-T sample code
- [Bug 1494] [XQuery] encoding names
- RE: comment on XSLT2 WD from Kit Lueder, MITRE
- [Bug 1822] New: [XSLT 2.0] +INF
Wednesday, 27 July 2005
Thursday, 28 July 2005
- [Bug 1580] [FS] technical: 4.1.5 Function Calls: complicated by pseudo-functions
- [Bug 1820] New: [FS] technical: 4.1.5 Function Calls: dynEnvDefault
- [Bug 1583] [FS] technical: 4.1.5 Function Calls: refactor
- [Bug 1583] [FS] technical: 4.1.5 Function Calls: refactor
Wednesday, 27 July 2005
- [Bug 1308] proposal: merge xsl:perform-sort and xsl:sequence
- [Bug 1753] The sorting process
- [Bug 1308] proposal: merge xsl:perform-sort and xsl:sequence
- [Bug 1737] [FS] no seed to start the recursion in 8.1.10 "union interpretation..."
- [Bug 1742] [FS] technical: 5.15 Function Declaration: adding FunctionDecl to statEnv
- [Bug 1755] [FS] technical: 7.2 Standard functions with specific typing rules
- [Bug 1579] [FS] technical: 4.1.5 Function Calls: STA: "first check"
- [Bug 1580] [FS] technical: 4.1.5 Function Calls: complicated by pseudo-functions
- [Bug 1583] [FS] technical: 4.1.5 Function Calls: refactor
- [Bug 1582] [FS] technical: 4.1.5 Function Calls: return-promotion for imported fns
- [Bug 1584] [FS] technical: 4.1.5 Function Calls: "for all j"
- [Bug 1743] [FS] technical: 5.15 Function Declaration: a function can reference any function
- [Bug 1585] [FS] technical: 4.1.5 Function Calls: free pattern in not()
- [Bug 1581] [FS] technical: 4.1.5 Function Calls: argument promotion
Tuesday, 26 July 2005
- [Bug 1424] [FO] Some editorial improvements on sections 10.1/10.2
- [Bug 1701] [FS] what is [For/FLWR]?
- [Bug 1424] [FO] Some editorial improvements on sections 10.1/10.2
- [Bug 1523] [FO] fn:subsequence and negative start position
- [Bug 1631] FTScoreClause (xpath)
- [Bug 1728] [FS] stronger inference is possible in 7.2.13 "fn:subsequence"
- [Bug 1720] [FS] what is the "operand" of fs:convert-operand? what is the type of $actual?
- [Bug 1788] [FS] incomplete specification for the conditions of type error err:XQTY0086
- [Bug 1788] [FS] incomplete specification for the conditions of type error err:XQTY0086
- [Bug 1788] [FS] incomplete specification for the conditions of type error err:XQTY0086
- [Bug 1788] [FS] incomplete specification for the conditions of type error err:XQTY0086
- [Bug 1710] (FS)
- [Bug 1629] [FS] technical: 4.7.1 Direct Element Constructors: character content
- [Bug 1693] [FS] lack of quantification and double subscripting is seriously wrong
- [Bug 1788] [FS] incomplete specification for the conditions of type error err:XQTY0086
- [Bug 1730] [FS] difficult use of "?" in inferences in 8.1 "Judgments for accessing types"
- [Bug 1721] [FS] need a judgment to find the "best" type and quantifier
- [Bug 1699] [FS] algebra of sequence concatenation is not complete
- [Bug 1655] [FS] need examples of when to raise a type error
- [Bug 1655] [FS] need examples of when to raise a type error
- [Bug 1605] The inference engine is not specified (only the rule base it uses is)
- [Bug 1710] (FS)
- [Bug 1629] [FS] technical: 4.7.1 Direct Element Constructors: character content
- [Bug 1730] [FS] difficult use of "?" in inferences in 8.1 "Judgments for accessing types"
- [Bug 1721] [FS] need a judgment to find the "best" type and quantifier
- [Bug 1655] [FS] need examples of when to raise a type error
- [Bug 1605] The inference engine is not specified (only the rule base it uses is)
- [Bug 1420] [FO] base-uri for collation uris
- [Bug 1817] New: [XSLT 2.0] Incorrect example for xsl:namespace
- [Bug 1721] [FS] need a judgment to find the "best" type and quantifier
Monday, 25 July 2005
- [Bug 1721] [FS] need a judgment to find the "best" type and quantifier
- [Bug 1721] [FS] need a judgment to find the "best" type and quantifier
- [Bug 1612] what is the quantification of unbound variables?
- [Bug 1605] The inference engine is not specified (only the rule base it uses is)
- [Bug 1655] [FS] need examples of when to raise a type error
- [Bug 1625] Static Typing Feature may find a type error that the dynamic evaluaton would miss
- [Bug 1625] Static Typing Feature may find a type error that the dynamic evaluaton would miss
- [Bug 1812] Need explicit statement on global variables and launch options
- [Bug 1811] Need explicit statement of interactions among initial settings
- [Bug 1813] Does format-number still need notion of overflow?
- [Bug 1813] New: Does format-number still need notion of overflow?
- [Bug 1812] New: Need explicit statement on global variables and launch options
- [Bug 1811] New: Need explicit statement of interactions among initial settings
Friday, 22 July 2005
- [Bug 1668] [FS] technical: 4.8.1 FLWOR expressions: non-parameterized normalization
- [Bug 1693] [FS] lack of quantification and double subscripting is seriously wrong
- [Bug 1689] [FS] automatic cast of any atomic type or just untypedAtomic?
- [Bug 1687] [FS] AtomizeAtomic(SequenceType) normaliztion
- [Bug 1615] what types are permitted in document { Type }?
- [Bug 1566] [FS] technical: 4.1.1 Literals
- [Bug 1359] please verify references to the various parts of the charmod-specs
- [Bug 1389] [XQuery] some editorial comments on A.4 Precedence Order
- [Bug 1307] [XQuery] Line Endings
- [Bug 1520] Editorial & Suggestion: distinguish different QNames in EBNF
- [Bug 1412] [XQuery] Grammar: Allowing comments between $ and QName
- [Bug 1367] [XQuery] some editorial comments on 2.6 Comments
- [Bug 1448] [XQuery] Grammar: Longest token vs delimiting terminal
- [Bug 1390] [XQuery] suggested alternate wording for A.2 and some A.1.1
- [Bug 1387] [XQuery] some editorial comments on A.2.3 Comments
- [Bug 1384] [XQuery] some editorial comments on A.2.1 Terminal Types
- [Bug 1383] [XQuery] some editorial comments on A.2 Lexical structure
- [Bug 1382] [XQuery] some editorial comments on A.1.1 grammar-note: occurrence-indicators
- [Bug 1381] [XQuery] some editorial comments on A.1.1 grammar-note: reserved-function-names
- [Bug 1380] [XQuery] some editorial comments on A.1.1 grammar-note: xml-version
- [Bug 1379] [XQuery] some editorial comments on A.1.1 grammar-note: comments
- [Bug 1375] [XQuery] some editorial comments on A.1.1 Grammar Notes (general)
- [Bug 1373] [XQuery] some editorial comments on A.1 EBNF (productions)
- [Bug 1389] [XQuery] some editorial comments on A.4 Precedence Order
- [Bug 1388] [XQuery] some editorial comments on A.3 Reserved Function Names
- [Bug 1386] [XQuery] some editorial comments on A.2.2.2 Explicit Whitespace Handling
- [Bug 1385] [XQuery] some editorial comments on A.2.2.1 Default Whitespace Handling
- [Bug 1378] [XQuery] some editorial comments on A.1.1 grammar-note: leading-lone-slash
- [Bug 1376] [XQuery] some editorial comments on A.1.1 grammar-note: parens
- [Bug 1374] [XQuery] some editorial comments on A.1 EBNF (notation)
- [Bug 1368] [XQuery] some editorial comments on 3.2 Path Expressions
- [Bug 1377] [XQuery] some editorial comments on A.1.1 grammar-note: lt
- [Bug 1637] [FS] collations can have a third, optional, mapping
- [Bug 1650] [FS] please list all expressions that do not propagate errors
- [Bug 1647] [FS] technical: NamespaceBindings in CompElemConstructor
- [Bug 1641] [FS] technical: 4.7.1.1 Attributes: make normalizations explicit
- [Bug 1619] what is the default type of a document?
- [Bug 1628] [FS] technical: 4.7.1 Direct Element Constructors: element-content units
- [Bug 1524] propose new function fn:escape-html-uri
- [Bug 1618] the formal type notation for element is ambiguous
- [Bug 1616] only the semantics of sequence types are specified, not all formal types
- [Bug 1614] please spell out all defaults explicitly
- [Bug 1605] The inference engine is not specified (only the rule base it uses is)
- [Bug 1464] [XSLT] Typo in formating a float?
- [Bug 1576] [FS] technical: 4.1.5 Function Calls: AtomizeAtomic
- [Bug 1576] [FS] technical: 4.1.5 Function Calls: AtomizeAtomic
- [Bug 1688] simplifying the definition of AtomizeAtomic
- [Bug 1571] [FS] technical: 4.1.2 Variable References
- [Bug 1571] [FS] technical: 4.1.2 Variable References
- [Bug 1406] Serialization of float and double via decimal problematic
- [Bug 1524] propose new function fn:escape-html-uri
- [Bug 1808] New: [FS] editorial: E.1.5.3 Annotate
- [Bug 1807] New: [FS] editorial: E.1.5.2 Nil-annotate
- [Bug 1806] New: [FS] editorial: E.1.5.1 Simply annotate
- [Bug 1805] New: [FS] editorial: E.1.5 Annotate
- [Bug 1804] New: [FS] editorial: E.1.4.2 Erases
- [Bug 1803] New: [FS] editorial: E.1.4.1 Simply erases
- [Bug 1802] New: [FS] editorial: E.1.3 Attribute filtering
- [Bug 1801] New: [FS] editorial: E.1.1 Type resolution
- [Bug 1800] New: [FS] editorial: E.1 Judgments for the validate expression
- [Bug 1799] New: [FS] editorial: C.1 Introduction
- [Bug 1798] New: [FS] editorial: B.2 Mapping of Overloaded Internal Functions
- [Bug 1554] [FS] technical: 3.3.3 Handling Dynamic Errors
- [Bug 1586] [FS] technical: 4.1.5 Function Calls: propagating errors
- [Bug 1563] [FS] technical: 4 Expressions
- [Bug 1554] [FS] technical: 3.3.3 Handling Dynamic Errors
- [Bug 1464] [XSLT] Typo in formating a float?
Thursday, 21 July 2005
- [Bug 1568] [F+O] Unnecessary assumption in example
- [Bug 1489] Missing overflow/underflow/truncation rules for literals
- [Bug 1756] [FS] editorial: 7.2.3 The fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions
- [Bug 1568] [F+O] Unnecessary assumption in example
- [Bug 1794] Casting float/double to string
- [Bug 1568] [F+O] Unnecessary assumption in example
- [Bug 1567] Subtract duration from date: minor error
- [Bug 1324] on encoding
- [Bug 1728] [FS] stronger inference is possible in 7.2.13 "fn:subsequence"
- [Bug 1721] [FS] need a judgment to find the "best" type and quantifier
- [Bug 1797] New: [XSLT] Extension attributes for serialization
- [Bug 1464] [XSLT] Typo in formating a float?
- [Bug 1464] [XSLT] Typo in formating a float?
- [Bug 1796] New: [FS] editorial: problems re URI, URILiteral, AnyURI
- [Bug 1721] [FS] need a judgment to find the "best" type and quantifier
- [Bug 1470] [FO] namespace-uri-for-prefix signature
- [Bug 1476] [FO] fn:id: allow node to be empty in signature
- [Bug 1472] [FO] fn:lang: signature should allow empty sequence
- [Bug 1474] [FO] fn:resolve-QName and empty nodes
- [Bug 1467] [FO] Cleanup of argument cardinality
- [Bug 1422] [FO] Types of substring arguments
- [Bug 1469] [FO] fn:insert-before: allow empty sequence for position
- [Bug 1477] [FO] fn:idref: allow node to be empty in signature
- [Bug 1471] [FO] Cardinality of fn:dateTime arguments
- [Bug 1475] [FO] fn:subsequence: Should allow empty for startingLoc and length
- [Bug 1473] [FO] in-scope-prefixes : allow empty sequence as input values
- [Bug 1468] [FO] fn:remove: allow empty position
- [Bug 1477] [FO] fn:idref: allow node to be empty in signature
- [Bug 1476] [FO] fn:id: allow node to be empty in signature
- [Bug 1475] [FO] fn:subsequence: Should allow empty for startingLoc and length
- [Bug 1474] [FO] fn:resolve-QName and empty nodes
- [Bug 1473] [FO] in-scope-prefixes : allow empty sequence as input values
- [Bug 1472] [FO] fn:lang: signature should allow empty sequence
- [Bug 1471] [FO] Cardinality of fn:dateTime arguments
- [Bug 1469] [FO] fn:insert-before: allow empty sequence for position
- [Bug 1468] [FO] fn:remove: allow empty position
- [Bug 1422] [FO] Types of substring arguments
- [Bug 1470] [FO] namespace-uri-for-prefix signature
- [Bug 1464] [XSLT] Typo in formating a float?
- [Bug 1721] [FS] need a judgment to find the "best" type and quantifier
- [Bug 1464] [XSLT] Typo in formating a float?
- [Bug 1327] URI-escaping
- [Bug 1207] Is unsignedInt("+123") an error?
- [Bug 1720] [FS] what is the "operand" of fs:convert-operand? what is the type of $actual?
- [Bug 1704] [FS] technical: 5.2 Module Declaration: importing a namespace that is the target of two modules
- [Bug 1699] [FS] algebra of sequence concatenation is not complete
- [Bug 1688] simplifying the definition of AtomizeAtomic
- [Bug 1668] [FS] technical: 4.8.1 FLWOR expressions: non-parameterized normalization
- [Bug 1794] Casting float/double to string
- [Bug 1576] [FS] technical: 4.1.5 Function Calls: AtomizeAtomic
- [Bug 1566] [FS] technical: 4.1.1 Literals
- [Bug 1794] New: Casting float/double to string
- [Bug 1554] [FS] technical: 3.3.3 Handling Dynamic Errors
- [Bug 1458] XQST0082 should be a dynamic error not a static error
- [Bug 1570] [XQuery+XSLT] xml:id
- [Bug 1792] New: [FS] editorial: []_sequencetype needs statEnv?
- [Bug 1580] [FS] technical: 4.1.5 Function Calls: complicated by pseudo-functions
- [Bug 1579] [FS] technical: 4.1.5 Function Calls: STA: "first check"
- [Bug 1585] [FS] technical: 4.1.5 Function Calls: free pattern in not()
- [Bug 1571] [FS] technical: 4.1.2 Variable References
- [Bug 1566] [FS] technical: 4.1.1 Literals
- [Bug 1689] [FS] automatic cast of any atomic type or just untypedAtomic?
- [Bug 1687] [FS] AtomizeAtomic(SequenceType) normaliztion
- [Bug 1647] [FS] technical: NamespaceBindings in CompElemConstructor
- [Bug 1708] [FS] (editorial) recommendation for static typing extensions
- [Bug 1554] [FS] technical: 3.3.3 Handling Dynamic Errors
- [Bug 1628] [FS] technical: 4.7.1 Direct Element Constructors: element-content units
- [Bug 1625] Static Typing Feature may find a type error that the dynamic evaluaton would miss
- [Bug 1619] what is the default type of a document?
- [Bug 1616] only the semantics of sequence types are specified, not all formal types
Wednesday, 20 July 2005
- [Bug 1605] The inference engine is not specified (only the rule base it uses is)
- [Bug 1615] what types are permitted in document { Type }?
- [Bug 1614] please spell out all defaults explicitly
- [Bug 1605] The inference engine is not specified (only the rule base it uses is)
- [Bug 1571] [FS] technical: 4.1.2 Variable References
- [Bug 1566] [FS] technical: 4.1.1 Literals
- [Bug 1563] [FS] technical: 4 Expressions
- [Bug 1554] [FS] technical: 3.3.3 Handling Dynamic Errors
- [Bug 1728] [FS] stronger inference is possible in 7.2.13 "fn:subsequence"
- [Bug 1766] [FS] technical: 7.2.13 The fn:subsequence function: tighter typing
- [Bug 1576] [FS] technical: 4.1.5 Function Calls: AtomizeAtomic
- [Bug 1728] [FS] stronger inference is possible in 7.2.13 "fn:subsequence"
- [Bug 1767] [FS] technical: 7.2.13 The fn:subsequence function: incorrect typing?
- [Bug 1728] [FS] stronger inference is possible in 7.2.13 "fn:subsequence"
- [Bug 1414] [XQuery] Semantics: Treatment of untyped values with value comparisons
- [Bug 1618] the formal type notation for element is ambiguous
- [Bug 1414] [XQuery] Semantics: Treatment of untyped values with value comparisons
- [Bug 1766] [FS] technical: 7.2.13 The fn:subsequence function: tighter typing
- [Bug 1612] what is the quantification of unbound variables?
- [Bug 1767] [FS] technical: 7.2.13 The fn:subsequence function: incorrect typing?
- [Bug 1766] [FS] technical: 7.2.13 The fn:subsequence function: tighter typing
- [Bug 1728] [FS] stronger inference is possible in 7.2.13 "fn:subsequence"
- [Bug 1790] [FS] technical: normalization rules "not required"
- [Bug 1791] New: [FS] editorial: unbolded colon
- [Bug 1612] what is the quantification of unbound variables?
- [Bug 1790] New: [FS] technical: normalization rules "not required"
- [Bug 1701] [FS] what is [For/FLWR]?
- [Bug 1606] what is an [expression/query]?
- [Bug 1612] what is the quantification of unbound variables?
- [Bug 1570] [XQuery+XSLT] xml:id
- [Bug 1464] [XSLT] Typo in formating a float?
- Re: [FT] FTDistance
- [Bug 1665] user-defined tree navigation primitives
- [Bug 1612] what is the quantification of unbound variables?
- [Bug 1464] [XSLT] Typo in formating a float?
- [Bug 1612] what is the quantification of unbound variables?
- [Bug 1789] New: [FS] editorial: item*
- [Bug 1600] sporadic judgments in ordinary English
- [Bug 1430] [XPath] Further simplification of EBV
- [Bug 1605] The inference engine is not specified (only the rule base it uses is)
- [Bug 1612] what is the quantification of unbound variables?
- [Bug 1788] New: [FS] incomplete specification for the conditions of type error err:XQTY0086
- [Bug 1281] Error code format out of date
- [Bug 1281] Error code format out of date
- [Bug 1626] [XQuery] editorial: 3.7.1.3 Content: handling boundary whitespace
- [Bug 1617] how are comments really parsed?
- [Bug 1527] Grammar for abbreviated step
- [Bug 1412] [XQuery] Grammar: Allowing comments between $ and QName
- [Bug 1383] [XQuery] some editorial comments on A.2 Lexical structure
- [Bug 1527] Grammar for abbreviated step
- [Bug 1787] New: [FS] editorial: problems re VarRef, Variable
- [Bug 1786] New: [FS] editorial: 8.6.1 Elements in validation mode
- [Bug 1785] New: [FS] editorial: 8.5.1 Type promotion
- [Bug 1783] New: [FS] editorial: 8.4 Judgments for FLWOR and other expressions on sequences
- [Bug 1782] New: [FS] editorial: 8.3.2 Subtype and Type equality
- [Bug 1781] New: [FS] editorial: 8.3.1 Matches
- [Bug 1780] New: [FS] editorial: 8.2.3.2.2 (Dynamic semantics of) Kind Tests
- [Bug 1779] New: [FS] editorial: 8.2.3.2.1 (Dynamic semantics of) Name Tests
- [Bug 1778] New: [FS] editorial: 8.2.3.1.2 (Static semantics of) Kind Tests
- [Bug 1777] New: [FS] editorial: 8.2.3.1.1 (Static semantics of) Name Tests
- [Bug 1776] New: [FS] editorial: 8.2.2.2 Dynamic semantics of axes
- [Bug 1775] New: [FS] editorial: 8.2.2.1.1 Inference rules for all axis
- [Bug 1774] New: [FS] editorial: 8.2.2.1 Static semantics of axes
- [Bug 1773] New: [FS] editorial: 8.2.1 Principal Node Kind
- [Bug 1772] New: [FS] editorial: 8.1.9 Type expansion
- [Bug 1771] New: [FS] editorial: 8.1.5, 8.1.6, E.1.5.2: "Type1 = AttributeAll1, ElementContent1"
- [Bug 1770] New: [FS] editorial: 8.1.3, 8.1.4: statEnv.attrDecl(AttributeName)
- [Bug 1769] New: [FS] editorial: 8.1.1 Derives from
- [Bug 1738] [FS] what is "one-determinism"?
- [Bug 1728] [FS] stronger inference is possible in 7.2.13 "fn:subsequence"
- [Bug 1732] [FS] is "derives from" really asymmetric?
- [Bug 1705] [FS] technical: 5.2 Module Declaration: cyclical imports
- [Bug 1383] [XQuery] some editorial comments on A.2 Lexical structure
- [Bug 1709] [FS] (editorial) recommendation for static typing extensions
- [Bug 1708] [FS] (editorial) recommendation for static typing extensions
- [Bug 1645] [FS] tightening the description of the Normalization phase
- [Bug 1383] [XQuery] some editorial comments on A.2 Lexical structure
- [Bug 1705] [FS] technical: 5.2 Module Declaration: cyclical imports
- [Bug 1645] [FS] tightening the description of the Normalization phase
- [Bug 1622] a union type does not have a base type
- [Bug 1768] New: [FS] editorial: 7.2.16 The fn:zero-or-one, fn:one-or-more, and fn:exactly-one functions
- [Bug 1621] no algebra of types
Tuesday, 19 July 2005
- [Bug 1767] New: [FS] technical: 7.2.13 The fn:subsequence function: incorrect typing?
- [Bug 1766] New: [FS] technical: 7.2.13 The fn:subsequence function: tighter typing
- [Bug 1765] New: [FS] editorial: 7.2.13 The fn:subsequence function
- [Bug 1608] can namespaces be removed from an environment by undeclaring?
- [Bug 1431] [FO/FS] Constrain $zero to be compatible if static typing is available
- [Bug 1608] can namespaces be removed from an environment by undeclaring?
- [Bug 1755] [FS] technical: 7.2 Standard functions with specific typing rules
- [Bug 1603] no definition of "may", etc.
- [Bug 1764] New: [FS] editorial: 7.2.11 The fn:remove function
- [Bug 1763] New: [FS] editorial: 7.2.10 The fn:min, fn:max, fn:avg, and fn:sum functions
- [Bug 1701] [FS] what is [For/FLWR]?
- [Bug 1686] Hard to find the definitions of purely symbolic judgments
- [Bug 1761] New: [FS] editorial: 7.2.9 The fn:error function
- [Bug 1656] [FS] undefined notation in 4.1.2 "Variable references" and elsewhere
- [Bug 1760] New: [FS] editorial: 7.2.8 The fn:unordered function
- [Bug 1759] New: [FS] editorial: 7.2.6 The fn:data function
- [Bug 1758] New: [FS] editorial: 7.2.5 The fn:collection and fn:doc functions
- [Bug 1645] [FS] tightening the description of the Normalization phase
- [Bug 1757] [FS] editorial: 7.2.4 The fn:boolean function
- [Bug 1757] New: [FS] editorial: 7.2.4 The fn:boolean function
- [Bug 1747] [FS] editorial: 7.1.6 The fs:distinct-doc-order-or-atomic-sequence function
- [Bug 1578] [FS] technical: 4.1.5 Function Calls: overloading is restricted
- [Bug 1577] [FS] technical: 4.1.5 Function Calls: Normalization
- [Bug 1621] no algebra of types
- [Bug 1617] how are comments really parsed?
- [Bug 1576] [FS] technical: 4.1.5 Function Calls: AtomizeAtomic
- [Bug 1431] [FO/FS] Constrain $zero to be compatible if static typing is available
- [Bug 1756] New: [FS] editorial: 7.2.3 The fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions
- [Bug 1600] sporadic judgments in ordinary English
- [Bug 1755] New: [FS] technical: 7.2 Standard functions with specific typing rules
- [Bug 1296] [DM] (from XML Core WG) Declaration base URI
- [Bug 1295] [DM] (from XML Core WG) Relation of DM types to Schema types
- [Bug 1383] [XQuery] some editorial comments on A.2 Lexical structure
- [Bug 1383] [XQuery] some editorial comments on A.2 Lexical structure
- [Bug 1754] New: [FS] editorial: 7.2.1, 7.2.2, 7.2.10: normalizing calls to particular functions
- [Bug 1753] New: The sorting process
- [Bug 1728] [FS] stronger inference is possible in 7.2.13 "fn:subsequence"
- [Bug 1752] [FS] editorial: 7.2 Standard functions with specific typing rules
- [Bug 1729] [FS] probable typo in 8.1 "udgments for accessing types"
- [Bug 1719] [FS] ElementContent is italicized but not a BNF non-terminal
- [Bug 1716] [FS] editorial: 5.12 Namespace Declaration
- [Bug 1701] [FS] what is [For/FLWR]?
- [Bug 1691] [FS] ambiguous use of "first rule"
- [Bug 1690] [FS] need to know what function is invoked before looking for special rules
- [Bug 1684] [FS] editorial: 4.14 Extension Expressions
- [Bug 1683] [FS] editorial: 4.13.1 Validating an Element Node
- [Bug 1682] [FS] editorial: 4.13 Validate Expressions
- [Bug 1681] [FS] editorial: 4.12.6 Treat
- [Bug 1678] [FS] editorial: 4.12.3 Cast
- [Bug 1675] [FS] editorial: 4.11 Quantified Expressions
- [Bug 1674] [FS] editorial: 4.10 Conditional Expressions
- [Bug 1674] [FS] editorial: 4.10 Conditional Expressions
- [Bug 1673] [FS] editorial: 4.9 Ordered and Unordered Expressions
- [Bug 1670] [FS] editorial: 4.8.3 Let Expression
- [Bug 1664] [FS] editorial: 4.7.3.6 Computed Comment Constructors
- [Bug 1662] [FS] editorial: 4.7.3.4 Text Node Constructors
- [Bug 1656] [FS] undefined notation in 4.1.2 "Variable references" and elsewhere
- [Bug 1654] [FS] multiple terms for "static [type] [inference] rule"
- [Bug 1653] what is a "wildcard element type"?
- [Bug 1652] [FS] poor usage: "may not raise an error"
- [Bug 1649] [FS] request an example of passing information in a normalization rule
- [Bug 1648] [FS] normalization rules may invoke other normalization rules
- [Bug 1644] [FS] what is the type of fs:position and fs:last?
- [Bug 1643] [FS] proposed wording fix for dynEnv.funcDefn
- [Bug 1642] [FS] better to say "initial environment" rather than an "initial state"
- [Bug 1639] [FS] please define "=" in judgments, especially for URIs
- [Bug 1638] [FS] do input collections all have the same type?
- [Bug 1636] [FS] why two spellings, Uri and URI?
- [Bug 1635] [FS] does tatEnv "correspond" to the static context?
- [Bug 1634] [FS] "type correct", "type safe", "type-safe", "well-typed"
- [Bug 1633] [FS] The Expr's in [Expr]Expr are not the same
- [Bug 1632] [FS] convention for inferences with no premises
- [Bug 1624] can type definitions be recursive?
- [Bug 1623] please provide examples of list and union types
- [Bug 1620] unbalanced parens
- [Bug 1527] Grammar for abbreviated step
- [Bug 1613] so what are "the appropriate URIs"?
- [Bug 1611] section 2 is not self-contained and ought to be
- [Bug 1610] don't environments behave like a stack? why not say so?
- [Bug 1609] two notations for function evaluation (= and =>)
- [Bug 1607] any other environment groups besides static and dynamic contexts?
- [Bug 1606] what is an [expression/query]?
- [Bug 1604] which grammar is intended by italicization?
- [Bug 1601] [FS] editorial: 4.7 Constructors
- [Bug 1600] sporadic judgments in ordinary English
- [Bug 1596] [FS] editorial: 4.5 Comparison Expressions
- [Bug 1594] [FS] editorial: 4.3.3 Combining Node Sequences
- [Bug 1593] [FS] editorial: 4.3.2 Filter Expresssions
- [Bug 1590] [FS] editorial: 4.2.2 Predicates
- [Bug 1589] [FS] editorial: 4.2.1.1 Axes
- [Bug 1752] New: [FS] editorial: 7.2 Standard functions with specific typing rules
- [Bug 1751] New: [FS] editorial: 7.1.13 The fs:to function
- [Bug 1750] New: [FS] editorial: 7.1.12 The fs:apply-ordering-mode function
- [Bug 1749] New: [FS] editorial: 7.1.8, 7.1.9, 7.1.10, 7.1.11
- [Bug 1748] New: [FS] editorial: 7.1.7 The fs:item-sequence-to-node-sequence function
- [Bug 1747] New: [FS] editorial: 7.1.6 The fs:distinct-doc-order-or-atomic-sequence function
- [Bug 1746] New: [FS] editorial: 7.1.4 The fs:convert-simple-operand function
- [Bug 1745] New: [FS] editorial: 7.1.3 The fs:convert-operand function
Monday, 18 July 2005
- [Bug 1744] New: [FS] editorial: 5.16 Option Declaration
- [Bug 1743] New: [FS] technical: 5.15 Function Declaration: a function can reference any function
- [Bug 1742] New: [FS] technical: 5.15 Function Declaration: adding FunctionDecl to statEnv
- [Bug 1741] New: [FS] editorial: 5.15 Function Declaration
- [Bug 1740] New: [FS] please summarize the Formal grammar in an appendix
- [Bug 1739] New: [FS] please provide hot links to the definition of "prime type"
- [Bug 1738] New: [FS] what is "one-determinism"?
- [Bug 1737] New: [FS] no seed to start the recursion in 8.1.10 "union interpretation..."
- [Bug 1736] New: [FS] ambiguous use of "optional" in 8.1.9 "type expansion"
- [Bug 1735] New: [FS] should BuiltInAttributes be italicized?
- [Bug 1734] New: [FS] examples that don't fit on the page in 8.1.2 "Substitutes for"
- [Bug 1733] New: [FS] missing subscripts in 8.1.2 "Substitutes for"
- [Bug 1732] New: [FS] is "derives from" really asymmetric?
- [Bug 1731] New: [FS] missing subscripts in 8.1.1 "Derives from"
- [Bug 1730] New: [FS] difficult use of "?" in inferences in 8.1 "Judgments for accessing types"
- [Bug 1729] New: [FS] probable typo in 8.1 "udgments for accessing types"
- [Bug 1728] New: [FS] stronger inference is possible in 7.2.13 "fn:subsequence"
- [Bug 1727] New: [FS] probable typo in last inference in 7.2.13 "fn:subsequence"
- [Bug 1726] New: [FS] induction or recursion?
- [Bug 1725] New: [FS] missing "if" in definition of convert_untypedAtomic
- [Bug 1724] New: [FS] inconsistent usage in 7.2.5 "fn:collection and fn:doc"
- [Bug 1723] New: [FS] two inferences in 7.2.5 "Fn:collection" conclude with wrong quantifier
- [Bug 1722] New: [FS] typos in two inferences in 7.2.5 "fn:collection..."
- [Bug 1721] [FS] need a judgment to find the "best" type and quantifier
- [Bug 1721] New: [FS] need a judgment to find the "best" type and quantifier
- [Bug 1720] New: [FS] what is the "operand" of fs:convert-operand? what is the type of $actual?
- [Bug 1719] New: [FS] ElementContent is italicized but not a BNF non-terminal
- [Bug 1718] New: [FS] editorial: 5.14 Variable Declaration
- [Bug 1717] New: [FS] editorial: 5.13 Default Namespace Declaration
- [Bug 1716] New: [FS] editorial: 5.12 Namespace Declaration
- [Bug 1715] New: [FS] editorial: 5.11 Module Import
- [Bug 1709] [FS] (editorial) recommendation for static typing extensions
- [Bug 1714] New: [FS] editorial: 5.10 Schema Import
- [Bug 1713] New: [FS] editorial: 5.7, 5.8, 5.9
- [Bug 1712] New: (FS) (editorial) variable declarations
- [Bug 1711] New: [FS] editorial: 5.6 Construction Declaration
- [Bug 1710] New: (FS)
- [Bug 1709] New: [FS] (editorial) recommendation for static typing extensions
- [Bug 1708] New: [FS] (editorial) recommendation for static typing extensions
- [Bug 1707] New: [FS] editorial: 5.5 Base URI Declaration
- [Bug 1706] New: [FS] editorial: 5.3 Boundary-space Declaration
- [Bug 1705] New: [FS] technical: 5.2 Module Declaration: cyclical imports
- [Bug 1704] New: [FS] editorial: [FS] technical: 5.2 Module Declaration: importing a namespace that is the target of two modules
- [Bug 1703] New: [FS] editorial: 5.2 Module Declaration
- [FT] FTDistance
Sunday, 17 July 2005
- [Bug 1699] New: [FS] algebra of sequence concatenation is not complete
- [Bug 1701] New: [FS] what is [For/FLWR]?
- [Bug 1702] New: [FS] editorial: 5.1 Version Declaration
- [Bug 1700] New: [FS] most arithmetic operations are not monomorphic
- [Bug 1698] New: [FS] is it "filter judgment" or "filter inference"?
- [Bug 1697] New: [FS] some normalizations in 4.2.1 are not grammatical
- [Bug 1696] New: [FS] first sentence of 4.2.1 is not grammatical
- [Bug 1695] New: [FS] inconsistent quoting in 4.2 normalization rules
- [Bug 1694] New: [FS] editorial: 5 Modules and Prologs
- [Bug 1693] New: [FS] lack of quantification and double subscripting is seriously wrong
- [Bug 1692] New: [FS] iterative application of the rule on union types
- [Bug 1691] New: [FS] ambiguous use of "first rule"
- [Bug 1690] New: [FS] need to know what function is invoked before looking for special rules
- [Bug 1689] New: [FS] automatic cast of any atomic type or just untypedAtomic?
- [Bug 1688] New: simplifying the definition of AtomizeAtomic
- [Bug 1687] New: [FS] AtomizeAtomic(SequenceType) normaliztion
- [Bug 1686] New: Hard to find the definitions of purely symbolic judgments
- [Bug 1685] New: [FS] please place "if" before "then"
Saturday, 16 July 2005
Sunday, 17 July 2005
- [Bug 1684] New: [FS] editorial: 4.14 Extension Expressions
- [Bug 1683] New: [FS] editorial: 4.13.1 Validating an Element Node
- [Bug 1682] New: [FS] editorial: 4.13 Validate Expressions
- [Bug 1681] New: [FS] editorial: 4.12.6 Treat
- [Bug 1680] New: [FS] editorial: 4.12.5 Constructor Functions
- [Bug 1679] New: [FS] editorial: 4.12.4 Castable
- [Bug 1678] New: [FS] editorial: 4.12.3 Cast
- [Bug 1677] New: [FS] editorial: 4.12.2 Typeswitch
- [Bug 1676] New: [FS] editorial: 4.12 Expressions on SequenceTypes
- [Bug 1675] New: [FS] editorial: 4.11 Quantified Expressions
- [Bug 1674] New: [FS] editorial: 4.10 Conditional Expressions
- [Bug 1673] New: [FS] editorial: 4.9 Ordered and Unordered Expressions
- [Bug 1672] New: [FS] editorial: 4.8.4 Order By and Return Clauses
- [Bug 1665] user-defined tree navigation primitives
- [Bug 1670] New: [FS] editorial: 4.8.3 Let Expression
- [Bug 1669] New: [FS] editorial: 4.8.2 For expression
- [Bug 1667] [FS] editorial: 4.8.1 FLWOR expressions
Saturday, 16 July 2005
- [Bug 1668] New: [FS] technical: 4.8.1 FLWOR expressions: non-parameterized normalization
- [Bug 1667] New: [FS] editorial: 4.8.1 FLWOR expressions
- [Bug 1666] New: [FS] editorial: 4.8 [For/FLWR] Expressions
- [Bug 1665] New: user-defined tree navigation primitives
- [Bug 1664] New: [FS] editorial: 4.7.3.6 Computed Comment Constructors
- [Bug 1663] New: [FS] editorial: 4.7.3.5 Computed Processing Instruction Constructors
- [Bug 1662] New: [FS] editorial: 4.7.3.4 Text Node Constructors
- [Bug 1661] New: [FS] editorial: 4.7.3.3 Document Node Constructors
- [Bug 1660] New: [FS] editorial: 4.7.3.2 Computed Attribute Constructors
- [Bug 1659] New: [FS] editorial: 4.7.3.1 Computed Element Constructors
- Re: integrating assign in the standard
- [Bug 1658] New: [FS] editorial: 4.7.2 Other Direct Constructors
- [Bug 1657] New: [FS] editorial: 4.7.1.4 Whitespace in Element Content
- [Bug 1656] New: [FS] undefined notation in 4.1.2 "Variable references" and elsewhere
- [Bug 1655] New: [FS] need examples of when to raise a type error
- [Bug 1654] New: [FS] multiple terms for "static [type] [inference] rule"
- [Bug 1653] New: what is a "wildcard element type"?
- [Bug 1652] New: [FS] poor usage: "may not raise an error"
- [Bug 1651] please create a section for "handling static errors"
- [Bug 1651] New: please create a section for "handling static errors"
- [Bug 1650] New: [FS] please list all expressions that do not propagate errors
- [Bug 1649] New: [FS] request an example of passing information in a normalization rule
- [Bug 1648] New: [FS] normalization rules may invoke other normalization rules
- [Bug 1647] New: [FS] technical: NamespaceBindings in CompElemConstructor
- [Bug 1646] New: [FS] editorial: 4.7.1.2 Namespace Declaration Attributes
Friday, 15 July 2005
- [Bug 1640] [FS] editorial: 4.7.1.1 Attributes
- [Bug 1645] [FS] tightening the description of the Normalization phase
- [Bug 1641] New: [FS] technical: 4.7.1.1 Attributes: make normalizations explicit
- [Bug 1645] New: [FS] tightening the description of the Normalization phase
- [Bug 1643] New: [FS] proposed wording fix for dynEnv.funcDefn
- [Bug 1642] New: [FS] better to say "initial environment" rather than an "initial state"
- [Bug 1644] New: [FS] what is the type of fs:position and fs:last?
- [Bug 1640] New: [FS] editorial: 4.7.1.1 Attributes
- [Bug 1639] New: [FS] please define "=" in judgments, especially for URIs
- [Bug 1638] New: [FS] do input collections all have the same type?
- [Bug 1637] New: [FS] collations can have a third, optional, mapping
- [Bug 1636] New: [FS] why two spellings, Uri and URI?
- [Bug 1633] New: [FS] The Expr's in [Expr]Expr are not the same
- [Bug 1635] New: [FS] does tatEnv "correspond" to the static context?
- [Bug 1634] New: [FS] "type correct", "type safe", "type-safe", "well-typed"
- [Bug 1632] New: [FS] convention for inferences with no premises
- [Bug 1609] two notations for function evaluation (= and =>)
- [Bug 1631] New: FTScoreClause (xpath)
- [Bug 1630] New: Issue: booleannaming
- Re: [FT] FTThesaurusOption
- [Bug 1629] New: [FS] technical: 4.7.1 Direct Element Constructors: character content
- [Bug 1628] New: [FS] technical: 4.7.1 Direct Element Constructors: element-content units
- [Bug 1627] New: [FS] editorial: 4.7.1 Direct Element Constructors
- [Bug 1572] [FS] editorial: 4.1.2 Variable References
- [Bug 1565] [FS] editorial: 4.1.1 Literals
- [Bug 1626] New: [XQuery] editorial: 3.7.1.3 Content: handling boundary whitespace
- [Bug 1625] New: Static Typing Feature may find a type error that the dynamic evaluation would miss
- [Bug 1624] New: can type definitions be recursive?
- [Bug 1623] New: please provide examples of list and union types
- [Bug 1622] New: a union type does not have a base type
- [Bug 1621] New: no algebra of types
- [Bug 1620] New: unbalanced parens
- [Bug 1619] New: what is the default type of a document?
- [Bug 1618] New: the formal type notation for element is ambiguous
- [Bug 1617] New: how are comments really parsed?
- [Bug 1616] New: only the semantics of sequence types are specified, not all formal types
- [Bug 1615] New: what types are permitted in document { Type }?
- [Bug 1614] New: please spell out all defaults explicitly
- [Bug 1613] New: so what are "the appropriate URIs"?
- [Bug 1612] New: what is the quantification of unbound variables?
- [Bug 1611] New: section 2 is not self-contained and ought to be
- [Bug 1610] New: don't environments behave like a stack? why not say so?
- [Bug 1609] New: two notations for function evaluation (= and =>)
- [Bug 1608] New: can namespaces be removed from an environment by undeclaring?
- [Bug 1607] New: any other environment groups besides static and dynamic contexts?
Thursday, 14 July 2005
- [Bug 1606] New: what is an [expression/query]?
- [Bug 1605] New: The inference engine is not specified (only the rule base it uses is)
- [Bug 1604] New: which grammar is intended by italicization?
- [Bug 1603] New: no definition of "may", etc.
- [Bug 1602] New: minor editorial for section 2.1.2
- [Bug 1601] New: [FS] editorial: 4.7 Constructors
- [Bug 1600] New: sporadic judgments in ordinary English
- [Bug 1599] New: [FS] editorial: 4.5.3 Node Comparisons
- [Bug 1598] New: [FS] editorial: 4.5.2 General Comparisons
- [Bug 1597] New: [FS] editorial: 4.5.1 Value Comparisons
- [Bug 1596] New: [FS] editorial: 4.5 Comparison Expressions
- [Bug 1595] New: [FS] editorial: 4.4 Arithmetic Expressions
- [Bug 1594] New: [FS] editorial: 4.3.3 Combining Node Sequences
- [Bug 1264] [XSLT] Reconsider XTDE1480
- [Bug 1235] [XSLT] Namespace fixup for QName-valued content is unduly onerous
- [Bug 1593] New: [FS] editorial: 4.3.2 Filter Expresssions
- [Bug 1555] Current template rule
- [Bug 1321] Value of Variables and Parameters (temporary trees from atoms)
- [Bug 1479] 3.11 Embedded Stylesheet Modules; how to express type information
- [Bug 1592] New: [FS] editorial: 4.3.1 Constructing Sequences
- [Bug 1591] New: [FS] editorial: 4.2.4 Abbreviated Syntax
- [Bug 1590] New: [FS] editorial: 4.2.2 Predicates
- [Bug 1560] [FS] editorial: 3.5.1 Predefined Schema Types
- [Bug 1559] [FS] editorial: 3.4.5 URI Literals
- [Bug 1557] [FS] editorial: 3.4.2 Atomization
- [Bug 1516] Editorial: example in 5.5.1 misleading
- [Bug 1553] [FS] editorial: 3.3.3 Handling Dynamic Errors
- [Bug 1490] ERR XTDE0800 - Redundant error
- [Bug 1487] Undocumented incompatibility: sort key = ()
- [Bug 1313] Incompatibility when copying document nodes
- [Bug 1552] [FS] editorial: 3.3.2 Identifying and Reporting Errors
- [Bug 1543] [FS] editorial: 3.1.1.1 Resolving QNames to Expanded QNames
- [Bug 1541] [FS] editorial: 2.5 Functions and operators
- [Bug 1537] [FS] editorial: 2.4.1 XML Schema and the [XPath/XQuery] Type System
- [Bug 1538] [FS] editorial: 2.4.2 Item types
- [Bug 1536] [FS] editorial: 2.3.2 Examples of values
- [Bug 1532] [FS] editorial: 2.1.3 Notations for inference rules
- [Bug 1530] [FS] editorial: 2.1.1 Notations from grammar productions
- [Bug 1529] [FS] editorial: 1.1 Normative and Informative Sections
- [Bug 1528] [FS] editorial: 1 Introduction
- [Bug 1538] [FS] editorial: 2.4.2 Item types
- [Bug 1536] [FS] editorial: 2.3.2 Examples of values
- [Bug 1532] [FS] editorial: 2.1.3 Notations for inference rules
- [Bug 1529] [FS] editorial: 1.1 Normative and Informative Sections
- [Bug 1334] no implicit conversion between time zones
- [Bug 1334] no implicit conversion between time zones
- [Bug 1334] no implicit conversion between time zones
- [Bug 1334] no implicit conversion between time zones
- [Bug 1334] no implicit conversion between time zones
- [Bug 1589] New: [FS] editorial: 4.2.1.1 Axes
- [Bug 1588] New: [FS] editorial: 4.2.1 Steps
- [Bug 1587] New: [FS] editorial: 4.2 Path Expressions
- [Bug 1586] New: [FS] technical: 4.1.5 Function Calls: propagating errors
- [Bug 1585] New: [FS] technical: 4.1.5 Function Calls: free pattern in not()
- [Bug 1584] New: [FS] technical: 4.1.5 Function Calls: "for all j"
- [Bug 1583] New: [FS] technical: 4.1.5 Function Calls: refactor
- [Bug 1582] New: [FS] technical: 4.1.5 Function Calls: return-promotion for imported fns
- [Bug 1581] New: [FS] technical: 4.1.5 Function Calls: argument promotion
- [Bug 1580] New: [FS] technical: 4.1.5 Function Calls: complicated by pseudo-functions
- [Bug 1579] New: [FS] technical: 4.1.5 Function Calls: STA: "first check"
- [Bug 1578] New: [FS] technical: 4.1.5 Function Calls: overloading is restricted
- [Bug 1577] New: [FS] technical: 4.1.5 Function Calls: Normalization
- [Bug 1576] New: [FS] technical: 4.1.5 Function Calls: AtomizeAtomic
- [Bug 1575] New: [FS] editorial: 4.1.5 Function Calls
Wednesday, 13 July 2005
- [Bug 1572] New: [FS] editorial: 4.1.2 Variable References
- [Bug 1571] New: [FS] technical: 4.1.2 Variable References
- [Bug 1570] New: [XQuery+XSLT] xml:id
- [Bug 1568] New: [F+O] Unnecessary assumption in example
- [Bug 1567] New: Subtract duration from date: minor error
- [Bug 1555] Current template rule
- [Bug 1566] New: [FS] technical: 4.1.1 Literals
- [Bug 1565] New: [FS] editorial: 4.1.1 Literals
- [Bug 1564] New: [FS] editorial: 4.1 Primary Expressions
- [Bug 1563] New: [FS] technical: 4 Expressions
- [Bug 1562] New: [FS] editorial: 4 Expressions
Tuesday, 12 July 2005
- [Bug 1561] New: [FS] editorial: 3.5.3 SequenceType Syntax
- [Bug 1515] Contradictory statement: casting to xs:notation permitted/allowed
- [Bug 1526] $x cast as xdt:anyAtomicType
- [Bug 1560] New: [FS] editorial: 3.5.1 Predefined Schema Types
- [Bug 1559] New: [FS] editorial: 3.4.5 URI Literals
- [Bug 1558] New: [FS] editorial: 3.4.4 Input Sources
- [Bug 1557] New: [FS] editorial: 3.4.2 Atomization
- [Bug 1556] New: [FS] editorial: 3.3.4 Errors and Optimization
- [Bug 1430] [XPath] Further simplification of EBV
- [Bug 1327] URI-escaping
- [Bug 1555] New: Current template rule
- [Bug 1554] New: [FS] technical: 3.3.3 Handling Dynamic Errors
- [Bug 1553] New: [FS] editorial: 3.3.3 Handling Dynamic Errors
- [Bug 1550] [FS] editorial: 3.2.4 Dynamic evaluation judgment
- [Bug 1334] no implicit conversion between time zones
- [Bug 1552] New: [FS] editorial: 3.3.2 Identifying and Reporting Errors
- XQueryX: straight-edge format for the rebellious teenage geek
- [Bug 1334] no implicit conversion between time zones
- [Bug 1334] no implicit conversion between time zones
- [Bug 1334] no implicit conversion between time zones
- [Bug 1551] New: [FS] editorial: 3.3.1 Kinds of Errors
Monday, 11 July 2005
- [Bug 1550] New: [FS] editorial: 3.2.4 Dynamic evaluation judgment
- [Bug 1549] [FS] editorial: 3.2.3 Static typing judgment
- [Bug 1549] New: [FS] editorial: 3.2.3 Static typing judgment
- [Bug 1548] New: [FS] editorial: 3.2.2 Normalization judgment
- [Bug 1526] $x cast as xdt:anyAtomicType
- [Bug 1547] [FS] editorial: 3.2.1 Processing model
- [Bug 1530] [FS] editorial: 2.1.1 Notations from grammar productions
- [Bug 1528] [FS] editorial: 1 Introduction
- Re: W3C Last Call and Media Type request for comments: XQuery and XQueryX
- Re: W3C Last Call and Media Type request for comments: XQuery and XQueryX
- [Bug 1520] Editorial & Suggestion: distinguish different QNames in EBNF
- [Bug 1547] New: [FS] editorial: 3.2.1 Processing model
- RE:[XPath] 2.5.4.4 Schema Element Test
- [Bug 1546] New: [FS] editorial: 3.2 Processing Model
- [Bug 1545] New: [FS] editorial: 3.1.2 Dynamic Context
- [Bug 1544] New: [FS] editorial: 2.2 URIs, Namespaces, and Prefixes
- [Bug 1542] [FS] editorial: 3.1.1 Static Context
Sunday, 10 July 2005
- [Bug 1543] New: [FS] editorial: 3.1.1.1 Resolving QNames to Expanded QNames
- [Bug 1542] New: [FS] editorial: 3.1.1 Static Context
- [Bug 1523] [FO] fn:subsequence and negative start position
- [Bug 1523] [FO] fn:subsequence and negative start position
- RE: [XPath] 2.5.4.4 Schema Element Test
- [Bug 1385] [XQuery] some editorial comments on A.2.2.1 Default Whitespace Handling
- [Bug 1541] New: [FS] editorial: 2.5 Functions and operators
- [Bug 1540] New: [FS] editorial: 2.4.4. Top level definitions
- [Bug 1527] Grammar for abbreviated step
- [Bug 1539] New: [FS] editorial: 2.4.3 Content models
- [Bug 1538] New: [FS] editorial: 2.4.2 Item types
- [Bug 1537] New: [FS] editorial: 2.4.1 XML Schema and the [XPath/XQuery] Type System
- [Bug 1536] New: [FS] editorial: 2.3.2 Examples of values
- [Bug 1535] New: [FS] editorial: 2.3.1 Formal values
- [Bug 1534] New: [FS] editorial: 2.1.5 Putting it together
- [Bug 1383] [XQuery] some editorial comments on A.2 Lexical structure
- [Bug 1373] [XQuery] some editorial comments on A.1 EBNF (productions)
- [Bug 1383] [XQuery] some editorial comments on A.2 Lexical structure
- [Bug 1373] [XQuery] some editorial comments on A.1 EBNF (productions)
- [Bug 1533] New: [FS] editorial: 2.1.4 Notations for environments
Saturday, 9 July 2005
- [Bug 1532] New: [FS] editorial: 2.1.3 Notations for inference rules
- [Bug 1531] New: [FS] editorial: 2.1.2 Notations for judgments
- [Bug 1368] [XQuery] some editorial comments on 3.2 Path Expressions
- [Bug 1530] New: [FS] editorial: 2.1.1 Notations from grammar productions
- [Bug 1529] New: [FS] editorial: 1.1 Normative and Informative Sections
- [Bug 1528] New: [FS] editorial: 1 Introduction
- [Bug 1520] Editorial & Suggestion: distinguish different QNames in EBNF
- [Bug 1389] [XQuery] some editorial comments on A.4 Precedence Order
- [Bug 1388] [XQuery] some editorial comments on A.3 Reserved Function Names
- [Bug 1387] [XQuery] some editorial comments on A.2.3 Comments
- [Bug 1386] [XQuery] some editorial comments on A.2.2.2 Explicit Whitespace Handling
- [Bug 1390] [XQuery] suggested alternate wording for A.2 and some A.1.1
- [Bug 1527] New: Grammar for abbreviated step
- [Bug 1385] [XQuery] some editorial comments on A.2.2.1 Default Whitespace Handling
- [Bug 1379] [XQuery] some editorial comments on A.1.1 grammar-note: comments
- [Bug 1448] [XQuery] Grammar: Longest token vs delimiting terminal
- [Bug 1384] [XQuery] some editorial comments on A.2.1 Terminal Types
- [Bug 1526] New: $x cast as xdt:anyAtomicType
- [Bug 1383] [XQuery] some editorial comments on A.2 Lexical structure
- [Bug 1382] [XQuery] some editorial comments on A.1.1 grammar-note: occurrence-indicators
- [Bug 1381] [XQuery] some editorial comments on A.1.1 grammar-note: reserved-function-names
- [Bug 1380] [XQuery] some editorial comments on A.1.1 grammar-note: xml-version
- [Bug 1379] [XQuery] some editorial comments on A.1.1 grammar-note: comments
- [Bug 1379] [XQuery] some editorial comments on A.1.1 grammar-note: comments
- [Bug 1378] [XQuery] some editorial comments on A.1.1 grammar-note: leading-lone-slash
- [Bug 1377] [XQuery] some editorial comments on A.1.1 grammar-note: lt
- [Bug 1376] [XQuery] some editorial comments on A.1.1 grammar-note: parens
- [Bug 1376] [XQuery] some editorial comments on A.1.1 grammar-note: parens
- [Bug 1375] [XQuery] some editorial comments on A.1.1 Grammar Notes (general)
- [Bug 1375] [XQuery] some editorial comments on A.1.1 Grammar Notes (general)
Friday, 8 July 2005
- [Bug 1523] [FO] fn:subsequence and negative start position
- [Bug 1374] [XQuery] some editorial comments on A.1 EBNF (notation)
- [Bug 1524] New: propose new function fn:escape-html-uri
- [Bug 1523] [FO] fn:subsequence and negative start position
- [XPath] 2.5.4.4 Schema Element Test
- [Bug 1373] [XQuery] some editorial comments on A.1 EBNF (productions)
- [Bug 1372] [XQuery] some editorial comments on 3.7.1.4 Boundary Whitespace
Thursday, 7 July 2005
- [Bug 1371] [XQuery] some editorial comments on 3.7.1.3 Content
- [Bug 1370] [XQuery] some editorial comments on 3.7.1.1 Attributes
- [Bug 1367] [XQuery] some editorial comments on 2.6 Comments
- [Bug 1523] [FO] fn:subsequence and negative start position
- RE: [Bug 1523] New: [FO] fn:subsequence and negative start position
- [Bug 1523] New: [FO] fn:subsequence and negative start position
- [Bug 1373] [XQuery] some editorial comments on A.1 EBNF (productions)
- [Bug 1367] [XQuery] some editorial comments on 2.6 Comments
- [Bug 1377] [XQuery] some editorial comments on A.1.1 grammar-note: lt
- [Bug 1373] [XQuery] some editorial comments on A.1 EBNF (productions)
- [Bug 1522] Editorial: 17.1.1 cast as xs:unsignedInt("13")
- [Bug 1522] New: Editorial: 17.1.1 cast as xs:unsignedInt("13")
- [Bug 1382] [XQuery] some editorial comments on A.1.1 grammar-note: occurrence-indicators
- [Bug 1381] [XQuery] some editorial comments on A.1.1 grammar-note: reserved-function-names
- [Bug 1379] [XQuery] some editorial comments on A.1.1 grammar-note: comments
- [Bug 1378] [XQuery] some editorial comments on A.1.1 grammar-note: leading-lone-slash
- [Bug 1377] [XQuery] some editorial comments on A.1.1 grammar-note: lt
- [Bug 1377] [XQuery] some editorial comments on A.1.1 grammar-note: lt
- [Bug 1376] [XQuery] some editorial comments on A.1.1 grammar-note: parens
- [Bug 1375] [XQuery] some editorial comments on A.1.1 Grammar Notes (general)
Wednesday, 6 July 2005
- [Bug 1334] no implicit conversion between time zones
- RE: [Bug 1334] no implicit conversion between time zones
- [Bug 1334] no implicit conversion between time zones
Monday, 4 July 2005
Sunday, 3 July 2005
- integrating assign in the standard
- [Bug 1520] New: Editorial & Suggestion: distinguish different QNames in EBNF
Friday, 1 July 2005
- [Bug 1519] WXS's "data type namespace" is not reserved
- [Bug 1518] Markup: add id attribute for 17.1's casting table
- [Bug 1519] WXS's "data type namespace" is not reserved
- [Bug 1519] WXS's "data type namespace" is not reserved
- [Bug 1519] New: WXS's "data type namespace" is not reserved
- [Bug 1518] Markup: add id attribute for 17.1's casting table
- [Bug 1518] Markup: add id attribute for 17.1's casting table
- [Bug 1518] New: Markup: add id attribute for 17.1's casting table
- [Bug 1512] editorial suggestion for fn:min and fn:max
- [Bug 1517] Editorial/Markup: Inconsistency in casting table(17.1)
- [Bug 1449] Shuld 'to' be reseved?
- [Bug 1517] New: Editorial/Markup: Inconsistency in casting table(17.1)
- [Bug 1369] [XQuery] some editorial comments on 3.4 Arithmetic Expressions
- [Bug 1366] [XQuery] some editorial comments on 1 Introduction