[nem-bug] [Nemerle 0000532]: assertion failed in file typing/Subst.n, line 184

[feedback at nemerle.org]

The following issue has been CLOSED
======================================================================
<http://nemerle.org/bugs/view.php?id=532> 
======================================================================
Reported By:                nazgul
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   532
Category:                   Compiler
Reproducibility:            always
Severity:                   major
Priority:                   high
Status:                     closed
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             09-14-2005 20:57 CEST
Last Modified:              11-06-2005 17:43 CET
======================================================================
Summary:                    assertion failed in file typing/Subst.n, line 184
Description: 
using Nemerle.Collections;

variant Var_tree ['a] {
public Map ['b]
            (
             f : Var_tree ['a] -> 'b
            )
            : list ['b]
        {
            def map_tree_list (vts) {
                List.Flatten (List.Map (vts,
                    fun (vt : Var_tree ['a]) { vt.Map (f) }))
            };

            match (this) {
                | VT_var (_, _, args) =>
                    f (this) :: map_tree_list (args)
                | VT_node (_, args) =>
                    f (this) :: map_tree_list (args)
            }
        }

       | VT_var
          {
              name : string;
              desc : 'a;
              args : list [Var_tree ['a]];
          }


        /** named node with arguments */
        | VT_node
          {
              name : string;
              args : list [Var_tree ['a]];
          }
}

()

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

----------------------------------------------------------------------
 malekith - 09-19-05 23:40 
----------------------------------------------------------------------
Resolved on trunk, as of 5752.

I hope I havn't broke anything, still on jet lag ;-)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
09-14-05 20:57 nazgul         New Issue                                    
09-19-05 23:40 malekith       Status                   new => resolved     
09-19-05 23:40 malekith       Resolution               open => fixed       
09-19-05 23:40 malekith       Assigned To               => malekith        
09-19-05 23:40 malekith       Note Added: 0000974                          
09-19-05 23:40 malekith       Description Updated                          
11-06-05 17:43 nazgul         Status                   resolved => closed  
======================================================================