W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2007

[Bug 3818] [FS] Static typing of $input-context1/works[1]/employee[1]/empnum[1]

From: <bugzilla@wiggum.w3.org>
Date: Thu, 03 May 2007 07:19:06 +0000
To: public-qt-comments@w3.org
Message-Id: <E1HjVak-0008FQ-R0@wiggum.w3.org>


------- Comment #18 from tim@cbcl.co.uk  2007-05-03 07:19 -------
Sorry, but my view is that the proposed fix is a hack to get around the more
general problem I described in Comment 13 ( "treat as" / "as" throws away
static type information).

Close the bug if you like, but I would be grateful for an explanation of why
the type rules actively throw away information, the effect of which appears
only to have the purpose of making static typing implementations reject
perfectly reasonable queries.
Received on Thursday, 3 May 2007 07:19:08 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:18 UTC