W3C home > Mailing lists > Public > public-qt-comments@w3.org > November 2006

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

From: <bugzilla@wiggum.w3.org>
Date: Fri, 03 Nov 2006 10:52:44 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GfwfE-0006eQ-1a@wiggum.w3.org>

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

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