[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





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