[nem-bug] [Nemerle 0000582]: Compiling "a.b.c.d.e" crashes compiler
feedback at nemerle.org
feedback at nemerle.org
Tue Dec 6 12:19:36 CET 2005
The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=582>
======================================================================
Reported By: steffen
Assigned To: malekith
======================================================================
Project: Nemerle
Issue ID: 582
Category: Compiler
Reproducibility: always
Severity: minor
Priority: normal
Status: resolved
Resolution: fixed
Fixed in Version:
======================================================================
Date Submitted: 11-30-2005 17:13 CET
Last Modified: 12-06-2005 12:19 CET
======================================================================
Summary: Compiling "a.b.c.d.e" crashes compiler
Description:
When compiling a file which just contains the line
a.b.c.d.e
the compiler crashes.
Compiler output:
error: internal compiler error: got some unknown exception of type
System.InvalidOperationException: Operation is not valid due to the
current state of the object
in <0x00065>
System.Collections.Generic.Stack`1[Nemerle.Collections.Map`2[Nemerle.Compiler.Typer+DelayedTyping,Nemerle.Compiler.Typer+DelayedTyping+Kind]]:Pop
()
in <0x00042> Nemerle.Compiler.Solver:PopState ()
in <0x00054> Nemerle.Compiler.Typer:TryTyping (Nemerle.Builtins.Function`1
fn)
in <0x02e6d> 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 <0x05092> 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 <0x0040b> Nemerle.Compiler.Typer:RunTyper ()
in <0x0061d> 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_22849:apply_void
(Nemerle.Compiler.TypeBuilder _N_22848)
in <0x0012c> Nemerle.Compiler.TypesManager+_N_maybe_f_23286:apply_void
(Nemerle.Compiler.TypeBuilder _N_23285)
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_l22439_22523: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 ()
======================================================================
----------------------------------------------------------------------
steffen - 11-30-05 20:50
----------------------------------------------------------------------
The following program will create a similar error message. I don't know
whether it is caused by the same problem.
class X {
o:object;
f():void {
o.a.b.c;
}
}
Error message:
error: internal compiler error: got some unknown exception of type
System.IndexOutOfRangeException: Array index is out of range.
in <0x00038> Nemerle.Compiler.Solver:PushState ()
in <0x00014> Nemerle.Compiler.TyVar:TryUnify (Nemerle.Compiler.TyVar t)
in <0x00613> Nemerle.Compiler.Typer:_N_lookup60707
(Nemerle.Compiler._N_closure60677 _N_TypeMember_cp60706,
Nemerle.Compiler.MType t)
in <0x0017d> Nemerle.Compiler.Typer:TypeMember
(Nemerle.Compiler.Typedtree.TExpr obj, System.String mem_name,
Nemerle.Compiler.TyVar expected, Boolean for_completion)
in <0x00352> Nemerle.Compiler.Typer:TypeNameFull
(Nemerle.Compiler.Parsetree.PExpr expr, Nemerle.Compiler.TyVar expected,
Boolean for_completion)
in <0x0001d> Nemerle.Compiler.Typer:TypeName
(Nemerle.Compiler.Parsetree.PExpr expr, Nemerle.Compiler.TyVar expected)
in <0x02b88> 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 <0x0001c> Nemerle.Compiler.Typer+_N__N_l61814_62141:apply ()
in <0x00024> Nemerle.Compiler.Typer:TryTyping (Nemerle.Builtins.Function`1
fn)
in <0x02e6d> 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 <0x0001c> Nemerle.Compiler.Typer+_N__N_l61814_62141:apply ()
in <0x00024> Nemerle.Compiler.Typer:TryTyping (Nemerle.Builtins.Function`1
fn)
in <0x02e6d> 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 <0x0001c> Nemerle.Compiler.Typer+_N__N_l61814_62141:apply ()
in <0x00024> Nemerle.Compiler.Typer:TryTyping (Nemerle.Builtins.Function`1
fn)
in <0x02e6d> 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 <0x05092> 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 <0x0040b> Nemerle.Compiler.Typer:RunTyper ()
in <0x0061d> 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_22849:apply_void
(Nemerle.Compiler.TypeBuilder _N_22848)
in <0x0012c> Nemerle.Compiler.TypesManager+_N_maybe_f_23286:apply_void
(Nemerle.Compiler.TypeBuilder _N_23285)
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_l22439_22523: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 ()
----------------------------------------------------------------------
malekith - 11-30-05 21:15
----------------------------------------------------------------------
Is it a high priority bug for you? (that is it comes from some real source,
where it prevents the correct compilation)
----------------------------------------------------------------------
steffen - 11-30-05 22:47
----------------------------------------------------------------------
No, the bug has no high priority for me.
----------------------------------------------------------------------
malekith - 12-06-05 12:19
----------------------------------------------------------------------
Resolved on trunk, r5998.
This was a real problem with long names (in terms of dots), thanks!
Issue History
Date Modified Username Field Change
======================================================================
11-30-05 17:13 steffen New Issue
11-30-05 20:50 steffen Note Added: 0001042
11-30-05 21:15 malekith Note Added: 0001043
11-30-05 21:15 malekith Status new => feedback
11-30-05 21:15 malekith Summary Compiling "a.b.c.d.e"
crashes compiler => Compiling \"a.b.c.d.e\" crashes compiler
11-30-05 21:15 malekith Description Updated
11-30-05 22:47 steffen Note Added: 0001044
12-06-05 12:19 malekith Status feedback => resolved
12-06-05 12:19 malekith Resolution open => fixed
12-06-05 12:19 malekith Assigned To => malekith
12-06-05 12:19 malekith Note Added: 0001046
======================================================================
More information about the bugs
mailing list