[nem-bug] [Nemerle 0000576]: nemerle-0.9.1.99.5974: internal compiler error

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=576> 
======================================================================
Reported By:                marcinm
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   576
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             11-28-2005 14:25 CET
Last Modified:              11-29-2005 18:36 CET
======================================================================
Summary:                    nemerle-0.9.1.99.5974: internal compiler error
Description: 
The following program raises an error:

error: internal compiler error: got ArgumentException (List.DivideLast
called for empty list)
in <0x001c6> Nemerle.Collections.List:DivideLast[String]
(Nemerle.Core.list`1 l)in <0x00075>
Nemerle.Compiler.GlobalEnv:LookupSymbol (Nemerle.Core.list`1 name,
Nemerle.Compiler.TypeBuilder _parent, Boolean for_completion)
in <0x0160a> Nemerle.Compiler.Typer+PatternTyper:TypeApplication
(Nemerle.Compiler.TyVar matched_value_type,
Nemerle.Compiler.Parsetree.PExpr name, Nemerle.Compiler.Parsetree.PExpr
pattern, Boolean is_where)
in <0x00018> Nemerle.Compiler.Typer+PatternTyper:TypeApplication
(Nemerle.Compiler.TyVar matched_value_type,
Nemerle.Compiler.Parsetree.PExpr name, Nemerle.Compiler.Parsetree.PExpr
pattern)
in <0x011cf> Nemerle.Compiler.Typer+PatternTyper:DoTypePattern
(Nemerle.Compiler.TyVar matched_value_type,
Nemerle.Compiler.Parsetree.PExpr pattern)
in <0x00079> Nemerle.Compiler.Typer+PatternTyper:TypePattern
(Nemerle.Compiler.TyVar matched_value_type,
Nemerle.Compiler.Parsetree.PExpr pattern)
in <0x00131> Nemerle.Compiler.Typer+PatternTyper:_N_foreach_loop65134
(Nemerle.Compiler._N_closure65122 _N_Run_cp65133, Nemerle.Core.list`1
_N_u723)
in <0x00069> Nemerle.Compiler.Typer+PatternTyper:Run ()
in <0x0008e> Nemerle.Compiler.Typer:TypePatterns (Nemerle.Compiler.TyVar
matched_value_type, Nemerle.Core.list`1 patterns)
in <0x0016a> Nemerle.Compiler.Typer:TypeMatch
(Nemerle.Compiler.Parsetree.Match mtch, Nemerle.Compiler.TyVar expected)
in <0x055b5> Nemerle.Compiler.Typer:DoType
(Nemerle.Compiler.Parsetree.PExpr expression, Nemerle.Compiler.TyVar
expected, Boolean is_toplevel_in_seq)
in <0x000db> Nemerle.Compiler.Typer:TypeExpr
(Nemerle.Compiler.Parsetree.PExpr e, Nemerle.Compiler.TyVar expected,
Boolean is_toplevel_in_seq)
in <0x00015> Nemerle.Compiler.Typer:TypeExpr
(Nemerle.Compiler.Parsetree.PExpr e, Nemerle.Compiler.TyVar expected)
in <0x05088> Nemerle.Compiler.Typer:DoType
(Nemerle.Compiler.Parsetree.PExpr expression, Nemerle.Compiler.TyVar
expected, Boolean is_toplevel_in_seq)
in <0x000db> Nemerle.Compiler.Typer:TypeExpr
(Nemerle.Compiler.Parsetree.PExpr e, Nemerle.Compiler.TyVar expected,
Boolean is_toplevel_in_seq)
in <0x00015> Nemerle.Compiler.Typer:TypeExpr
(Nemerle.Compiler.Parsetree.PExpr e, Nemerle.Compiler.TyVar expected)
in <0x0001f> Nemerle.Compiler.Typer:TypeExpr
(Nemerle.Compiler.Parsetree.PExpr e)
in <0x00403> Nemerle.Compiler.Typer:RunTyper ()
in <0x002ce> Nemerle.Compiler.Typer:.ctor (Nemerle.Compiler.MethodBuilder
m)
in <0x0003d> Nemerle.Compiler.MethodBuilder:RunBodyTyper ()
in <0x000eb> Nemerle.Compiler.MethodBuilder:Compile ()
in <0x0015b> Nemerle.Compiler.TypeBuilder:EmitImplementation ()
in <0x00043> Nemerle.Compiler.TypesManager+_N_emit_impl_22821:apply_void
(Nemerle.Compiler.TypeBuilder _N_22820)
in <0x0012c> Nemerle.Compiler.TypesManager+_N_maybe_f_23258:apply_void
(Nemerle.Compiler.TypeBuilder _N_23257)
in <0x00087> Nemerle.Collections.List:Iter[TypeBuilder]
(Nemerle.Core.list`1 l, Nemerle.Builtins.FunctionVoid`1 f)
in <0x0000d> Nemerle.Core.list`1[Nemerle.Compiler.TypeBuilder]:Iter
(Nemerle.Builtins.FunctionVoid`1 )
in <0x00065> Nemerle.Compiler.TypesManager:Iter (Nemerle.Core.list`1
builders, Nemerle.Builtins.FunctionVoid`1 f)
in <0x0001d> Nemerle.Compiler.TypesManager:Iter
(Nemerle.Builtins.FunctionVoid`1 f)
in <0x001df> Nemerle.Compiler.TypesManager:compile_all_tyinfos (Boolean
aux_phase)
in <0x00034> Nemerle.Compiler.TypesManager+_N__N_l22411_22495:apply_void
()
in <0x00040> Nemerle.Compiler.Solver:Enqueue
(Nemerle.Builtins.FunctionVoid action)
in <0x00059> Nemerle.Compiler.TypesManager:EmitDecls ()
in <0x00193> Nemerle.Compiler.Passes:Run ()
in <0x000a2> Nemerle.CommandlineCompiler.MainClass:main_with_catching ()

======================================================================
Relationships       ID      Summary
----------------------------------------------------------------------
has duplicate       0000577 nemerle-0.9.1.99.5974: internal compile...
======================================================================

----------------------------------------------------------------------
 malekith - 11-29-05 18:36 
----------------------------------------------------------------------
Resolved in r5980.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
11-28-05 14:25 marcinm        New Issue                                    
11-28-05 14:25 marcinm        File Added: t.n                              
11-29-05 17:33 malekith       Relationship added       has duplicate 0000577
11-29-05 18:36 malekith       Status                   new => resolved     
11-29-05 18:36 malekith       Resolution               open => fixed       
11-29-05 18:36 malekith       Assigned To               => malekith        
11-29-05 18:36 malekith       Note Added: 0001039                          
======================================================================