[Bug 5459] [FS] Static type analysis for the fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5459





--- Comment #21 from Michael Dyck <jmdyck@ibiblio.org>  2008-07-31 21:46:13 ---
(In reply to comment #20)
> These type checking rules agree with our implementation except your definition
> of base atomic type for xs:dayTimeDuration and xs:yearMonthDuration is
> xs:duration

Whoops! I forgot that those two aren't primitive. Thanks for catching that.
Your suggested alterations look fine.

> If the concept of base atomic type is being added anyway, then is it worth
> using it in place of base numeric type for abs, etc. ?

Yeah, I was thinking of doing that.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Thursday, 31 July 2008 21:46:47 UTC