W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2012

[Bug 19504] [QT3TS] instanceof139

From: <bugzilla@jessica.w3.org>
Date: Fri, 12 Oct 2012 15:48:59 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-19504-523-KS0qTri64c@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19504

--- Comment #2 from Tim Mills <tim@cbcl.co.uk> ---
Oh dear.  I feared that was the answer which is why my argument resorted to
"clearly" once I got to derives-from.

I have a horrible feeling that this means that there is a mismatch between the
static typing and dynamic evaluation rules.

declare variable $p as s:dateOrDateTime external;
declare variable $q as s:approximateDate := $p

$p, $q

is a static type error, even though it can never fail.  Do you agree?

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Friday, 12 October 2012 15:49:05 UTC

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