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

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





------- Comment #11 from tim@cbcl.co.uk  2006-11-03 10:52 -------
I think we might be roughly in agreement!

We intend that, if static type checking is turned off by the user, the system
will use static type checking so that only the minimal number of run time type
checks need to be added to the query representation.

However, to ensure we get the minimal number of run time type checks, we want
the static typing rules to be as good as is possible.  This is why we have been
reporting the problems we have encountered.

Received on Friday, 3 November 2006 10:52:51 UTC