[Bug 1721] [FS] need a judgment to find the "best" type and quantifier

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


mrys@microsoft.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED




------- Additional Comments From mrys@microsoft.com  2005-07-26 15:45 -------
The working group decides to fix the Expr <: Type issue as outlined. The 
informative note was discussed but the working group decided not to add it 
(the response to 1605 covers this).

Please close the issue if you agree with the resolution or reopen the issue if 
you disagree.

Received on Tuesday, 26 July 2005 15:46:02 UTC