<HTML><BODY style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; "><BR><DIV><DIV>On Aug 23, 2006, at 10:52 AM, thomas Aylott wrote:</DIV><BR class="Apple-interchange-newline"><BLOCKQUOTE type="cite"><DIV><DIV>On Aug 23, 2006, at 1:14 AM, Allan Odgaard wrote:</DIV><BLOCKQUOTE type="cite"><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica">On 23/8/2006, at 7:02, Chris Thomas wrote:</FONT></DIV><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; "><BR></DIV> <BLOCKQUOTE type="cite"><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 10px; "><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica">[...] Note that the current top level string.* hierarchy should probably be placed under the proposed datatype hierarchy:</FONT></DIV><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 10px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; "><BR></DIV><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 10px; "><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica"><SPAN class="Apple-tab-span" style="white-space:pre"> </SPAN>inline-data.string.(double-quoted|whatever)</FONT></DIV> </BLOCKQUOTE><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; "><BR></DIV><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica">One slight inconvenience is that we may want to style data structures with a faint change in background color, and that should apply to all but strings -- where strings would have a changed foreground color.</FONT></DIV><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 12px/normal Helvetica; min-height: 14px; "><BR></DIV><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><FONT face="Helvetica" size="3" style="font: 12.0px Helvetica">So if we group them, we will see scope selectors like: ‘data - data.string’. Though as string coloring is the dominant case, and can still use a simple scope selector, this might not be a real concern.</FONT></DIV> </BLOCKQUOTE></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>I'm all for using scopes to describe the languages as they are.</DIV><DIV><SPAN class="Apple-style-span">But i'm not feeling this <FONT class="Apple-style-span" face="Monaco" size="2"><SPAN class="Apple-style-span" style="font-size: 10px;">data.string</SPAN></FONT> business.</SPAN></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV><FONT class="Apple-style-span" color="#000000" face="Monaco" size="2"><SPAN class="Apple-style-span" style="background-color: transparent; font-size: 10px;">String</SPAN></FONT> <I>feels</I> like it should be a root element.</DIV><DIV><SPAN class="Apple-style-span">Logically it might make a lot of <I>sense</I> to move it in under something more broad.</SPAN></DIV><DIV>But i can't conceive of an actual use for it.</DIV></BLOCKQUOTE></DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>I'm not without sympathy for that view. But, holistically, I think this simple consistency is worthwhile. I think if you reuse or refer to sections of the scope hierarchy for defining other bits of the scope hierarchy, you want them to be consistent to make it easier to figure out what should be in them.</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>In any case, I can't give you a usage scenario where I think it presently affects the end user all that much either way, and I don't feel all that strongly about it, and we can always do a global rename later if it turns out we need it.</DIV><DIV><BR class="khtml-block-placeholder"></DIV><DIV>Chris</DIV></BODY></HTML>