W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2008

[Bug 5795] Static Typing: CVS: K2-Steps-2, K2-FunctionProlog-14

From: <bugzilla@wiggum.w3.org>
Date: Thu, 26 Jun 2008 13:01:10 +0000
To: public-qt-comments@w3.org
Message-Id: <E1KBr66-0003Os-G7@wiggum.w3.org>

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





--- Comment #11 from Michael Kay <mike@saxonica.com>  2008-06-26 13:01:10 ---
>So do you think it conformant behaviour?

I wouldn't dare to venture an opinion. With static typing, nothing (not even a
failure to report a statically detectable error) would surprise me.

But I think there comes a time when a test suite has to take a pragmatic view.
The rules on errors and optimization license an implementation to throw an
error for the query 2+2. I don't think that means the test suite should list
this as an approved result. There comes a time when you have to report that you
consider your result conformant even though it's not the expected result that
was published.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Thursday, 26 June 2008 13:01:47 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:52 GMT