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

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