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 1585 - [FS] technical: 4.1.5 Function Calls: free pattern in not()
Summary: [FS] technical: 4.1.5 Function Calls: free pattern in not()
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 normal
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-14 04:19 UTC by Michael Dyck
Modified: 2005-09-06 13:00 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2005-07-14 04:19:19 UTC 
4.1.5 Function Calls

DErr / rule (2|3|4)
"statEnv |- not (Value against Type promotes to Value')"
(rule 2 also has 'i' subscripts, no matter)
    This doesn't do what you want. The pattern Value' has no other
    occurrence in the rule, so given *any* bindings for Value and Type,
    it's easy to find a binding for Value' that makes the premise hold.
    (Never have a completely free pattern within a not()!)
Comment 1 Michael Dyck 2005-07-21 04:04:38 UTC 
STA / rule 3
"not(Type1 = (AtomicType1,1|...|AtomicType1,m1))"
"not(Typen = (AtomicTypen,1|...|AtomicTypen,mn))"
    Same thing.
Comment 2 Jerome Simeon 2005-07-27 04:20:50 UTC 
As the WGs have decided to remove the sections corresponding to dynamic errors,
this comment should now be moot.
- Jerome
Comment 3 Jerome Simeon 2005-08-31 15:27:35 UTC 
The XML Query and XLST WGs have decided to close this comment as moot, with no
further action.
- Jerome