This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 4793 - Restructure section 3.4 to follow the following 1) mapping from syntax to cannonical representation, 2) what constitutues a valid usage and 3) implications on instances.
Summary: Restructure section 3.4 to follow the following 1) mapping from syntax to can...
Status: RESOLVED FIXED
Alias: None
Product: SML
Classification: Unclassified
Component: Core (show other bugs)
Version: unspecified
Hardware: PC Windows XP
: P1 normal
Target Milestone: LC
Assignee: Valentina Popescu
QA Contact: SML Working Group discussion list
URL:
Whiteboard:
Keywords: editorial
Depends on:
Blocks: 5108
  Show dependency tree / graph
 
Reported: 2007-06-27 19:52 UTC by Bassam Tabbara
Modified: 2007-12-03 21:58 UTC (History)
0 users

See Also:

Attachments

Description Bassam Tabbara 2007-06-27 19:52:21 UTC
Comment 1 Sandy Gao 2007-07-12 16:40:42 UTC 
For example, for 3.4.1 "acyclic", we could organize its subsections like the following:

3.4.1 (description) {acyclic} is an SML specific property on SML reference types. It's value is a boolean. 
3.4.1.1 (maping from schema) if SML:acyclic is present, then {acyclic} has the actual value of SML:acyclic; otherwise, it has the value of {acyclic} of its base type.
3.4.1.2 (rules) it's an error if base type has {acyclic} with true and derived type has it with false.
3.4.1.3 (validation rule) if {acyclic} is true for a type, then its instances form no cycles.
Comment 2 James Lynn 2007-09-17 16:32:07 UTC 
This section is now 4.3. This bug requires more than restructuring and will need extensive rewriting in section 4.3.2 Constraints on Targets. Some restructuring has been done on both 4.3.1 and 4.3.2.
Comment 3 Virginia Smith 2007-10-17 20:01:13 UTC 
Applies to all of 4.3 not just 4.3.1. Note that Section 4.3.1 will be rewritten
anyway based on cycle proposal.
Comment 4 Sandy Gao 2007-11-29 18:12:52 UTC 
Proposed wording available in this email.

http://lists.w3.org/Archives/Public/public-sml/2007Nov/0326.html
Comment 5 Virginia Smith 2007-11-29 23:51:19 UTC 
NOTE that when this bug is fixed, the text in the sections in 4.4.1 (sml:acyclic) have changed per Bug 4639. So the proposed text in comment #4 must be merged with the new text in section 4.4.1.
Comment 6 Valentina Popescu 2007-12-03 21:58:19 UTC 
fixed as per proposal attached under comment #4