public-qt-comments@w3.org from July 2005 by subject

[Bug 1207] Is unsignedInt("+123") an error?

[Bug 1230] Rules for forwards-compatibility mode

[Bug 1235] [XSLT] Namespace fixup for QName-valued content is unduly onerous

[Bug 1264] [XSLT] Reconsider XTDE1480

[Bug 1281] Error code format out of date

[Bug 1295] [DM] (from XML Core WG) Relation of DM types to Schema types

[Bug 1296] [DM] (from XML Core WG) Declaration base URI

[Bug 1307] [XQuery] Line Endings

[Bug 1308] proposal: merge xsl:perform-sort and xsl:sequence

[Bug 1313] Incompatibility when copying document nodes

[Bug 1319] definition of a XSLT processor

[Bug 1321] Value of Variables and Parameters (temporary trees from atoms)

[Bug 1324] on encoding

[Bug 1327] URI-escaping

[Bug 1334] no implicit conversion between time zones

[Bug 1359] please verify references to the various parts of the charmod-specs

[Bug 1366] [XQuery] some editorial comments on 1 Introduction

[Bug 1367] [XQuery] some editorial comments on 2.6 Comments

[Bug 1368] [XQuery] some editorial comments on 3.2 Path Expressions

[Bug 1369] [XQuery] some editorial comments on 3.4 Arithmetic Expressions

[Bug 1370] [XQuery] some editorial comments on 3.7.1.1 Attributes

[Bug 1371] [XQuery] some editorial comments on 3.7.1.3 Content

[Bug 1372] [XQuery] some editorial comments on 3.7.1.4 Boundary Whitespace

[Bug 1373] [XQuery] some editorial comments on A.1 EBNF (productions)

[Bug 1374] [XQuery] some editorial comments on A.1 EBNF (notation)

[Bug 1375] [XQuery] some editorial comments on A.1.1 Grammar Notes (general)

[Bug 1376] [XQuery] some editorial comments on A.1.1 grammar-note: parens

[Bug 1377] [XQuery] some editorial comments on A.1.1 grammar-note: lt

[Bug 1378] [XQuery] some editorial comments on A.1.1 grammar-note: leading-lone-slash

[Bug 1379] [XQuery] some editorial comments on A.1.1 grammar-note: comments

[Bug 1380] [XQuery] some editorial comments on A.1.1 grammar-note: xml-version

[Bug 1381] [XQuery] some editorial comments on A.1.1 grammar-note: reserved-function-names

[Bug 1382] [XQuery] some editorial comments on A.1.1 grammar-note: occurrence-indicators

[Bug 1383] [XQuery] some editorial comments on A.2 Lexical structure

[Bug 1384] [XQuery] some editorial comments on A.2.1 Terminal Types

[Bug 1385] [XQuery] some editorial comments on A.2.2.1 Default Whitespace Handling

[Bug 1386] [XQuery] some editorial comments on A.2.2.2 Explicit Whitespace Handling

[Bug 1387] [XQuery] some editorial comments on A.2.3 Comments

[Bug 1388] [XQuery] some editorial comments on A.3 Reserved Function Names

[Bug 1389] [XQuery] some editorial comments on A.4 Precedence Order

[Bug 1390] [XQuery] suggested alternate wording for A.2 and some A.1.1

[Bug 1406] Serialization of float and double via decimal problematic

[Bug 1412] [XQuery] Grammar: Allowing comments between $ and QName

[Bug 1414] [XQuery] Semantics: Treatment of untyped values with value comparisons

[Bug 1420] [FO] base-uri for collation uris

[Bug 1422] [FO] Types of substring arguments

[Bug 1424] [FO] Some editorial improvements on sections 10.1/10.2

[Bug 1430] [XPath] Further simplification of EBV

[Bug 1431] [FO/FS] Constrain $zero to be compatible if static typing is available

[Bug 1448] [XQuery] Grammar: Longest token vs delimiting terminal

[Bug 1449] Shuld 'to' be reseved?

[Bug 1458] XQST0082 should be a dynamic error not a static error

[Bug 1464] [XSLT] Typo in formating a float?

[Bug 1467] [FO] Cleanup of argument cardinality

[Bug 1468] [FO] fn:remove: allow empty position

[Bug 1469] [FO] fn:insert-before: allow empty sequence for position

[Bug 1470] [FO] namespace-uri-for-prefix signature

[Bug 1471] [FO] Cardinality of fn:dateTime arguments

[Bug 1472] [FO] fn:lang: signature should allow empty sequence

[Bug 1473] [FO] in-scope-prefixes : allow empty sequence as input values

[Bug 1474] [FO] fn:resolve-QName and empty nodes

[Bug 1475] [FO] fn:subsequence: Should allow empty for startingLoc and length

[Bug 1476] [FO] fn:id: allow node to be empty in signature

[Bug 1477] [FO] fn:idref: allow node to be empty in signature

[Bug 1479] 3.11 Embedded Stylesheet Modules; how to express type information

[Bug 1487] Undocumented incompatibility: sort key = ()

[Bug 1489] Missing overflow/underflow/truncation rules for literals

[Bug 1490] ERR XTDE0800 - Redundant error

[Bug 1494] [XQuery] encoding names

[Bug 1512] editorial suggestion for fn:min and fn:max

[Bug 1515] Contradictory statement: casting to xs:notation permitted/allowed

[Bug 1516] Editorial: example in 5.5.1 misleading

[Bug 1517] Editorial/Markup: Inconsistency in casting table(17.1)

[Bug 1517] New: Editorial/Markup: Inconsistency in casting table(17.1)

[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 1519] New: WXS's "data type namespace" is not reserved

[Bug 1519] WXS's "data type namespace" is not reserved

[Bug 1520] Editorial & Suggestion: distinguish different QNames in EBNF

[Bug 1520] New: Editorial & Suggestion: distinguish different QNames in EBNF

[Bug 1522] Editorial: 17.1.1 cast as xs:unsignedInt("13")

[Bug 1522] New: Editorial: 17.1.1 cast as xs:unsignedInt("13")

[Bug 1523] [FO] fn:subsequence and negative start position

[Bug 1523] New: [FO] fn:subsequence and negative start position

[Bug 1524] New: propose new function fn:escape-html-uri

[Bug 1524] propose new function fn:escape-html-uri

[Bug 1526] $x cast as xdt:anyAtomicType

[Bug 1526] New: $x cast as xdt:anyAtomicType

[Bug 1527] Grammar for abbreviated step

[Bug 1527] New: Grammar for abbreviated step

[Bug 1528] [FS] editorial: 1 Introduction

[Bug 1528] New: [FS] editorial: 1 Introduction

[Bug 1529] [FS] editorial: 1.1 Normative and Informative Sections

[Bug 1529] New: [FS] editorial: 1.1 Normative and Informative Sections

[Bug 1530] [FS] editorial: 2.1.1 Notations from grammar productions

[Bug 1530] New: [FS] editorial: 2.1.1 Notations from grammar productions

[Bug 1531] New: [FS] editorial: 2.1.2 Notations for judgments

[Bug 1532] [FS] editorial: 2.1.3 Notations for inference rules

[Bug 1532] New: [FS] editorial: 2.1.3 Notations for inference rules

[Bug 1533] New: [FS] editorial: 2.1.4 Notations for environments

[Bug 1534] New: [FS] editorial: 2.1.5 Putting it together

[Bug 1535] New: [FS] editorial: 2.3.1 Formal values

[Bug 1536] [FS] editorial: 2.3.2 Examples of values

[Bug 1536] New: [FS] editorial: 2.3.2 Examples of values

[Bug 1537] [FS] editorial: 2.4.1 XML Schema and the [XPath/XQuery] Type System

[Bug 1537] New: [FS] editorial: 2.4.1 XML Schema and the [XPath/XQuery] Type System

[Bug 1538] [FS] editorial: 2.4.2 Item types

[Bug 1538] New: [FS] editorial: 2.4.2 Item types

[Bug 1539] New: [FS] editorial: 2.4.3 Content models

[Bug 1540] New: [FS] editorial: 2.4.4. Top level definitions

[Bug 1541] [FS] editorial: 2.5 Functions and operators

[Bug 1541] New: [FS] editorial: 2.5 Functions and operators

[Bug 1542] [FS] editorial: 3.1.1 Static Context

[Bug 1542] New: [FS] editorial: 3.1.1 Static Context

[Bug 1543] [FS] editorial: 3.1.1.1 Resolving QNames to Expanded QNames

[Bug 1543] New: [FS] editorial: 3.1.1.1 Resolving QNames to Expanded QNames

[Bug 1544] New: [FS] editorial: 2.2 URIs, Namespaces, and Prefixes

[Bug 1545] New: [FS] editorial: 3.1.2 Dynamic Context

[Bug 1546] New: [FS] editorial: 3.2 Processing Model

[Bug 1547] [FS] editorial: 3.2.1 Processing model

[Bug 1547] New: [FS] editorial: 3.2.1 Processing model

[Bug 1548] New: [FS] editorial: 3.2.2 Normalization judgment

[Bug 1549] [FS] editorial: 3.2.3 Static typing judgment

[Bug 1549] New: [FS] editorial: 3.2.3 Static typing judgment

[Bug 1550] [FS] editorial: 3.2.4 Dynamic evaluation judgment

[Bug 1550] New: [FS] editorial: 3.2.4 Dynamic evaluation judgment

[Bug 1551] New: [FS] editorial: 3.3.1 Kinds of Errors

[Bug 1552] [FS] editorial: 3.3.2 Identifying and Reporting Errors

[Bug 1552] New: [FS] editorial: 3.3.2 Identifying and Reporting Errors

[Bug 1553] [FS] editorial: 3.3.3 Handling Dynamic Errors

[Bug 1553] New: [FS] editorial: 3.3.3 Handling Dynamic Errors

[Bug 1554] [FS] technical: 3.3.3 Handling Dynamic Errors

[Bug 1554] New: [FS] technical: 3.3.3 Handling Dynamic Errors

[Bug 1555] Current template rule

[Bug 1555] New: Current template rule

[Bug 1556] New: [FS] editorial: 3.3.4 Errors and Optimization

[Bug 1557] [FS] editorial: 3.4.2 Atomization

[Bug 1557] New: [FS] editorial: 3.4.2 Atomization

[Bug 1558] New: [FS] editorial: 3.4.4 Input Sources

[Bug 1559] [FS] editorial: 3.4.5 URI Literals

[Bug 1559] New: [FS] editorial: 3.4.5 URI Literals

[Bug 1560] [FS] editorial: 3.5.1 Predefined Schema Types

[Bug 1560] New: [FS] editorial: 3.5.1 Predefined Schema Types

[Bug 1561] New: [FS] editorial: 3.5.3 SequenceType Syntax

[Bug 1562] New: [FS] editorial: 4 Expressions

[Bug 1563] [FS] technical: 4 Expressions

[Bug 1563] New: [FS] technical: 4 Expressions

[Bug 1564] New: [FS] editorial: 4.1 Primary Expressions

[Bug 1565] [FS] editorial: 4.1.1 Literals

[Bug 1565] New: [FS] editorial: 4.1.1 Literals

[Bug 1566] [FS] technical: 4.1.1 Literals

[Bug 1566] New: [FS] technical: 4.1.1 Literals

[Bug 1567] New: Subtract duration from date: minor error

[Bug 1567] Subtract duration from date: minor error

[Bug 1568] [F+O] Unnecessary assumption in example

[Bug 1568] New: [F+O] Unnecessary assumption in example

[Bug 1570] [XQuery+XSLT] xml:id

[Bug 1570] New: [XQuery+XSLT] xml:id

[Bug 1571] [FS] technical: 4.1.2 Variable References

[Bug 1571] New: [FS] technical: 4.1.2 Variable References

[Bug 1572] [FS] editorial: 4.1.2 Variable References

[Bug 1572] New: [FS] editorial: 4.1.2 Variable References

[Bug 1575] New: [FS] editorial: 4.1.5 Function Calls

[Bug 1576] [FS] technical: 4.1.5 Function Calls: AtomizeAtomic

[Bug 1576] New: [FS] technical: 4.1.5 Function Calls: AtomizeAtomic

[Bug 1577] [FS] technical: 4.1.5 Function Calls: Normalization

[Bug 1577] New: [FS] technical: 4.1.5 Function Calls: Normalization

[Bug 1578] [FS] technical: 4.1.5 Function Calls: overloading is restricted

[Bug 1578] New: [FS] technical: 4.1.5 Function Calls: overloading is restricted

[Bug 1579] [FS] technical: 4.1.5 Function Calls: STA: "first check"

[Bug 1579] New: [FS] technical: 4.1.5 Function Calls: STA: "first check"

[Bug 1580] [FS] technical: 4.1.5 Function Calls: complicated by pseudo-functions

[Bug 1580] New: [FS] technical: 4.1.5 Function Calls: complicated by pseudo-functions

[Bug 1581] [FS] technical: 4.1.5 Function Calls: argument promotion

[Bug 1581] New: [FS] technical: 4.1.5 Function Calls: argument promotion

[Bug 1582] [FS] technical: 4.1.5 Function Calls: return-promotion for imported fns

[Bug 1582] New: [FS] technical: 4.1.5 Function Calls: return-promotion for imported fns

[Bug 1583] [FS] technical: 4.1.5 Function Calls: refactor

[Bug 1583] New: [FS] technical: 4.1.5 Function Calls: refactor

[Bug 1584] [FS] technical: 4.1.5 Function Calls: "for all j"

[Bug 1584] New: [FS] technical: 4.1.5 Function Calls: "for all j"

[Bug 1585] [FS] technical: 4.1.5 Function Calls: free pattern in not()

[Bug 1585] New: [FS] technical: 4.1.5 Function Calls: free pattern in not()

[Bug 1586] [FS] technical: 4.1.5 Function Calls: propagating errors

[Bug 1586] New: [FS] technical: 4.1.5 Function Calls: propagating errors

[Bug 1587] New: [FS] editorial: 4.2 Path Expressions

[Bug 1588] New: [FS] editorial: 4.2.1 Steps

[Bug 1589] [FS] editorial: 4.2.1.1 Axes

[Bug 1589] New: [FS] editorial: 4.2.1.1 Axes

[Bug 1590] [FS] editorial: 4.2.2 Predicates

[Bug 1590] New: [FS] editorial: 4.2.2 Predicates

[Bug 1591] New: [FS] editorial: 4.2.4 Abbreviated Syntax

[Bug 1592] New: [FS] editorial: 4.3.1 Constructing Sequences

[Bug 1593] [FS] editorial: 4.3.2 Filter Expresssions

[Bug 1593] New: [FS] editorial: 4.3.2 Filter Expresssions

[Bug 1594] [FS] editorial: 4.3.3 Combining Node Sequences

[Bug 1594] New: [FS] editorial: 4.3.3 Combining Node Sequences

[Bug 1595] New: [FS] editorial: 4.4 Arithmetic Expressions

[Bug 1596] [FS] editorial: 4.5 Comparison Expressions

[Bug 1596] New: [FS] editorial: 4.5 Comparison Expressions

[Bug 1597] New: [FS] editorial: 4.5.1 Value Comparisons

[Bug 1598] New: [FS] editorial: 4.5.2 General Comparisons

[Bug 1599] New: [FS] editorial: 4.5.3 Node Comparisons

[Bug 1600] New: sporadic judgments in ordinary English

[Bug 1600] sporadic judgments in ordinary English

[Bug 1601] [FS] editorial: 4.7 Constructors

[Bug 1601] New: [FS] editorial: 4.7 Constructors

[Bug 1602] New: minor editorial for section 2.1.2

[Bug 1603] New: no definition of "may", etc.

[Bug 1603] no definition of "may", etc.

[Bug 1604] New: which grammar is intended by italicization?

[Bug 1604] which grammar is intended by italicization?

[Bug 1605] New: The inference engine is not specified (only the rule base it uses is)

[Bug 1605] The inference engine is not specified (only the rule base it uses is)

[Bug 1606] New: what is an [expression/query]?

[Bug 1606] what is an [expression/query]?

[Bug 1607] any other environment groups besides static and dynamic contexts?

[Bug 1607] New: any other environment groups besides static and dynamic contexts?

[Bug 1608] can namespaces be removed from an environment by undeclaring?

[Bug 1608] New: can namespaces be removed from an environment by undeclaring?

[Bug 1609] New: two notations for function evaluation (= and =>)

[Bug 1609] two notations for function evaluation (= and =>)

[Bug 1610] don't environments behave like a stack? why not say so?

[Bug 1610] New: don't environments behave like a stack? why not say so?

[Bug 1611] New: section 2 is not self-contained and ought to be

[Bug 1611] section 2 is not self-contained and ought to be

[Bug 1612] New: what is the quantification of unbound variables?

[Bug 1612] what is the quantification of unbound variables?

[Bug 1613] New: so what are "the appropriate URIs"?

[Bug 1613] so what are "the appropriate URIs"?

[Bug 1614] New: please spell out all defaults explicitly

[Bug 1614] please spell out all defaults explicitly

[Bug 1615] New: what types are permitted in document { Type }?

[Bug 1615] what types are permitted in document { Type }?

[Bug 1616] New: only the semantics of sequence types are specified, not all formal types

[Bug 1616] only the semantics of sequence types are specified, not all formal types

[Bug 1617] how are comments really parsed?

[Bug 1617] New: how are comments really parsed?

[Bug 1618] New: the formal type notation for element is ambiguous

[Bug 1618] the formal type notation for element is ambiguous

[Bug 1619] New: what is the default type of a document?

[Bug 1619] what is the default type of a document?

[Bug 1620] New: unbalanced parens

[Bug 1620] unbalanced parens

[Bug 1621] New: no algebra of types

[Bug 1621] no algebra of types

[Bug 1622] a union type does not have a base type

[Bug 1622] New: a union type does not have a base type

[Bug 1623] New: please provide examples of list and union types

[Bug 1623] please provide examples of list and union types

[Bug 1624] can type definitions be recursive?

[Bug 1624] New: can type definitions be recursive?

[Bug 1625] New: Static Typing Feature may find a type error that the dynamic evaluation would miss

[Bug 1625] Static Typing Feature may find a type error that the dynamic evaluaton would miss

[Bug 1626] [XQuery] editorial: 3.7.1.3 Content: handling boundary whitespace

[Bug 1626] New: [XQuery] editorial: 3.7.1.3 Content: handling boundary whitespace

[Bug 1627] New: [FS] editorial: 4.7.1 Direct Element Constructors

[Bug 1628] [FS] technical: 4.7.1 Direct Element Constructors: element-content units

[Bug 1628] New: [FS] technical: 4.7.1 Direct Element Constructors: element-content units

[Bug 1629] [FS] technical: 4.7.1 Direct Element Constructors: character content

[Bug 1629] New: [FS] technical: 4.7.1 Direct Element Constructors: character content

[Bug 1630] New: Issue: booleannaming

[Bug 1631] FTScoreClause (xpath)

[Bug 1631] New: FTScoreClause (xpath)

[Bug 1632] [FS] convention for inferences with no premises

[Bug 1632] New: [FS] convention for inferences with no premises

[Bug 1633] [FS] The Expr's in [Expr]Expr are not the same

[Bug 1633] New: [FS] The Expr's in [Expr]Expr are not the same

[Bug 1634] [FS] "type correct", "type safe", "type-safe", "well-typed"

[Bug 1634] New: [FS] "type correct", "type safe", "type-safe", "well-typed"

[Bug 1635] [FS] does tatEnv "correspond" to the static context?

[Bug 1635] New: [FS] does tatEnv "correspond" to the static context?

[Bug 1636] [FS] why two spellings, Uri and URI?

[Bug 1636] New: [FS] why two spellings, Uri and URI?

[Bug 1637] [FS] collations can have a third, optional, mapping

[Bug 1637] New: [FS] collations can have a third, optional, mapping

[Bug 1638] [FS] do input collections all have the same type?

[Bug 1638] New: [FS] do input collections all have the same type?

[Bug 1639] [FS] please define "=" in judgments, especially for URIs

[Bug 1639] New: [FS] please define "=" in judgments, especially for URIs

[Bug 1640] [FS] editorial: 4.7.1.1 Attributes

[Bug 1640] New: [FS] editorial: 4.7.1.1 Attributes

[Bug 1641] [FS] technical: 4.7.1.1 Attributes: make normalizations explicit

[Bug 1641] New: [FS] technical: 4.7.1.1 Attributes: make normalizations explicit

[Bug 1642] [FS] better to say "initial environment" rather than an "initial state"

[Bug 1642] New: [FS] better to say "initial environment" rather than an "initial state"

[Bug 1643] [FS] proposed wording fix for dynEnv.funcDefn

[Bug 1643] New: [FS] proposed wording fix for dynEnv.funcDefn

[Bug 1644] [FS] what is the type of fs:position and fs:last?

[Bug 1644] New: [FS] what is the type of fs:position and fs:last?

[Bug 1645] [FS] tightening the description of the Normalization phase

[Bug 1645] New: [FS] tightening the description of the Normalization phase

[Bug 1646] New: [FS] editorial: 4.7.1.2 Namespace Declaration Attributes

[Bug 1647] [FS] technical: NamespaceBindings in CompElemConstructor

[Bug 1647] New: [FS] technical: NamespaceBindings in CompElemConstructor

[Bug 1648] [FS] normalization rules may invoke other normalization rules

[Bug 1648] New: [FS] normalization rules may invoke other normalization rules

[Bug 1649] [FS] request an example of passing information in a normalization rule

[Bug 1649] New: [FS] request an example of passing information in a normalization rule

[Bug 1650] [FS] please list all expressions that do not propagate errors

[Bug 1650] New: [FS] please list all expressions that do not propagate errors

[Bug 1651] New: please create a section for "handling static errors"

[Bug 1651] please create a section for "handling static errors"

[Bug 1652] [FS] poor usage: "may not raise an error"

[Bug 1652] New: [FS] poor usage: "may not raise an error"

[Bug 1653] New: what is a "wildcard element type"?

[Bug 1653] what is a "wildcard element type"?

[Bug 1654] [FS] multiple terms for "static [type] [inference] rule"

[Bug 1654] New: [FS] multiple terms for "static [type] [inference] rule"

[Bug 1655] [FS] need examples of when to raise a type error

[Bug 1655] New: [FS] need examples of when to raise a type error

[Bug 1656] [FS] undefined notation in 4.1.2 "Variable references" and elsewhere

[Bug 1656] New: [FS] undefined notation in 4.1.2 "Variable references" and elsewhere

[Bug 1657] New: [FS] editorial: 4.7.1.4 Whitespace in Element Content

[Bug 1658] New: [FS] editorial: 4.7.2 Other Direct Constructors

[Bug 1659] New: [FS] editorial: 4.7.3.1 Computed Element Constructors

[Bug 1660] New: [FS] editorial: 4.7.3.2 Computed Attribute Constructors

[Bug 1661] New: [FS] editorial: 4.7.3.3 Document Node Constructors

[Bug 1662] [FS] editorial: 4.7.3.4 Text Node Constructors

[Bug 1662] New: [FS] editorial: 4.7.3.4 Text Node Constructors

[Bug 1663] New: [FS] editorial: 4.7.3.5 Computed Processing Instruction Constructors

[Bug 1664] [FS] editorial: 4.7.3.6 Computed Comment Constructors

[Bug 1664] New: [FS] editorial: 4.7.3.6 Computed Comment Constructors

[Bug 1665] New: user-defined tree navigation primitives

[Bug 1665] user-defined tree navigation primitives

[Bug 1666] New: [FS] editorial: 4.8 [For/FLWR] Expressions

[Bug 1667] [FS] editorial: 4.8.1 FLWOR expressions

[Bug 1667] New: [FS] editorial: 4.8.1 FLWOR expressions

[Bug 1668] [FS] technical: 4.8.1 FLWOR expressions: non-parameterized normalization

[Bug 1668] New: [FS] technical: 4.8.1 FLWOR expressions: non-parameterized normalization

[Bug 1669] New: [FS] editorial: 4.8.2 For expression

[Bug 1670] [FS] editorial: 4.8.3 Let Expression

[Bug 1670] New: [FS] editorial: 4.8.3 Let Expression

[Bug 1672] New: [FS] editorial: 4.8.4 Order By and Return Clauses

[Bug 1673] [FS] editorial: 4.9 Ordered and Unordered Expressions

[Bug 1673] New: [FS] editorial: 4.9 Ordered and Unordered Expressions

[Bug 1674] [FS] editorial: 4.10 Conditional Expressions

[Bug 1674] New: [FS] editorial: 4.10 Conditional Expressions

[Bug 1675] [FS] editorial: 4.11 Quantified Expressions

[Bug 1675] New: [FS] editorial: 4.11 Quantified Expressions

[Bug 1676] New: [FS] editorial: 4.12 Expressions on SequenceTypes

[Bug 1677] New: [FS] editorial: 4.12.2 Typeswitch

[Bug 1678] [FS] editorial: 4.12.3 Cast

[Bug 1678] New: [FS] editorial: 4.12.3 Cast

[Bug 1679] New: [FS] editorial: 4.12.4 Castable

[Bug 1680] New: [FS] editorial: 4.12.5 Constructor Functions

[Bug 1681] [FS] editorial: 4.12.6 Treat

[Bug 1681] New: [FS] editorial: 4.12.6 Treat

[Bug 1682] [FS] editorial: 4.13 Validate Expressions

[Bug 1682] New: [FS] editorial: 4.13 Validate Expressions

[Bug 1683] [FS] editorial: 4.13.1 Validating an Element Node

[Bug 1683] New: [FS] editorial: 4.13.1 Validating an Element Node

[Bug 1684] [FS] editorial: 4.14 Extension Expressions

[Bug 1684] New: [FS] editorial: 4.14 Extension Expressions

[Bug 1685] New: [FS] please place "if" before "then"

[Bug 1686] Hard to find the definitions of purely symbolic judgments

[Bug 1686] New: Hard to find the definitions of purely symbolic judgments

[Bug 1687] [FS] AtomizeAtomic(SequenceType) normaliztion

[Bug 1687] New: [FS] AtomizeAtomic(SequenceType) normaliztion

[Bug 1688] New: simplifying the definition of AtomizeAtomic

[Bug 1688] simplifying the definition of AtomizeAtomic

[Bug 1689] [FS] automatic cast of any atomic type or just untypedAtomic?

[Bug 1689] New: [FS] automatic cast of any atomic type or just untypedAtomic?

[Bug 1690] [FS] need to know what function is invoked before looking for special rules

[Bug 1690] New: [FS] need to know what function is invoked before looking for special rules

[Bug 1691] [FS] ambiguous use of "first rule"

[Bug 1691] New: [FS] ambiguous use of "first rule"

[Bug 1692] New: [FS] iterative application of the rule on union types

[Bug 1693] [FS] lack of quantification and double subscripting is seriously wrong

[Bug 1693] New: [FS] lack of quantification and double subscripting is seriously wrong

[Bug 1694] New: [FS] editorial: 5 Modules and Prologs

[Bug 1695] New: [FS] inconsistent quoting in 4.2 normalization rules

[Bug 1696] New: [FS] first sentence of 4.2.1 is not grammatical

[Bug 1697] New: [FS] some normalizations in 4.2.1 are not grammatical

[Bug 1698] New: [FS] is it "filter judgment" or "filter inference"?

[Bug 1699] [FS] algebra of sequence concatenation is not complete

[Bug 1699] New: [FS] algebra of sequence concatenation is not complete

[Bug 1700] New: [FS] most arithmetic operations are not monomorphic

[Bug 1701] [FS] what is [For/FLWR]?

[Bug 1701] New: [FS] what is [For/FLWR]?

[Bug 1702] New: [FS] editorial: 5.1 Version Declaration

[Bug 1703] New: [FS] editorial: 5.2 Module Declaration

[Bug 1704] [FS] technical: 5.2 Module Declaration: importing a namespace that is the target of two modules

[Bug 1704] New: [FS] editorial: [FS] technical: 5.2 Module Declaration: importing a namespace that is the target of two modules

[Bug 1705] [FS] technical: 5.2 Module Declaration: cyclical imports

[Bug 1705] New: [FS] technical: 5.2 Module Declaration: cyclical imports

[Bug 1706] New: [FS] editorial: 5.3 Boundary-space Declaration

[Bug 1707] New: [FS] editorial: 5.5 Base URI Declaration

[Bug 1708] [FS] (editorial) recommendation for static typing extensions

[Bug 1708] New: [FS] (editorial) recommendation for static typing extensions

[Bug 1709] [FS] (editorial) recommendation for static typing extensions

[Bug 1709] New: [FS] (editorial) recommendation for static typing extensions

[Bug 1710] (FS)

[Bug 1710] New: (FS)

[Bug 1711] New: [FS] editorial: 5.6 Construction Declaration

[Bug 1712] New: (FS) (editorial) variable declarations

[Bug 1713] New: [FS] editorial: 5.7, 5.8, 5.9

[Bug 1714] New: [FS] editorial: 5.10 Schema Import

[Bug 1715] New: [FS] editorial: 5.11 Module Import

[Bug 1716] [FS] editorial: 5.12 Namespace Declaration

[Bug 1716] New: [FS] editorial: 5.12 Namespace Declaration

[Bug 1717] New: [FS] editorial: 5.13 Default Namespace Declaration

[Bug 1718] New: [FS] editorial: 5.14 Variable Declaration

[Bug 1719] [FS] ElementContent is italicized but not a BNF non-terminal

[Bug 1719] New: [FS] ElementContent is italicized but not a BNF non-terminal

[Bug 1720] [FS] what is the "operand" of fs:convert-operand? what is the type of $actual?

[Bug 1720] New: [FS] what is the "operand" of fs:convert-operand? what is the type of $actual?

[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 1722] New: [FS] typos in two inferences in 7.2.5 "fn:collection..."

[Bug 1723] New: [FS] two inferences in 7.2.5 "Fn:collection" conclude with wrong quantifier

[Bug 1724] New: [FS] inconsistent usage in 7.2.5 "fn:collection and fn:doc"

[Bug 1725] New: [FS] missing "if" in definition of convert_untypedAtomic

[Bug 1726] New: [FS] induction or recursion?

[Bug 1727] New: [FS] probable typo in last inference in 7.2.13 "fn:subsequence"

[Bug 1728] [FS] stronger inference is possible in 7.2.13 "fn:subsequence"

[Bug 1728] New: [FS] stronger inference is possible in 7.2.13 "fn:subsequence"

[Bug 1729] [FS] probable typo in 8.1 "udgments for accessing types"

[Bug 1729] New: [FS] probable typo in 8.1 "udgments for accessing types"

[Bug 1730] [FS] difficult use of "?" in inferences in 8.1 "Judgments for accessing types"

[Bug 1730] New: [FS] difficult use of "?" in inferences in 8.1 "Judgments for accessing types"

[Bug 1731] New: [FS] missing subscripts in 8.1.1 "Derives from"

[Bug 1732] [FS] is "derives from" really asymmetric?

[Bug 1732] New: [FS] is "derives from" really asymmetric?

[Bug 1733] New: [FS] missing subscripts in 8.1.2 "Substitutes for"

[Bug 1734] New: [FS] examples that don't fit on the page in 8.1.2 "Substitutes for"

[Bug 1735] New: [FS] should BuiltInAttributes be italicized?

[Bug 1736] New: [FS] ambiguous use of "optional" in 8.1.9 "type expansion"

[Bug 1737] [FS] no seed to start the recursion in 8.1.10 "union interpretation..."

[Bug 1737] New: [FS] no seed to start the recursion in 8.1.10 "union interpretation..."

[Bug 1738] [FS] what is "one-determinism"?

[Bug 1738] New: [FS] what is "one-determinism"?

[Bug 1739] New: [FS] please provide hot links to the definition of "prime type"

[Bug 1740] New: [FS] please summarize the Formal grammar in an appendix

[Bug 1741] New: [FS] editorial: 5.15 Function Declaration

[Bug 1742] [FS] technical: 5.15 Function Declaration: adding FunctionDecl to statEnv

[Bug 1742] New: [FS] technical: 5.15 Function Declaration: adding FunctionDecl to statEnv

[Bug 1743] [FS] technical: 5.15 Function Declaration: a function can reference any function

[Bug 1743] New: [FS] technical: 5.15 Function Declaration: a function can reference any function

[Bug 1744] New: [FS] editorial: 5.16 Option Declaration

[Bug 1745] New: [FS] editorial: 7.1.3 The fs:convert-operand function

[Bug 1746] New: [FS] editorial: 7.1.4 The fs:convert-simple-operand function

[Bug 1747] [FS] editorial: 7.1.6 The fs:distinct-doc-order-or-atomic-sequence function

[Bug 1747] New: [FS] editorial: 7.1.6 The fs:distinct-doc-order-or-atomic-sequence function

[Bug 1748] New: [FS] editorial: 7.1.7 The fs:item-sequence-to-node-sequence function

[Bug 1749] New: [FS] editorial: 7.1.8, 7.1.9, 7.1.10, 7.1.11

[Bug 1750] New: [FS] editorial: 7.1.12 The fs:apply-ordering-mode function

[Bug 1751] New: [FS] editorial: 7.1.13 The fs:to function

[Bug 1752] [FS] editorial: 7.2 Standard functions with specific typing rules

[Bug 1752] New: [FS] editorial: 7.2 Standard functions with specific typing rules

[Bug 1753] New: The sorting process

[Bug 1753] The sorting process

[Bug 1754] New: [FS] editorial: 7.2.1, 7.2.2, 7.2.10: normalizing calls to particular functions

[Bug 1755] [FS] technical: 7.2 Standard functions with specific typing rules

[Bug 1755] New: [FS] technical: 7.2 Standard functions with specific typing rules

[Bug 1756] [FS] editorial: 7.2.3 The fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions

[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 1757] [FS] editorial: 7.2.4 The fn:boolean function

[Bug 1757] New: [FS] editorial: 7.2.4 The fn:boolean function

[Bug 1758] New: [FS] editorial: 7.2.5 The fn:collection and fn:doc functions

[Bug 1759] New: [FS] editorial: 7.2.6 The fn:data function

[Bug 1760] New: [FS] editorial: 7.2.8 The fn:unordered function

[Bug 1761] New: [FS] editorial: 7.2.9 The fn:error function

[Bug 1763] New: [FS] editorial: 7.2.10 The fn:min, fn:max, fn:avg, and fn:sum functions

[Bug 1764] New: [FS] editorial: 7.2.11 The fn:remove function

[Bug 1765] New: [FS] editorial: 7.2.13 The fn:subsequence function

[Bug 1766] [FS] technical: 7.2.13 The fn:subsequence function: tighter typing

[Bug 1766] New: [FS] technical: 7.2.13 The fn:subsequence function: tighter typing

[Bug 1767] [FS] technical: 7.2.13 The fn:subsequence function: incorrect typing?

[Bug 1767] New: [FS] technical: 7.2.13 The fn:subsequence function: incorrect typing?

[Bug 1768] New: [FS] editorial: 7.2.16 The fn:zero-or-one, fn:one-or-more, and fn:exactly-one functions

[Bug 1769] New: [FS] editorial: 8.1.1 Derives from

[Bug 1770] New: [FS] editorial: 8.1.3, 8.1.4: statEnv.attrDecl(AttributeName)

[Bug 1771] New: [FS] editorial: 8.1.5, 8.1.6, E.1.5.2: "Type1 = AttributeAll1, ElementContent1"

[Bug 1772] New: [FS] editorial: 8.1.9 Type expansion

[Bug 1773] New: [FS] editorial: 8.2.1 Principal Node Kind

[Bug 1774] New: [FS] editorial: 8.2.2.1 Static semantics of axes

[Bug 1775] New: [FS] editorial: 8.2.2.1.1 Inference rules for all axis

[Bug 1776] New: [FS] editorial: 8.2.2.2 Dynamic semantics of axes

[Bug 1777] New: [FS] editorial: 8.2.3.1.1 (Static semantics of) Name Tests

[Bug 1778] New: [FS] editorial: 8.2.3.1.2 (Static semantics of) Kind Tests

[Bug 1779] New: [FS] editorial: 8.2.3.2.1 (Dynamic semantics of) Name Tests

[Bug 1780] New: [FS] editorial: 8.2.3.2.2 (Dynamic semantics of) Kind Tests

[Bug 1781] New: [FS] editorial: 8.3.1 Matches

[Bug 1782] New: [FS] editorial: 8.3.2 Subtype and Type equality

[Bug 1783] New: [FS] editorial: 8.4 Judgments for FLWOR and other expressions on sequences

[Bug 1785] New: [FS] editorial: 8.5.1 Type promotion

[Bug 1786] New: [FS] editorial: 8.6.1 Elements in validation mode

[Bug 1787] New: [FS] editorial: problems re VarRef, Variable

[Bug 1788] [FS] incomplete specification for the conditions of type error err:XQTY0086

[Bug 1788] New: [FS] incomplete specification for the conditions of type error err:XQTY0086

[Bug 1789] New: [FS] editorial: item*

[Bug 1790] [FS] technical: normalization rules "not required"

[Bug 1790] New: [FS] technical: normalization rules "not required"

[Bug 1791] New: [FS] editorial: unbolded colon

[Bug 1792] New: [FS] editorial: []_sequencetype needs statEnv?

[Bug 1794] Casting float/double to string

[Bug 1794] New: Casting float/double to string

[Bug 1796] New: [FS] editorial: problems re URI, URILiteral, AnyURI

[Bug 1797] New: [XSLT] Extension attributes for serialization

[Bug 1798] New: [FS] editorial: B.2 Mapping of Overloaded Internal Functions

[Bug 1799] New: [FS] editorial: C.1 Introduction

[Bug 1800] New: [FS] editorial: E.1 Judgments for the validate expression

[Bug 1801] New: [FS] editorial: E.1.1 Type resolution

[Bug 1802] New: [FS] editorial: E.1.3 Attribute filtering

[Bug 1803] New: [FS] editorial: E.1.4.1 Simply erases

[Bug 1804] New: [FS] editorial: E.1.4.2 Erases

[Bug 1805] New: [FS] editorial: E.1.5 Annotate

[Bug 1806] New: [FS] editorial: E.1.5.1 Simply annotate

[Bug 1807] New: [FS] editorial: E.1.5.2 Nil-annotate

[Bug 1808] New: [FS] editorial: E.1.5.3 Annotate

[Bug 1811] Need explicit statement of interactions among initial settings

[Bug 1811] New: Need explicit statement of interactions among initial settings

[Bug 1812] Need explicit statement on global variables and launch options

[Bug 1812] New: Need explicit statement on global variables and launch options

[Bug 1813] Does format-number still need notion of overflow?

[Bug 1813] New: Does format-number still need notion of overflow?

[Bug 1817] [XSLT 2.0] Incorrect example for xsl:namespace

[Bug 1817] New: [XSLT 2.0] Incorrect example for xsl:namespace

[Bug 1820] New: [FS] technical: 4.1.5 Function Calls: dynEnvDefault

[Bug 1822] [XSLT 2.0] +INF

[Bug 1822] New: [XSLT 2.0] +INF

[Bug 1823] Editorial: section 6.2, xs:NCNAME, XSL-T sample code

[Bug 1823] New: Editorial: section 6.2, xs:NCNAME, XSL-T sample code

[Bug 1824] Functions return xs:NCName, but xs:NCName is not support in XSLT 2.0 Basic

[Bug 1824] New: Functions return xs:NCName, but xs:NCName is not support in XSLT 2.0 Basic

[Bug 1825] Contradictory statements for casting from xs:QName to xs:QName

[Bug 1825] New: 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] New: Editorial: op:union/op:intersect defined in F&O, but error handling in XPath 2.0

[Bug 1827] New: Range expression: "1 to1" specified to evaluate to "(1, 1)"

[FS] XQuery last call comment

[FT] FTDistance

[FT] FTThesaurusOption

[XPath] 2.5.4.4 Schema Element Test

comment on XSLT2 WD from Kit Lueder, MITRE

integrating assign in the standard

W3C Last Call and Media Type request for comments: XQuery and XQueryX

XQueryX: straight-edge format for the rebellious teenage geek

Last message date: Sunday, 31 July 2005 15:38:04 UTC