[nem-bug] [Nemerle 0000537]: Verification fails for nondesc-subseq.n

[feedback at nemerle.org]

The following issue has been CLOSED
======================================================================
<http://nemerle.org/bugs/view.php?id=537> 
======================================================================
Reported By:                nazgul
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   537
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     closed
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             09-24-2005 19:42 CEST
Last Modified:              11-06-2005 17:43 CET
======================================================================
Summary:                    Verification fails for nondesc-subseq.n
Description: 

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

[IL]: Error: [C:\cygwin\home\nazgul\nemerle\ncc\testsuite\out.exe :
NondecreasingSubsequence::find_longest][offset 0x0000012D] Stack depth
differs depending on path.
1 Error Verifying out.exe

======================================================================

----------------------------------------------------------------------
 nazgul - 10-01-05 14:10 
----------------------------------------------------------------------
A smaller testcase:

public class NondecreasingSubsequence 
{
  static reconstruct (next : int) : list [int]
    {
      if ( next >= 1 )
        if ( 0 == next )
          reconstruct (0)
        else
          reconstruct (next)
      else
        null
    };   


  public static Main () : void
  {
  }
}

----------------------------------------------------------------------
 nazgul - 10-01-05 15:01 
----------------------------------------------------------------------
Fixed on trunk (r5783)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
09-24-05 19:42 nazgul         New Issue                                    
09-24-05 19:42 nazgul         File Added: out.il                           
10-01-05 14:10 nazgul         Note Added: 0000982                          
10-01-05 15:01 nazgul         Status                   new => resolved     
10-01-05 15:01 nazgul         Resolution               open => fixed       
10-01-05 15:01 nazgul         Assigned To               => nazgul          
10-01-05 15:01 nazgul         Note Added: 0000983                          
10-01-05 15:01 nazgul         Description Updated                          
11-06-05 17:43 nazgul         Status                   resolved => closed  
======================================================================