- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 25 Jan 2008 01:14:08 +0000
- To: public-sml@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5416
Summary: clarify sml ref constraint info and table 4-2 contents
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
(discussed in 1/22 f2f)
1. "check" is not defined. Need to do so.
2. need to clarify the normative text in 4.4.2.3 Instance Validity Rules, and
remove the discrepancy between the normative text and the first row of table
4-2. The discrepancy is the first row, non-reference. The normative text
cited does not provide assert anything about the contents of this row. This
has no effect on model validity however, because of the way the conformance
section is written. One simple fix suggested was to remove the first row of
the table.
Received on Friday, 25 January 2008 01:14:15 UTC