[Bug 5786] [FS] improve static typing of fn:trace()

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


Michael Dyck <jmdyck@ibiblio.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
  Status Whiteboard|                            |need to edit 1.1 doc




--- Comment #1 from Michael Dyck <jmdyck@ibiblio.org>  2008-10-14 17:52:02 ---
At their meeting today, the WGs approved the request for FS 1.1 to provide
a specific static typing rule for calls to fn:trace.

The original submission suggested that the type be inferred "similarly to
fn:reverse()", which is:

    --------------------------------------------------------------------
    statEnv |- (FN-URI,"reverse")(Type) : prime(Type)  quantifier(Type)

but for fn:trace, it shouldn't be necessary to factor the type. The static
type of the call can simply be the static type of the first argument.
That is:

    Type2 <: xs:string
    -------------------------------------------------
    statEnv |- (FN-URI,"trace")(Type1, Type2) : Type1

Given this decision, I am marking this issue resolved-fixed. (I'm not sure
who should close it, Liam Quin or Frans Englich.)


-- 
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 Tuesday, 14 October 2008 17:52:10 UTC