W3C home > Mailing lists > Public > public-sml@w3.org > April 2008

[Bug 5636] why prohibit rules on local decls/defs described by other specs?

From: <bugzilla@farnsworth.w3.org>
Date: Wed, 23 Apr 2008 01:29:19 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1JoTnT-0006ZZ-TC@farnsworth.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5636





------- Comment #2 from cmsmcq@w3.org  2008-04-23 01:29 -------
I'm not sure how P1d and P1e are intended to relate.  

  P1d - Local TDs: no (pretty clear)
  P1e - Anonymous TD as a child of a GED: not sure 

If comment #1 intends them to be disjoint cases, we
have a problem.  The set of local type definitions 
and the set of anonymous type definitions are the same
set.

If comment #1 intends P1e as a subset of P1d (those
local = anonymous type definitions which are local
to global element declarations), then there's no 
contradiction but I was confused.  In figuring out 
what we want to do on P1e, we should probably make sure we
are all on the same page as to what set of things we are
deciding about.
Received on Wednesday, 23 April 2008 01:29:50 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 23 April 2008 01:29:52 GMT