[nem-bug] [Nemerle 0000704]: Nemerle allows static constructor with parameters

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=704> 
======================================================================
Reported By:                Snaury
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   704
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             07-02-2006 15:31 CEST
Last Modified:              07-06-2006 23:31 CEST
======================================================================
Summary:                    Nemerle allows static constructor with parameters
Description: 
By occasion I found that this:

public struct MyStruct
{
  public static a : int;

  static this(b : int)
  {
    a = b;
  }
}

Compiles, but of course not verifies:

H:\_compile\Nemerle-current\ncc\out.stage3>peverify 1.dll

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

[MD]: Error: Type constructor must have no arguments. [token:0x06000001]
1 Error Verifying 1.dll
======================================================================

----------------------------------------------------------------------
 nazgul - 07-06-06 23:31 
----------------------------------------------------------------------
Fixed on trunk (r6433)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
07-02-06 15:31 Snaury         New Issue                                    
07-06-06 23:31 nazgul         Status                   new => resolved     
07-06-06 23:31 nazgul         Resolution               open => fixed       
07-06-06 23:31 nazgul         Assigned To               => nazgul          
07-06-06 23:31 nazgul         Note Added: 0001353                          
======================================================================