[nem-bug] [Nemerle 0000567]: unregistered value with 'with' matching

[feedback at nemerle.org]

The following issue has been CLOSED
======================================================================
<http://nemerle.org/bugs/view.php?id=567> 
======================================================================
Reported By:                malekith
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   567
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     closed
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             11-08-2005 22:43 CET
Last Modified:              01-26-2006 18:11 CET
======================================================================
Summary:                    unregistered value with 'with' matching
Description: 
match ([] : list [int]) {
  | [assign] with assigns = [assign]
  | assigns =>
    System.Console.WriteLine (assigns)
}


foo.n:3:30:3:36: warning: unregistered local a value bound in pattern
assign, 885
error: internal compiler error: assertion failed in file typing/Typer2.n,
line 729
in <0x0160b> Nemerle.Compiler.Typer2:DoWalk (Context ctx,
Nemerle.Compiler.Typedtree.TExpr expr)
in <0x00135> Nemerle.Compiler.Typer2:Walk (Context ctx,
Nemerle.Compiler.Typedtree.TExpr expr)
in <0x034f9> Nemerle.Compiler.Typer2:DoWalk (Context ctx,
Nemerle.Compiler.Typedtree.TExpr expr)
in <0x00135> Nemerle.Compiler.Typer2:Walk (Context ctx,
Nemerle.Compiler.Typedtree.TExpr expr)
in <0x00026> Nemerle.Compiler.Typer2:Walk
(Nemerle.Compiler.Typedtree.TExpr expr)
in <0x00058> Nemerle.Compiler.Typer2+_N_lambda59577:apply
(Nemerle.Compiler.LocalValue _N_59575, Nemerle.Compiler.Typedtree.TExpr
_N_59576)


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

----------------------------------------------------------------------
 malekith - 11-09-05 14:09 
----------------------------------------------------------------------
Resolved in 5920.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
11-08-05 22:43 malekith       New Issue                                    
11-09-05 14:09 malekith       Status                   new => resolved     
11-09-05 14:09 malekith       Resolution               open => fixed       
11-09-05 14:09 malekith       Assigned To               => malekith        
11-09-05 14:09 malekith       Note Added: 0001013                          
11-09-05 14:09 malekith       Summary                  unregistered value with
'with' matching => unregistered value with \'with\' matching
11-09-05 14:09 malekith       Description Updated                          
01-26-06 18:11 nazgul         Status                   resolved => closed  
======================================================================