[nem-bug] [Nemerle 0000784]: Stack Overflow

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=784> 
======================================================================
Reported By:                IT
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   784
Category:                   Compiler
Reproducibility:            always
Severity:                   major
Priority:                   high
Status:                     new
======================================================================
Date Submitted:             11-11-2006 05:53 CET
Last Modified:              11-11-2006 05:53 CET
======================================================================
Summary:                    Stack Overflow
Description: 
Code:

using Nemerle.Utility;

module Program
{
  Main() : void
  {
    def (
    _ = "".ToString();
  }
}

This code causes the stack overflow in Visual Studio and crashes it.
Unfortunately, I could not reproduce the same case from command line. Here
is the explanation of what I figured out. See the Typer-PatternTyper.n
file.

It starts at the line 731 (method DoTypePattern):

            TypeTuplePattern (matched_value_type, [ex])

Then method TypeTuplePattern, line 357:

                def typed_pats = List.Map2 (types, pats, TypePattern);

Then method TypePattern, line 372:

          def typed = DoTypePattern (matched_value_type, pattern);

And finally infinite loop.
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
11-11-06 05:53 IT             New Issue                                    
======================================================================