- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 25 Jan 2008 01:26:29 +0000
- To: public-sml@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5418
Summary: conformance criteria: "valid if" vs "valid if AND ONLY
IF"
Product: SML
Version: LC
Platform: PC
OS/Version: Windows XP
Status: NEW
Severity: normal
Priority: P2
Component: Core
AssignedTo: cmsmcq@w3.org
ReportedBy: johnarwe@us.ibm.com
QAContact: public-sml@w3.org
7. Conformance Criteria
contains 3 non-list sentences, each having the flavor
<defined term> is <valid|conforming> if ... conditions
The question raised at the 1/22 f2f is which of those (3, currently) should be
changed from "if" to "if and only if".
As part of the ensuing discussion, the assertion was made that the last
sentence of the section, "if any model document is not reachable, then the
model validator's behavior is implementation-defined.", would likely need to be
pulled out of the list.
Received on Friday, 25 January 2008 01:26:39 UTC