- From: <bugzilla@wiggum.w3.org>
- Date: Mon, 02 Oct 2006 13:41:51 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3782 ------- Comment #1 from tim@cbcl.co.uk 2006-10-02 13:41 ------- Make that: statEnv |- Type2 can be promoted to xs:string --------------------------------------------------- statEnv |- (FN-URI,"trace")(Type1, Type2) : Type1
Received on Monday, 2 October 2006 13:42:04 UTC