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 1725 - [FS] missing "if" in definition of convert_untypedAtomic
Summary: [FS] missing "if" in definition of convert_untypedAtomic
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: PC Windows 2000
: 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-18 21:42 UTC by Fred Zemke
Modified: 2007-01-16 17:39 UTC (History)
0 users

See Also:

Attachments

Description Fred Zemke 2005-07-18 21:42:03 UTC 
7.2.10 fn:min, etc.
Under notation, the second line in the recursive definition of
convert_untypedAtomic does not make sense.  It says 
"convert_untypedAtomic (FormalItemType, Type) = 
   FormalItemType (FormalItemType is not xdt:untypedAtomic)"
What seems to be lacking is an "if".  It would be clearer to 
reformulate the first two lines as 

If FormalItemType is xdtg:untypedAtomic 
then convert_untypedAtomic (FormalItemType, Type) = Type
else convert_untypedAtomic (FormalItemType, Type) = FormalItemType
Comment 1 Jerome Simeon 2006-04-10 18:10:35 UTC 
Fixed the corresponding lines for clarity.
- Jerome