This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 1562 - [FS] editorial: 4 Expressions
Summary: [FS] editorial: 4 Expressions
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: All All
: P2 minor
Target Milestone: ---
Assignee: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-07-13 02:59 UTC by Michael Dyck
Modified: 2007-01-16 17:25 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2005-07-13 02:59:35 UTC 
4 Expressions

Core Grammar
"[31 (Core)] ExprSingle ::= ...
    Add QuantifiedExpr!

"It is a static type error"
    'static error' and 'type error' are distinct, so delete "static"?
    (If an implementation doesn't support STA, is Dynamic Evaluation
    required to raise an error in these circumstances?)

"for any expression to have the empty type, except for the following
expressions and functions"
    Functions don't have type per se. You should probably be talking
    about FunctionCalls.

"empty parenthesis" (throughout)
    s/parenthesis/parentheses/ ?

"those exception"
    Change to "these exceptions".

"a static type error is raised."
    Delete "static"?

"an empth parenthesis"
    s/empth/empty/
Comment 1 Mary Fernandez 2006-02-21 20:38:33 UTC 
Made most of the suggested fixes, although kept "static" adjective
to indicate that the type error is raised during _static analysis_,
not _dynamic evaluation_.
Comment 2 Michael Dyck 2006-09-04 09:24:01 UTC 
You still need to add QuantifiedExpr to [23 (Core)] ExprSingle.
Comment 3 Jerome Simeon 2006-10-19 23:44:16 UTC 
Done.
- Jerome