[nem-bug] [Nemerle 0000859]: Do not allow to overload solely on ref and out

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=859> 
======================================================================
Reported By:                nikov
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   859
Category:                   Compiler
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             01-30-2007 17:27 CET
Last Modified:              02-02-2007 21:30 CET
======================================================================
Summary:                    Do not allow to overload solely on ref and out
Description: 
Do not allow to overload, if signatures of methods differ solely on ref and
out, because this produces unverifiable code.

class B {
	static Foo(x : ref int) : void { }
	static Foo(x : out int) : void { }
}

Microsoft (R) .NET Framework PE Verifier.  Version  2.0.50727.312
Copyright (c) Microsoft Corporation.  All rights reserved.

[MD]: Error: Method has a duplicate, token=0x06000003. [token:0x06000002]
[MD]: Error: Method has a duplicate, token=0x06000002. [token:0x06000003]
2 Errors Verifying NemerleProject.exe

C# does not allow this. See Ecma-334, 17.2 Class members

The name of a method shall differ from the names of all other non-methods
declared in the same class.
In addition, the signature (§10.6) of a method shall differ from the
signatures of all other methods
declared in the same class, and two methods declared in the same class
shall not have signatures that
differ solely by ref and out.
======================================================================

----------------------------------------------------------------------
 nazgul - 02-02-07 21:30 
----------------------------------------------------------------------
Fixed on trunk (r7370-7371)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
01-30-07 17:27 nikov          New Issue                                    
02-02-07 21:30 nazgul         Status                   new => resolved     
02-02-07 21:30 nazgul         Resolution               open => fixed       
02-02-07 21:30 nazgul         Assigned To               => nazgul          
02-02-07 21:30 nazgul         Note Added: 0001668                          
======================================================================