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

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

From: <bugzilla@farnsworth.w3.org>
Date: Thu, 15 May 2008 08:34:00 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JwYuW-0000SE-K7@farnsworth.w3.org>

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


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Status Whiteboard|                            |need to create erratum and
                   |                            |modify doc; consider for 1.1




------- Comment #19 from jmdyck@ibiblio.org  2008-05-15 08:34 -------
(In reply to comment #18)
> 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).

I'm inclined to agree.

> 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.

I haven't yet found an explanation. I think we should reconsider those type
rules for the 1.1 doc (and I have marked the Status Whiteboard accordingly).
Received on Thursday, 15 May 2008 08:34:38 UTC

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