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 1785 - [FS] editorial: 8.5.1 Type promotion
Summary: [FS] editorial: 8.5.1 Type promotion
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-20 04:17 UTC by Michael Dyck
Modified: 2007-01-16 17:46 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2005-07-20 04:17:56 UTC 
8.5.1 Type promotion

Sem / rule 8 / premise 2
"prime(Type2) can be promoted to prime(Type2')"
    Prepend "statEnv |-".
(leftover from last year, comment #244)

Example 2
"is promoted to"
    Change to "promotes to"

"if the input value does not matches the target type."
    s/matches/match/

Sem 2 / rule 2 / premise 3
"statEnv |- Type1 != Type2"
    Delete "statEnv |-".
(leftover from last year, comment #247)

Sem 2 / rule 2 / premise 4
"Value1 cast as Type2 => Value2"
    Prepend "statEnv |-"
(leftover from last year, comment #248)

    But you can't plop a (Formal) Value into a (Core) CastExpr.
    (ValueExpr, the operand of a CastExpr, does not derive Value.)
Comment 1 Jerome Simeon 2006-04-10 14:59:25 UTC 
Fixed as suggested. Instead of the improper "Value1 cast as Type2 =>
Value2", uses a judgment which applies the casting rules from
F&O. This judgment is also used in 4.12.3 Cast.

- Jerome