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

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 UTC