W3C home > Mailing lists > Public > public-sml@w3.org > October 2007

[Bug 4683] What should deref() return when there are multiple matches

From: <bugzilla@wiggum.w3.org>
Date: Sat, 20 Oct 2007 04:11:56 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1Ij5gq-0003ma-E3@wiggum.w3.org>

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


kumarp@microsoft.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
           Keywords|editorial                   |
         Resolution|                            |FIXED
Received on Saturday, 20 October 2007 04:12:05 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:16:59 GMT