This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
This archived bug list includes all the bugs for the product or component specified, including bugs that have been resolved.
- Component: Formal Semantics 1.0
- Product: XPath / XQuery / XSLT
412 bugs found.
| ID | Product | Comp | Assignee | Status | Resolution | Summary | Opened | Changed |
|---|---|---|---|---|---|---|---|---|
| 1431 | XPath / | Formal S | simeon | CLOS | FIXE | [FO/FS] Constrain $zero to be compatible if static typing is available | 2005-05-13 | 2005-09-06 |
| 1528 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 1 Introduction | 2005-07-09 | 2007-01-16 |
| 1529 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 1.1 Normative and Informative Sections | 2005-07-09 | 2005-09-06 |
| 1530 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.1.1 Notations from grammar productions | 2005-07-09 | 2005-09-06 |
| 1531 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.1.2 Notations for judgments | 2005-07-09 | 2005-09-29 |
| 1532 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.1.3 Notations for inference rules | 2005-07-09 | 2005-09-06 |
| 1533 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.1.4 Notations for environments | 2005-07-10 | 2005-09-29 |
| 1534 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.1.5 Putting it together | 2005-07-10 | 2005-09-29 |
| 1535 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.3.1 Formal values | 2005-07-10 | 2007-01-16 |
| 1536 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.3.2 Examples of values | 2005-07-10 | 2005-09-06 |
| 1537 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.4.1 XML Schema and the [XPath/XQuery] Type System | 2005-07-10 | 2005-09-06 |
| 1538 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.4.2 Item types | 2005-07-10 | 2005-09-06 |
| 1539 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.4.3 Content models | 2005-07-10 | 2005-09-29 |
| 1540 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.4.4. Top level definitions | 2005-07-10 | 2005-09-29 |
| 1541 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.5 Functions and operators | 2005-07-10 | 2005-09-06 |
| 1542 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.1.1 Static Context | 2005-07-10 | 2007-02-25 |
| 1543 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.1.1.1 Resolving QNames to Expanded QNames | 2005-07-10 | 2005-09-06 |
| 1544 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.2 URIs, Namespaces, and Prefixes | 2005-07-11 | 2005-11-04 |
| 1545 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.1.2 Dynamic Context | 2005-07-11 | 2005-11-04 |
| 1546 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.2 Processing Model | 2005-07-11 | 2005-11-04 |
| 1547 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.2.1 Processing model | 2005-07-11 | 2007-01-16 |
| 1548 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.2.2 Normalization judgment | 2005-07-11 | 2007-01-16 |
| 1549 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.2.3 Static typing judgment | 2005-07-11 | 2007-01-16 |
| 1550 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.2.4 Dynamic evaluation judgment | 2005-07-11 | 2007-01-16 |
| 1551 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.3.1 Kinds of Errors | 2005-07-12 | 2007-01-16 |
| 1552 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.3.2 Identifying and Reporting Errors | 2005-07-12 | 2005-09-06 |
| 1553 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.3.3 Handling Dynamic Errors | 2005-07-12 | 2005-09-06 |
| 1554 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 3.3.3 Handling Dynamic Errors | 2005-07-12 | 2005-07-22 |
| 1556 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.3.4 Errors and Optimization | 2005-07-12 | 2007-01-16 |
| 1557 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.4.2 Atomization | 2005-07-12 | 2005-09-06 |
| 1558 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.4.4 Input Sources | 2005-07-12 | 2007-01-16 |
| 1559 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.4.5 URI Literals | 2005-07-12 | 2005-09-06 |
| 1560 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.5.1 Predefined Schema Types | 2005-07-12 | 2005-09-06 |
| 1561 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.5.3 SequenceType Syntax | 2005-07-12 | 2007-01-16 |
| 1562 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4 Expressions | 2005-07-13 | 2007-01-16 |
| 1563 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4 Expressions | 2005-07-13 | 2005-09-06 |
| 1564 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.1 Primary Expressions | 2005-07-13 | 2007-01-16 |
| 1565 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.1.1 Literals | 2005-07-13 | 2005-09-06 |
| 1566 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.1 Literals | 2005-07-13 | 2005-09-06 |
| 1571 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.2 Variable References | 2005-07-13 | 2005-09-06 |
| 1572 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.1.2 Variable References | 2005-07-13 | 2005-09-06 |
| 1575 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.1.5 Function Calls | 2005-07-14 | 2007-01-16 |
| 1576 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: AtomizeAtomic | 2005-07-14 | 2005-09-06 |
| 1577 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: Normalization | 2005-07-14 | 2005-09-06 |
| 1578 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: overloading is restricted | 2005-07-14 | 2005-10-13 |
| 1579 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: STA: "first check" | 2005-07-14 | 2005-09-06 |
| 1580 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: complicated by pseudo-functions | 2005-07-14 | 2006-10-20 |
| 1581 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: argument promotion | 2005-07-14 | 2005-09-06 |
| 1582 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: return-promotion for imported fns | 2005-07-14 | 2005-09-27 |
| 1583 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: refactor | 2005-07-14 | 2005-09-27 |
| 1584 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: "for all j" | 2005-07-14 | 2005-09-06 |
| 1585 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: free pattern in not() | 2005-07-14 | 2005-09-06 |
| 1586 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: propagating errors | 2005-07-14 | 2005-07-22 |
| 1587 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.2 Path Expressions | 2005-07-14 | 2007-06-03 |
| 1588 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.2.1 Steps | 2005-07-14 | 2007-02-25 |
| 1589 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.2.1.1 Axes | 2005-07-14 | 2005-09-06 |
| 1590 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.2.2 Predicates | 2005-07-14 | 2005-09-06 |
| 1591 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.2.4 Abbreviated Syntax | 2005-07-14 | 2007-02-25 |
| 1592 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.3.1 Constructing Sequences | 2005-07-14 | 2007-01-16 |
| 1593 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.3.2 Filter Expresssions | 2005-07-14 | 2005-09-06 |
| 1594 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.3.3 Combining Node Sequences | 2005-07-14 | 2005-09-06 |
| 1595 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.4 Arithmetic Expressions | 2005-07-14 | 2007-02-25 |
| 1596 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.5 Comparison Expressions | 2005-07-14 | 2005-09-06 |
| 1597 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.5.1 Value Comparisons | 2005-07-14 | 2007-02-25 |
| 1598 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.5.2 General Comparisons | 2005-07-14 | 2007-02-25 |
| 1599 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.5.3 Node Comparisons | 2005-07-14 | 2007-02-25 |
| 1600 | XPath / | Formal S | simeon | CLOS | FIXE | sporadic judgments in ordinary English | 2005-07-14 | 2007-01-16 |
| 1601 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7 Constructors | 2005-07-14 | 2005-09-06 |
| 1602 | XPath / | Formal S | simeon | CLOS | WORK | minor editorial for section 2.1.2 | 2005-07-14 | 2007-01-16 |
| 1603 | XPath / | Formal S | simeon | CLOS | WONT | no definition of "may", etc. | 2005-07-14 | 2005-09-06 |
| 1604 | XPath / | Formal S | simeon | CLOS | FIXE | which grammar is intended by italicization? | 2005-07-14 | 2007-01-16 |
| 1605 | XPath / | Formal S | simeon | CLOS | FIXE | The inference engine is not specified (only the rule base it uses is) | 2005-07-14 | 2005-09-27 |
| 1606 | XPath / | Formal S | simeon | CLOS | FIXE | what is an [expression/query]? | 2005-07-14 | 2007-01-16 |
| 1607 | XPath / | Formal S | simeon | CLOS | FIXE | any other environment groups besides static and dynamic contexts? | 2005-07-15 | 2007-01-16 |
| 1608 | XPath / | Formal S | simeon | CLOS | FIXE | can namespaces be removed from an environment by undeclaring? | 2005-07-15 | 2005-09-06 |
| 1609 | XPath / | Formal S | simeon | CLOS | FIXE | two notations for function evaluation (= and =>) | 2005-07-15 | 2007-01-16 |
| 1610 | XPath / | Formal S | simeon | CLOS | FIXE | don't environments behave like a stack? why not say so? | 2005-07-15 | 2007-01-16 |
| 1611 | XPath / | Formal S | simeon | CLOS | FIXE | section 2 is not self-contained and ought to be | 2005-07-15 | 2007-01-16 |
| 1612 | XPath / | Formal S | simeon | CLOS | FIXE | what is the quantification of unbound variables? | 2005-07-15 | 2007-01-16 |
| 1613 | XPath / | Formal S | simeon | CLOS | FIXE | so what are "the appropriate URIs"? | 2005-07-15 | 2007-01-16 |
| 1614 | XPath / | Formal S | simeon | CLOS | FIXE | please spell out all defaults explicitly | 2005-07-15 | 2005-09-27 |
| 1615 | XPath / | Formal S | simeon | CLOS | WONT | what types are permitted in document { Type }? | 2005-07-15 | 2005-09-06 |
| 1616 | XPath / | Formal S | simeon | CLOS | FIXE | only the semantics of sequence types are specified, not all formal types | 2005-07-15 | 2005-09-06 |
| 1618 | XPath / | Formal S | simeon | CLOS | FIXE | the formal type notation for element is ambiguous | 2005-07-15 | 2005-09-27 |
| 1619 | XPath / | Formal S | simeon | CLOS | WORK | what is the default type of a document? | 2005-07-15 | 2005-09-06 |
| 1620 | XPath / | Formal S | simeon | CLOS | FIXE | unbalanced parens | 2005-07-15 | 2005-09-06 |
| 1621 | XPath / | Formal S | simeon | CLOS | FIXE | no algebra of types | 2005-07-15 | 2005-09-06 |
| 1622 | XPath / | Formal S | simeon | CLOS | FIXE | a union type does not have a base type | 2005-07-15 | 2005-09-06 |
| 1623 | XPath / | Formal S | simeon | CLOS | WORK | please provide examples of list and union types | 2005-07-15 | 2007-01-16 |
| 1624 | XPath / | Formal S | simeon | CLOS | FIXE | can type definitions be recursive? | 2005-07-15 | 2007-01-16 |
| 1625 | XPath / | Formal S | simeon | CLOS | INVA | Static Typing Feature may find a type error that the dynamic evaluaton would miss | 2005-07-15 | 2005-07-26 |
| 1627 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.1 Direct Element Constructors | 2005-07-15 | 2007-01-16 |
| 1628 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.7.1 Direct Element Constructors: element-content units | 2005-07-15 | 2006-10-20 |
| 1629 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.7.1 Direct Element Constructors: character content | 2005-07-15 | 2006-11-09 |
| 1632 | XPath / | Formal S | simeon | CLOS | WONT | [FS] convention for inferences with no premises | 2005-07-15 | 2007-01-16 |
| 1633 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] The Expr's in [Expr]Expr are not the same | 2005-07-15 | 2007-01-16 |
| 1634 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] "type correct", "type safe", "type-safe", "well-typed" | 2005-07-15 | 2007-01-16 |
| 1635 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] does tatEnv "correspond" to the static context? | 2005-07-15 | 2007-01-16 |
| 1636 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] why two spellings, Uri and URI? | 2005-07-15 | 2007-01-16 |
| 1637 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] collations can have a third, optional, mapping | 2005-07-15 | 2005-09-06 |
| 1638 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] do input collections all have the same type? | 2005-07-15 | 2007-01-16 |
| 1639 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] please define "=" in judgments, especially for URIs | 2005-07-15 | 2007-01-16 |
| 1640 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.1.1 Attributes | 2005-07-15 | 2007-01-16 |
| 1641 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] technical: 4.7.1.1 Attributes: make normalizations explicit | 2005-07-15 | 2007-09-11 |
| 1642 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] better to say "initial environment" rather than an "initial state" | 2005-07-15 | 2007-01-16 |
| 1643 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] proposed wording fix for dynEnv.funcDefn | 2005-07-15 | 2007-01-16 |
| 1644 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] what is the type of fs:position and fs:last? | 2005-07-15 | 2007-01-16 |
| 1645 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] tightening the description of the Normalization phase | 2005-07-15 | 2005-09-29 |
| 1646 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.1.2 Namespace Declaration Attributes | 2005-07-16 | 2007-01-16 |
| 1647 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: NamespaceBindings in CompElemConstructor | 2005-07-16 | 2007-09-18 |
| 1648 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] normalization rules may invoke other normalization rules | 2005-07-16 | 2007-01-16 |
| 1649 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] request an example of passing information in a normalization rule | 2005-07-16 | 2007-01-16 |
| 1650 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] please list all expressions that do not propagate errors | 2005-07-16 | 2005-09-06 |
| 1651 | XPath / | Formal S | simeon | CLOS | INVA | please create a section for "handling static errors" | 2005-07-16 | 2005-09-06 |
| 1652 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] poor usage: "may not raise an error" | 2005-07-16 | 2007-01-16 |
| 1653 | XPath / | Formal S | simeon | CLOS | WORK | what is a "wildcard element type"? | 2005-07-16 | 2007-01-16 |
| 1654 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] multiple terms for "static [type] [inference] rule" | 2005-07-16 | 2007-01-16 |
| 1655 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] need examples of when to raise a type error | 2005-07-16 | 2005-07-26 |
| 1656 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] undefined notation in 4.1.2 "Variable references" and elsewhere | 2005-07-16 | 2007-01-16 |
| 1657 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.1.4 Whitespace in Element Content | 2005-07-16 | 2007-01-16 |
| 1658 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.2 Other Direct Constructors | 2005-07-16 | 2007-02-25 |
| 1659 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.3.1 Computed Element Constructors | 2005-07-16 | 2007-01-16 |
| 1660 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.3.2 Computed Attribute Constructors | 2005-07-16 | 2007-09-19 |
| 1661 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.3.3 Document Node Constructors | 2005-07-16 | 2007-01-16 |
| 1662 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.3.4 Text Node Constructors | 2005-07-16 | 2005-09-06 |
| 1663 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.3.5 Computed Processing Instruction Constructors | 2005-07-16 | 2007-01-16 |
| 1664 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.3.6 Computed Comment Constructors | 2005-07-16 | 2005-09-06 |
| 1666 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.8 [For/FLWR] Expressions | 2005-07-16 | 2007-01-16 |
| 1667 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.8.1 FLWOR expressions | 2005-07-16 | 2007-01-16 |
| 1668 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.8.1 FLWOR expressions: non-parameterized normalization | 2005-07-16 | 2007-02-25 |
| 1669 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.8.2 For expression | 2005-07-17 | 2007-02-25 |
| 1670 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.8.3 Let Expression | 2005-07-17 | 2005-09-06 |
| 1672 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.8.4 Order By and Return Clauses | 2005-07-17 | 2007-02-25 |
| 1673 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.9 Ordered and Unordered Expressions | 2005-07-17 | 2005-09-06 |
| 1674 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.10 Conditional Expressions | 2005-07-17 | 2005-09-06 |
| 1675 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.11 Quantified Expressions | 2005-07-17 | 2007-01-16 |
| 1676 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.12 Expressions on SequenceTypes | 2005-07-17 | 2007-01-16 |
| 1677 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.12.2 Typeswitch | 2005-07-17 | 2007-02-25 |
| 1678 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.12.3 Cast | 2005-07-17 | 2005-09-06 |
| 1679 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.12.4 Castable | 2005-07-17 | 2007-01-16 |
| 1680 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.12.5 Constructor Functions | 2005-07-17 | 2007-09-30 |
| 1681 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.12.6 Treat | 2005-07-17 | 2005-09-06 |
| 1682 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.13 Validate Expressions | 2005-07-17 | 2005-09-06 |
| 1683 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.13.1 Validating an Element Node | 2005-07-17 | 2005-09-06 |
| 1684 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.14 Extension Expressions | 2005-07-17 | 2007-01-16 |
| 1685 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] please place "if" before "then" | 2005-07-17 | 2007-01-16 |
| 1686 | XPath / | Formal S | simeon | CLOS | FIXE | Hard to find the definitions of purely symbolic judgments | 2005-07-17 | 2007-01-16 |
| 1687 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] AtomizeAtomic(SequenceType) normaliztion | 2005-07-17 | 2005-09-06 |
| 1688 | XPath / | Formal S | simeon | CLOS | DUPL | simplifying the definition of AtomizeAtomic | 2005-07-17 | 2005-09-06 |
| 1689 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] automatic cast of any atomic type or just untypedAtomic? | 2005-07-17 | 2005-09-06 |
| 1690 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] need to know what function is invoked before looking for special rules | 2005-07-17 | 2007-01-16 |
| 1691 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] ambiguous use of "first rule" | 2005-07-17 | 2007-01-16 |
| 1692 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] iterative application of the rule on union types | 2005-07-17 | 2007-01-16 |
| 1693 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] lack of quantification and double subscripting is seriously wrong | 2005-07-17 | 2005-09-06 |
| 1694 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5 Modules and Prologs | 2005-07-17 | 2007-09-29 |
| 1695 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] inconsistent quoting in 4.2 normalization rules | 2005-07-17 | 2005-09-29 |
| 1696 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] first sentence of 4.2.1 is not grammatical | 2005-07-17 | 2005-09-29 |
| 1697 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] some normalizations in 4.2.1 are not grammatical | 2005-07-17 | 2007-01-16 |
| 1698 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] is it "filter judgment" or "filter inference"? | 2005-07-17 | 2007-01-16 |
| 1699 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] algebra of sequence concatenation is not complete | 2005-07-17 | 2005-09-06 |
| 1700 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] most arithmetic operations are not monomorphic | 2005-07-17 | 2005-09-29 |
| 1701 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] what is [For/FLWR]? | 2005-07-17 | 2005-09-29 |
| 1702 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.1 Version Declaration | 2005-07-17 | 2007-01-16 |
| 1703 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.2 Module Declaration | 2005-07-18 | 2007-01-16 |
| 1704 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 5.2 Module Declaration: importing a namespace that is the target of two modules | 2005-07-18 | 2006-10-19 |
| 1705 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 5.2 Module Declaration: cyclical imports | 2005-07-18 | 2006-11-13 |
| 1706 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.3 Boundary-space Declaration | 2005-07-18 | 2007-01-16 |
| 1707 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.5 Base URI Declaration | 2005-07-18 | 2007-01-16 |
| 1708 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] (editorial) recommendation for static typing extensions | 2005-07-18 | 2005-09-06 |
| 1709 | XPath / | Formal S | simeon | CLOS | DUPL | [FS] (editorial) recommendation for static typing extensions | 2005-07-18 | 2005-09-06 |
| 1710 | XPath / | Formal S | simeon | CLOS | FIXE | (FS) | 2005-07-18 | 2005-09-06 |
| 1711 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.6 Construction Declaration | 2005-07-18 | 2007-01-16 |
| 1712 | XPath / | Formal S | simeon | CLOS | WORK | (FS) (editorial) variable declarations | 2005-07-18 | 2007-01-16 |
| 1713 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.7, 5.8, 5.9 | 2005-07-18 | 2007-01-16 |
| 1714 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.10 Schema Import | 2005-07-18 | 2007-01-16 |
| 1715 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: 5.11 Module Import | 2005-07-18 | 2007-09-21 |
| 1716 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.12 Namespace Declaration | 2005-07-18 | 2007-01-16 |
| 1717 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.13 Default Namespace Declaration | 2005-07-18 | 2007-01-16 |
| 1718 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.14 Variable Declaration | 2005-07-18 | 2007-01-16 |
| 1719 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] ElementContent is italicized but not a BNF non-terminal | 2005-07-18 | 2007-01-16 |
| 1720 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] what is the "operand" of fs:convert-operand? what is the type of $actual? | 2005-07-18 | 2005-09-06 |
| 1721 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] need a judgment to find the "best" type and quantifier | 2005-07-18 | 2005-09-06 |
| 1722 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] typos in two inferences in 7.2.5 "fn:collection..." | 2005-07-18 | 2005-09-29 |
| 1723 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] two inferences in 7.2.5 "Fn:collection" conclude with wrong quantifier | 2005-07-18 | 2007-01-16 |
| 1724 | XPath / | Formal S | simeon | CLOS | WORK | [FS] inconsistent usage in 7.2.5 "fn:collection and fn:doc" | 2005-07-18 | 2007-01-16 |
| 1725 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] missing "if" in definition of convert_untypedAtomic | 2005-07-18 | 2007-01-16 |
| 1726 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] induction or recursion? | 2005-07-18 | 2005-09-29 |
| 1727 | XPath / | Formal S | simeon | CLOS | WORK | [FS] probable typo in last inference in 7.2.13 "fn:subsequence" | 2005-07-18 | 2007-01-16 |
| 1728 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] stronger inference is possible in 7.2.13 "fn:subsequence" | 2005-07-18 | 2006-04-22 |
| 1729 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] probable typo in 8.1 "udgments for accessing types" | 2005-07-18 | 2007-01-16 |
| 1730 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] difficult use of "?" in inferences in 8.1 "Judgments for accessing types" | 2005-07-18 | 2005-09-30 |
| 1731 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] missing subscripts in 8.1.1 "Derives from" | 2005-07-18 | 2005-09-29 |
| 1732 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] is "derives from" really asymmetric? | 2005-07-18 | 2005-09-06 |
| 1733 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] missing subscripts in 8.1.2 "Substitutes for" | 2005-07-18 | 2005-09-29 |
| 1734 | XPath / | Formal S | simeon | CLOS | WORK | [FS] examples that don't fit on the page in 8.1.2 "Substitutes for" | 2005-07-18 | 2007-01-16 |
| 1735 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] should BuiltInAttributes be italicized? | 2005-07-18 | 2007-01-16 |
| 1736 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] ambiguous use of "optional" in 8.1.9 "type expansion" | 2005-07-18 | 2007-01-16 |
| 1737 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] no seed to start the recursion in 8.1.10 "union interpretation..." | 2005-07-18 | 2005-09-06 |
| 1738 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] what is "one-determinism"? | 2005-07-18 | 2005-09-06 |
| 1739 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] please provide hot links to the definition of "prime type" | 2005-07-18 | 2007-01-16 |
| 1740 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] please summarize the Formal grammar in an appendix | 2005-07-18 | 2007-01-16 |
| 1741 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.15 Function Declaration | 2005-07-18 | 2007-01-16 |
| 1742 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 5.15 Function Declaration: adding FunctionDecl to statEnv | 2005-07-18 | 2005-09-06 |
| 1743 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 5.15 Function Declaration: a function can reference any function | 2005-07-18 | 2006-11-13 |
| 1744 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.16 Option Declaration | 2005-07-18 | 2007-01-16 |
| 1745 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.1.3 The fs:convert-operand function | 2005-07-19 | 2007-02-25 |
| 1746 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 7.1.4 The fs:convert-simple-operand function | 2005-07-19 | 2007-09-18 |
| 1747 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.1.6 The fs:distinct-doc-order-or-atomic-sequence function | 2005-07-19 | 2008-08-18 |
| 1748 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.1.7 The fs:item-sequence-to-node-sequence function | 2005-07-19 | 2007-01-16 |
| 1749 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.1.8, 7.1.9, 7.1.10, 7.1.11 | 2005-07-19 | 2007-01-16 |
| 1750 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.1.12 The fs:apply-ordering-mode function | 2005-07-19 | 2007-01-16 |
| 1751 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.1.13 The fs:to function | 2005-07-19 | 2007-01-16 |
| 1752 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2 Standard functions with specific typing rules | 2005-07-19 | 2005-09-06 |
| 1754 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 7.2.1, 7.2.2, 7.2.10: normalizing calls to particular functions | 2005-07-19 | 2007-10-02 |
| 1755 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 7.2 Standard functions with specific typing rules | 2005-07-19 | 2005-09-06 |
| 1756 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 7.2.3 The fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions | 2005-07-19 | 2007-10-02 |
| 1757 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 7.2.4 The fn:boolean function | 2005-07-19 | 2008-08-18 |
| 1758 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2.5 The fn:collection and fn:doc functions | 2005-07-19 | 2007-02-25 |
| 1759 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2.6 The fn:data function | 2005-07-19 | 2007-01-16 |
| 1760 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2.8 The fn:unordered function | 2005-07-19 | 2007-01-16 |
| 1761 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2.9 The fn:error function | 2005-07-19 | 2007-01-16 |
| 1763 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2.10 The fn:min, fn:max, fn:avg, and fn:sum functions | 2005-07-19 | 2007-02-25 |
| 1764 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2.11 The fn:remove function | 2005-07-19 | 2007-01-16 |
| 1765 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2.13 The fn:subsequence function | 2005-07-19 | 2007-01-16 |
| 1766 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 7.2.13 The fn:subsequence function: tighter typing | 2005-07-19 | 2005-09-06 |
| 1767 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 7.2.13 The fn:subsequence function: incorrect typing? | 2005-07-19 | 2005-10-13 |
| 1768 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2.16 The fn:zero-or-one, fn:one-or-more, and fn:exactly-one functions | 2005-07-20 | 2007-01-16 |
| 1769 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.1.1 Derives from | 2005-07-20 | 2007-01-16 |
| 1770 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.1.3, 8.1.4: statEnv.attrDecl(AttributeName) | 2005-07-20 | 2007-01-16 |
| 1771 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.1.5, 8.1.6, E.1.5.2: "Type1 = AttributeAll1, ElementContent1" | 2005-07-20 | 2007-01-16 |
| 1772 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.1.9 Type expansion | 2005-07-20 | 2007-01-16 |
| 1773 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.2.1 Principal Node Kind | 2005-07-20 | 2007-01-16 |
| 1774 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.2.2.1 Static semantics of axes | 2005-07-20 | 2007-01-16 |
| 1775 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.2.2.1.1 Inference rules for all axis | 2005-07-20 | 2007-01-16 |
| 1776 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 8.2.2.2 Dynamic semantics of axes | 2005-07-20 | 2008-08-29 |
| 1777 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.2.3.1.1 (Static semantics of) Name Tests | 2005-07-20 | 2007-01-16 |
| 1778 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.2.3.1.2 (Static semantics of) Kind Tests | 2005-07-20 | 2007-01-16 |
| 1779 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.2.3.2.1 (Dynamic semantics of) Name Tests | 2005-07-20 | 2007-01-16 |
| 1780 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.2.3.2.2 (Dynamic semantics of) Kind Tests | 2005-07-20 | 2007-01-16 |
| 1781 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.3.1 Matches | 2005-07-20 | 2007-01-16 |
| 1782 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.3.2 Subtype and Type equality | 2005-07-20 | 2007-01-16 |
| 1783 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 8.4 Judgments for FLWOR and other expressions on sequences | 2005-07-20 | 2007-10-02 |
| 1785 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.5.1 Type promotion | 2005-07-20 | 2007-01-16 |
| 1786 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.6.1 Elements in validation mode | 2005-07-20 | 2007-01-16 |
| 1787 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: problems re VarRef, Variable | 2005-07-20 | 2007-01-16 |
| 1788 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] incomplete specification for the conditions of type error err:XQTY0086 | 2005-07-20 | 2005-09-06 |
| 1789 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: item* | 2005-07-20 | 2007-01-16 |
| 1790 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: normalization rules "not required" | 2005-07-20 | 2005-09-27 |
| 1791 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: unbolded colon | 2005-07-20 | 2007-01-16 |
| 1792 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: []_sequencetype needs statEnv? | 2005-07-21 | 2007-01-16 |
| 1796 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: problems re URI, URILiteral, AnyURI | 2005-07-21 | 2007-01-16 |
| 1798 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: B.2 Mapping of Overloaded Internal Functions | 2005-07-22 | 2007-11-04 |
| 1799 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: C.1 Introduction | 2005-07-22 | 2007-01-16 |
| 1800 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: E.1 Judgments for the validate expression | 2005-07-22 | 2007-02-25 |
| 1801 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: E.1.1 Type resolution | 2005-07-22 | 2007-01-16 |
| 1802 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: E.1.3 Attribute filtering | 2005-07-22 | 2007-01-16 |
| 1803 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: E.1.4.1 Simply erases | 2005-07-22 | 2007-11-04 |
| 1804 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: E.1.4.2 Erases | 2005-07-22 | 2015-10-06 |
| 1805 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: E.1.5 Annotate | 2005-07-22 | 2007-01-16 |
| 1806 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: E.1.5.1 Simply annotate | 2005-07-22 | 2007-02-25 |
| 1807 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: E.1.5.2 Nil-annotate | 2005-07-22 | 2007-01-16 |
| 1808 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: E.1.5.3 Annotate | 2005-07-22 | 2008-09-01 |
| 1820 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 4.1.5 Function Calls: dynEnvDefault | 2005-07-28 | 2005-09-27 |
| 1900 | XPath / | Formal S | simeon | CLOS | DUPL | [FS] 5.11 Module Import SCP rules needs to provide namespace prefix | 2005-08-29 | 2005-09-08 |
| 1964 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 5.14 Variable Declaration: missing type-check | 2005-09-02 | 2005-09-27 |
| 1965 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] technical: 5.15 Function Declaration: missing checks | 2005-09-02 | 2005-09-27 |
| 1968 | XPath / | Formal S | simeon | CLOS | DUPL | typing for fn:subsequence() too strict | 2005-09-03 | 2005-09-08 |
| 2303 | XPath / | Formal S | simeon | CLOS | DUPL | typing for fn:subsequence() redundant | 2005-09-26 | 2005-09-29 |
| 2323 | XPath / | Formal S | simeon | CLOS | FIXE | Editorial, 3.5.1: xs:anyAtomicType does not exist, but xdt:anyAtomicType do | 2005-09-30 | 2005-10-11 |
| 2555 | XPath / | Formal S | simeon | CLOS | INVA | error in EBNF XQuery: DirElemConstructor in wrong place? | 2005-11-29 | 2006-10-19 |
| 2671 | XPath / | Formal S | simeon | CLOS | FIXE | Type promotion | 2006-01-06 | 2006-11-09 |
| 2720 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] Wrong / operator precedence in PathExpr normalization rule | 2006-01-16 | 2006-10-19 |
| 2793 | XPath / | Formal S | simeon | CLOS | FIXE | Editorial: "Unique Particular Attribution" | 2006-02-02 | 2007-01-16 |
| 2967 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] fs:apply-ordering-mode(): ordered --> unordered | 2006-03-02 | 2007-01-16 |
| 2998 | XPath / | Formal S | simeon | CLOS | FIXE | fs:eq for string arguments ill-defined | 2006-03-10 | 2006-04-03 |
| 3085 | XPath / | Formal S | simeon | CLOS | WONT | fn:boolean: FS, F&O and XQuery contradict | 2006-04-05 | 2006-10-19 |
| 3141 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.5.1 Predefined Schema Types | 2006-04-21 | 2007-01-16 |
| 3142 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.1.1 Static Context | 2006-04-21 | 2007-09-30 |
| 3143 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.15 Function Declaration | 2006-04-21 | 2007-01-16 |
| 3144 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.3.2 Filter Expressions | 2006-04-22 | 2007-01-16 |
| 3175 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.1.2 Notations for judgments | 2006-05-03 | 2007-01-16 |
| 3176 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.1.3 Notations for environments | 2006-05-03 | 2007-01-16 |
| 3177 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.1.4 Notations for inference rules | 2006-05-03 | 2007-01-16 |
| 3178 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.3.2 Examples of values | 2006-05-03 | 2007-01-16 |
| 3179 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.1.1 Static Context | 2006-05-03 | 2007-09-30 |
| 3180 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.1.1.1 Resolving QNames to Expanded QNames | 2006-05-03 | 2007-01-16 |
| 3181 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4 Expressions | 2006-05-03 | 2007-01-16 |
| 3182 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.1.1 Literals | 2006-05-03 | 2007-01-16 |
| 3183 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: 4.1.5 Function Calls: []_FunctionArgument | 2006-05-03 | 2007-11-04 |
| 3184 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: 4.1.5 Function Calls | 2006-05-03 | 2007-09-21 |
| 3185 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.2.2 Predicates | 2006-05-03 | 2007-01-16 |
| 3186 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.3.2 Filter Expresssions | 2006-05-03 | 2007-01-16 |
| 3187 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.7.1.2 Namespace Declaration Attributes | 2006-05-03 | 2007-01-16 |
| 3188 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.12.2 Typeswitch | 2006-05-03 | 2007-05-06 |
| 3189 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: 5 Modules and Prologs | 2006-05-03 | 2007-11-04 |
| 3190 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 5.9 Copy-Namespaces Declaration | 2006-05-03 | 2007-01-16 |
| 3192 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: 5.11 Module Import | 2006-05-04 | 2007-11-04 |
| 3193 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 5.14 Variable Declaration | 2006-05-04 | 2008-08-29 |
| 3194 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 5.15 Function Declaration | 2006-05-04 | 2007-09-21 |
| 3203 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.1.2 The fs:convert-simple-operand function | 2006-05-09 | 2007-01-16 |
| 3204 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2.4 The fn:boolean function | 2006-05-09 | 2007-01-16 |
| 3205 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: 7.2.5 The fn:collection and fn:doc functions | 2006-05-09 | 2007-11-04 |
| 3206 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2.9 The fn:error function | 2006-05-09 | 2007-01-16 |
| 3207 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 7.2.14 The op:union, op:intersect, and op:except operators | 2006-05-09 | 2007-01-16 |
| 3208 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.2.2.1.1 Inference rules for all axis | 2006-05-09 | 2007-01-16 |
| 3209 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.2.3.1 Static semantics of node tests | 2006-05-09 | 2007-01-16 |
| 3210 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 8.4 Judgments for FLWOR and other expressions on sequences | 2006-05-09 | 2007-01-16 |
| 3211 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: B.2 Mapping of Overloaded Internal Functions | 2006-05-09 | 2007-11-04 |
| 3212 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: C.1.4.1 use, default, and fixed | 2006-05-09 | 2007-01-16 |
| 3213 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: C.1.4.2 minOccurs, maxOccurs, minLength, maxLength, and length | 2006-05-09 | 2007-01-16 |
| 3214 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: C.2.1 Schema | 2006-05-09 | 2007-11-04 |
| 3215 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: C.15.3 Simple type content | 2006-05-09 | 2007-01-16 |
| 3216 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: E.1.1 Type resolution | 2006-05-09 | 2007-01-16 |
| 3217 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: E.1.5.2 Nil-annotate | 2006-05-09 | 2007-01-16 |
| 3218 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: E.1.5.3 Annotate | 2006-05-09 | 2007-01-16 |
| 3268 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 2.4.4. Top level definitions | 2006-05-09 | 2008-08-30 |
| 3269 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: FooNameOrWildcard | 2006-05-09 | 2008-07-16 |
| 3273 | XPath / | Formal S | simeon | CLOS | WORK | [FS] technical: 2.3.1 Formal values: () in Values | 2006-05-11 | 2006-10-19 |
| 3420 | XPath / | Formal S | simeon | CLOS | FIXE | Editorial: two 'f's in if, "iff" | 2006-07-01 | 2006-08-01 |
| 3421 | XPath / | Formal S | simeon | CLOS | FIXE | Editorial: multiple "the" | 2006-07-02 | 2006-08-01 |
| 3580 | XPath / | Formal S | simeon | CLOS | FIXE | clarify definition of xs:anyType | 2006-08-04 | 2006-10-19 |
| 3641 | XPath / | Formal S | simeon | CLOS | INVA | xs:untypedAtomic promotable to *any* type? | 2006-08-30 | 2007-02-19 |
| 3652 | XPath / | Formal S | simeon | CLOS | FIXE | Problems with binary operators table in C.2 | 2006-09-04 | 2006-10-19 |
| 3655 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] specification of item-sequence-to-* functions unclear | 2006-09-05 | 2009-06-22 |
| 3664 | XPath / | Formal S | simeon | CLOS | FIXE | Definition of type promotion complex and inconsistent | 2006-09-07 | 2006-10-19 |
| 3665 | XPath / | Formal S | simeon | CLOS | WONT | Type checking fn:data(()) | 2006-09-07 | 2006-10-19 |
| 3667 | XPath / | Formal S | simeon | CLOS | FIXE | Missing xs:anyUri from fn:boolean typing rule. | 2006-09-07 | 2006-10-19 |
| 3669 | XPath / | Formal S | simeon | CLOS | INVA | Type checking of () GeneralOp [value] | 2006-09-07 | 2006-10-19 |
| 3670 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] Missing op:anyURI-equal(A, B) | 2006-09-07 | 2007-09-30 |
| 3676 | XPath / | Formal S | simeon | CLOS | FIXE | fn:subsequence typing rules | 2006-09-08 | 2006-10-19 |
| 3695 | XPath / | Formal S | simeon | CLOS | FIXE | Static typing of value comparisons | 2006-09-11 | 2007-01-16 |
| 3716 | XPath / | Formal S | simeon | CLOS | FIXE | Editorial: clarify that none is subtype of all types | 2006-09-13 | 2006-09-27 |
| 3717 | XPath / | Formal S | simeon | CLOS | WONT | Cardinality inference for 'cast as' should take operand into account | 2006-09-13 | 2006-09-27 |
| 3757 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] technical: 2.3.1 ElementValue | 2006-09-21 | 2007-11-04 |
| 3758 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] technical: 4.7.1: losing type information | 2006-09-21 | 2007-10-01 |
| 3760 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] technical: injected calls to fs:item-sequence-to-node-sequence/-untypedAtomic | 2006-09-21 | 2007-10-02 |
| 3771 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] technical: interleaved with empty text nodes | 2006-09-27 | 2008-08-25 |
| 3784 | XPath / | Formal S | simeon | CLOS | WONT | fn:trace is cumbersome with static typing | 2006-10-02 | 2008-10-14 |
| 3812 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: 2.1.4: ellipses | 2006-10-07 | 2007-11-04 |
| 3818 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] Static typing of $input-context1/works[1]/employee[1]/empnum[1] | 2006-10-12 | 2008-07-09 |
| 3819 | XPath / | Formal S | simeon | CLOS | FIXE | 7.1.6 The fs:item-sequence-to-node-sequence-doc function | 2006-10-12 | 2006-10-19 |
| 3841 | XPath / | Formal S | simeon | CLOS | FIXE | Static typing of function declarations | 2006-10-16 | 2006-11-03 |
| 3846 | XPath / | Formal S | simeon | CLOS | INVA | axis child:: of ElementType - processing-instructions and comments | 2006-10-18 | 2007-02-14 |
| 3847 | XPath / | Formal S | simeon | CLOS | FIXE | inconsistent definition of idiv | 2006-10-18 | 2007-10-02 |
| 3860 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 2.1.3 Notations for environments | 2006-10-25 | 2007-03-06 |
| 3861 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 2.1.4 Notations for inference rules | 2006-10-25 | 2008-08-30 |
| 3863 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] technical: QNames in Values/Types/Definitions | 2006-10-26 | 2007-11-04 |
| 3864 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 2.3.1 Formal values | 2006-10-26 | 2008-08-30 |
| 3865 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 2.3.2 Examples of values | 2006-10-26 | 2008-08-30 |
| 3866 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 2.4.1 XML Schema and the [XPath/XQuery] Type System | 2006-10-26 | 2008-08-30 |
| 3868 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 2.4.3 Content models | 2006-10-27 | 2008-08-30 |
| 3871 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 2.4.4. Top level definitions | 2006-10-28 | 2008-08-30 |
| 3872 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: 2.4.5 Example of a complete Schema | 2006-10-28 | 2007-11-04 |
| 3873 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 2.5 Functions and operators | 2006-10-28 | 2008-08-30 |
| 3874 | XPath / | Formal S | jmdyck | REOP | --- | [FS] editorial: 3.1.1 Static Context | 2006-10-28 | 2010-03-16 |
| 3875 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 3.1.2 Dynamic Context | 2006-10-28 | 2007-09-21 |
| 3876 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 3.2.2 Normalization mapping rules | 2006-10-28 | 2008-08-30 |
| 3878 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: 3.3 Error Handling | 2006-10-29 | 2007-11-04 |
| 3879 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 4 Expressions | 2006-10-29 | 2008-08-30 |
| 3880 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: 4.1.1 Literals | 2006-10-29 | 2007-11-04 |
| 3881 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] editorial: 4.1.5 Function Calls / Notation | 2006-10-29 | 2007-11-04 |
| 3882 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 4.1.5 Function Calls / Normalization | 2006-10-29 | 2008-08-31 |
| 3883 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 4.1.5 Function Calls / Static Type Analysis | 2006-10-29 | 2008-08-31 |
| 3884 | XPath / | Formal S | simeon | CLOS | FIXE | [FS] editorial: 4.1.5 Function Calls / Notation 2 | 2006-10-29 | 2007-02-26 |
| 3885 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 4.1.5 Function Calls / Dynamic Evaluation | 2006-10-29 | 2008-08-31 |
| 3886 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 4.2.1 Steps | 2006-10-30 | 2008-08-31 |
| 3895 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 4.7.1 Direct Element Constructors | 2006-10-30 | 2008-09-01 |
| 3896 | XPath / | Formal S | jmdyck | REOP | --- | [FS] editorial: 4.7.1.1 Attributes | 2006-10-30 | 2010-03-16 |
| 3946 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Typing of processing-instructions | 2006-11-02 | 2008-07-15 |
| 4189 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] technical: 8.1.9 Type expansion correct? | 2007-01-10 | 2009-02-17 |
| 4242 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Static typing of name tests | 2007-01-17 | 2007-10-03 |
| 4261 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] technical: 8.2.3.1.1 Name Tests correct? | 2007-01-18 | 2007-10-03 |
| 4271 | XPath / | Formal S | simeon | CLOS | INVA | [FS} Type checking () op Arg | 2007-01-23 | 2007-02-27 |
| 4272 | XPath / | Formal S | simeon | CLOS | INVA | [FS] Type checking fn:data | 2007-01-23 | 2009-06-22 |
| 4273 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] data on element() | 2007-01-23 | 2009-02-18 |
| 4371 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Editorial: Processing Model Figure | 2007-03-06 | 2009-06-22 |
| 4392 | XPath / | Formal S | jmdyck | CLOS | WONT | [FS] Typing issues with // | 2007-03-14 | 2007-05-15 |
| 4401 | XPath / | Formal S | jmdyck | CLOS | WONT | [FS] validate strict expressions and err:XQDY0084 | 2007-03-21 | 2009-06-22 |
| 4447 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Wrong prefixes in C.2 Mapping of Overloaded Internal Functions | 2007-04-03 | 2009-06-22 |
| 4512 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] technical: 8.2.3.1.1 Name Tests: incomplete coverage | 2007-04-28 | 2007-10-03 |
| 4578 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Possible error in filter expression normalization rules | 2007-05-24 | 2007-10-04 |
| 4581 | XPath / | Formal S | jmdyck | CLOS | DUPL | [FS] Quantifiers in static type of name tests | 2007-05-24 | 2007-10-03 |
| 4593 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] 8.4 Inconsistency in note on prime subtyping | 2007-05-31 | 2009-06-22 |
| 4601 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] specification of fs:convert-operand() inconsistent | 2007-06-07 | 2008-09-06 |
| 4766 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] 2.4.4 Example is backwards | 2007-06-26 | 2009-06-22 |
| 4841 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Use of fn:subsequence in relation to normalization rules for filter expressions in FS | 2007-07-09 | 2008-08-17 |
| 4869 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Enclosed expressions and namespaces | 2007-07-19 | 2008-08-22 |
| 4890 | XPath / | Formal S | jmdyck | CLOS | INVA | 4.3.2 Filter Expressions - Normalization for standalone PrimaryExpr needed? | 2007-07-29 | 2007-07-29 |
| 4898 | XPath / | Formal S | jmdyck | CLOS | DUPL | [FS] 8.5.1 Type promotion | 2007-07-31 | 2009-06-22 |
| 5129 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] editorial: 8.2.3.1.1 [Static semantics of] Name Tests | 2007-10-03 | 2007-10-03 |
| 5254 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Validate has inconsistent static and dynamic types | 2007-11-06 | 2009-02-16 |
| 5452 | XPath / | Formal S | jmdyck | CLOS | WONT | [FS] Static type of namespace axis | 2008-02-06 | 2009-06-22 |
| 5459 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Static type analysis for the fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions | 2008-02-07 | 2008-08-28 |
| 5460 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Error in static typing judgement for fn:sum | 2008-02-07 | 2008-08-28 |
| 5480 | XPath / | Formal S | jmdyck | CLOS | LATE | [FS] Substitution groups and 8.2.3.1.1 | 2008-02-14 | 2009-06-22 |
| 5596 | XPath / | Formal S | jmdyck | CLOS | WONT | [FS] Missing rule in 7.2.5 The fn:collection? | 2008-04-01 | 2008-04-30 |
| 5601 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Error in C.2 Mapping of Overloaded Internal Functions | 2008-04-01 | 2008-08-17 |
| 5651 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Static typing rules for fn:boolean. | 2008-04-22 | 2008-08-18 |
| 5670 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Normalization of Where Clause is missing fn:boolean() | 2008-04-29 | 2008-08-19 |
| 5747 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Expansion of castable throws errors | 2008-06-13 | 2008-08-26 |
| 5914 | XPath / | Formal S | jmdyck | CLOS | INVA | [FS]: Normalization of treat as | 2008-07-30 | 2008-07-31 |
| 5915 | XPath / | Formal S | jmdyck | CLOS | INVA | [FS] rules for XPST0005 | 2008-07-30 | 2008-11-12 |
| 5978 | XPath / | Formal S | jmdyck | CLOS | INVA | [FS] text adjustment of non-mixed complex types | 2008-08-21 | 2008-10-08 |
| 5986 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] 4.7.3.4: incorrect cross-reference | 2008-08-24 | 2008-08-24 |
| 6005 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] metavariables in mapping subscripts are rendered incorrectly | 2008-08-31 | 2008-08-31 |
| 6007 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Incorrect italicization in C.2 | 2008-09-02 | 2008-09-02 |
| 6160 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] 7.1.1 The fs:convert-operand function: incorrect type rules | 2008-10-13 | 2009-02-16 |
| 6538 | XPath / | Formal S | jmdyck | CLOS | FIXE | [FS] Inconsistent following-sibling behaviour of attribute nodes | 2009-02-06 | 2009-02-17 |
| 6625 | XPath / | Formal S | jmdyck | NEW | --- | [FS] Type unsoundness of axis expressions involving nillable elements substitutable for non-nillable elements | 2009-02-25 | 2009-02-25 |
| 6683 | XPath / | Formal S | jmdyck | NEW | --- | [FS] Types unsound for nillable element tests (and some minor editorial issues). | 2009-03-11 | 2009-03-11 |
| 7528 | XPath / | Formal S | jmdyck | NEW | --- | [FS] fs:convert-operand does not match XQuery semantics. | 2009-09-07 | 2009-09-07 |
| 12672 | XPath / | Formal S | jmdyck | ASSI | --- | [FS] Abbreviated Syntax normalization for AttributeTest | 2011-05-17 | 2011-05-17 |
