- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 25 Oct 2007 13:33:14 +0000
- To: public-sml@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5109
johnarwe@us.ibm.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
------- Comment #2 from johnarwe@us.ibm.com 2007-10-25 13:33 -------
The part of the change that mattered more was missed in comment #1. The
existing version says local and global, the new version implicitly says global
(omitted local consciously, since I believe we currently say elsewhere they are
only allowed on globals). No quibble with the model author vs implementor
part.
Received on Thursday, 25 October 2007 13:33:22 UTC