- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 14 Oct 2008 17:52:02 +0000
- To: public-qt-comments@w3.org
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