[nem-bug] [Nemerle 0000783]: ICE in
Nemerle.Compiler.TyCodec+_N_set_constraints_17377.apply_void
feedback at nemerle.org
feedback at nemerle.org
Fri Nov 10 19:08:36 CET 2006
The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=783>
======================================================================
Reported By: steffen
Assigned To: nazgul
======================================================================
Project: Nemerle
Issue ID: 783
Category: Compiler
Reproducibility: always
Severity: minor
Priority: normal
Status: resolved
Resolution: fixed
Fixed in Version:
======================================================================
Date Submitted: 11-09-2006 23:22 CET
Last Modified: 11-10-2006 19:08 CET
======================================================================
Summary: ICE in
Nemerle.Compiler.TyCodec+_N_set_constraints_17377.apply_void
Description:
When doing
cat > lib.n << EOF
public class A[T] { }
EOF
cat > lib2.n << EOF
public class B : A[string] { }
EOF
cat > test.n << EOF
_ = B ();
EOF
ncc -out:lib.dll -target:library lib.n
ncc -out:lib2.dll -target:library -r:lib.dll lib2.n
ncc -greedy- -out:test.exe -r:lib2.dll test.n
I get an ICE:
error: internal compiler error: got some unknown exception of type
System.InvalidOperationException: Operation is not valid due to the
current state of the object
at System.Type.GetGenericParameterConstraints () [0x00000]
at Nemerle.Compiler.TyCodec+_N_set_constraints_18872.apply_void
(System.Type _N_18870, Nemerle.Compiler.StaticTyVar _N_18871) [0x00000]
at
Nemerle.Builtins.FunctionVoid`2[System.Type,Nemerle.Compiler.StaticTyVar].apply_void
(Tuple`2 ) [0x00000]
at Nemerle.Utility.NArray.Iter2[Type,StaticTyVar] (System.Type[] a,
Nemerle.Core.list`1 b, Nemerle.Builtins.FunctionVoid`2 f) [0x00000]
at Nemerle.Compiler.TyCodec.reflect_typarms
(Nemerle.Compiler.LibraryReference _lib, Nemerle.Collections.Map`2 tenv,
System.Type _t) [0x00000]
at Nemerle.Compiler.TyCodec.ReflectTypeBuilder
(Nemerle.Compiler.LibraryReference lib, Nemerle.Collections.Map`2 tenv,
System.Type original) [0x00000]
at Nemerle.Compiler.LibraryReference+NetType..ctor
(Nemerle.Compiler.LibraryReference lib, System.Type h,
Nemerle.Compiler.Node ns_node) [0x00000]
at Nemerle.Compiler.LibraryReference.ConstructTypeInfo (System.Type
reflected_type, Nemerle.Compiler.Node ns_node) [0x00000]
at Nemerle.Compiler.LibraryReferenceManager.GetInternalType
(Nemerle.Compiler.LibraryReference lib, System.Type t,
Nemerle.Compiler.Node node) [0x00000]
at Nemerle.Compiler.LibraryReference.TypeInfoOfType (System.Type
framework_type) [0x00000]
at Nemerle.Compiler.TyCodec._N_typeof_type18968
(Nemerle.Compiler._N_closure18951 _N_ReflectTypeBuilder_cp18967,
System.Type framework_type) [0x00000]
at Nemerle.Compiler.TyCodec.ReflectTypeBuilder
(Nemerle.Compiler.LibraryReference lib, Nemerle.Collections.Map`2 tenv,
System.Type original) [0x00000]
at Nemerle.Compiler.LibraryReference+NetType..ctor
(Nemerle.Compiler.LibraryReference lib, System.Type h,
Nemerle.Compiler.Node ns_node) [0x00000]
at Nemerle.Compiler.LibraryReference.ConstructTypeInfo (System.Type
reflected_type, Nemerle.Compiler.Node ns_node) [0x00000]
at Nemerle.Compiler.ExternalType.ConstructTypeInfo
(Nemerle.Compiler.Node node, Boolean fix_node) [0x00000]
at Nemerle.Compiler.NamespaceTree+Node._N_make_list43761
(Nemerle.Compiler._N_closure43749 _N_LookupTypes_cp43760,
Nemerle.Compiler.TypeInfoCache val, Nemerle.Compiler.Node path) [0x00000]
at Nemerle.Compiler.NamespaceTree+Node.LookupTypes (Nemerle.Core.list`1
split, Boolean for_completion) [0x00000]
at Nemerle.Compiler.GlobalEnv+_N_lookup_members_41844.apply
(Nemerle.Compiler.Node _N_41842, Nemerle.Core.list`1 _N_41843) [0x00000]
at Nemerle.Collections.List.FoldLeft[Node,list`1] (Nemerle.Core.list`1
l, Nemerle.Core.list`1 acc, Nemerle.Builtins.Function`3 f) [0x00000]
at Nemerle.Compiler.GlobalEnv.LookupSymbol (Nemerle.Core.list`1 name,
Nemerle.Compiler.TypeBuilder _parent, Boolean for_completion) [0x00000]
at Nemerle.Compiler.Typer.TypeNameFull (Nemerle.Compiler.Parsetree.PExpr
expr, Nemerle.Compiler.TyVar expected, Boolean for_completion) [0x00000]
at Nemerle.Compiler.Typer.TypeName (Nemerle.Compiler.Parsetree.PExpr
expr, Nemerle.Compiler.TyVar expected) [0x00000]
at Nemerle.Compiler.Typer.DoType (Nemerle.Compiler.Parsetree.PExpr
expression, Nemerle.Compiler.TyVar expected, Boolean is_toplevel_in_seq)
[0x00000]
at Nemerle.Compiler.Typer.TypeExpr (Nemerle.Compiler.Parsetree.PExpr e,
Nemerle.Compiler.TyVar expected, Boolean is_toplevel_in_seq) [0x00000]
at Nemerle.Compiler.Typer.TypeExpr (Nemerle.Compiler.Parsetree.PExpr e,
Nemerle.Compiler.TyVar expected) [0x00000]
at Nemerle.Compiler.Typer.TypeCall (Nemerle.Compiler.Parsetree.PExpr
fnc, Nemerle.Core.list`1 parms, Nemerle.Compiler.TyVar expected, Boolean
is_property) [0x00000]
at Nemerle.Compiler.Typer.DoType (Nemerle.Compiler.Parsetree.PExpr
expression, Nemerle.Compiler.TyVar expected, Boolean is_toplevel_in_seq)
[0x00000]
at Nemerle.Compiler.Typer.TypeExpr (Nemerle.Compiler.Parsetree.PExpr e,
Nemerle.Compiler.TyVar expected, Boolean is_toplevel_in_seq) [0x00000]
at Nemerle.Compiler.Typer.TypeExpr (Nemerle.Compiler.Parsetree.PExpr e,
Nemerle.Compiler.TyVar expected) [0x00000]
at Nemerle.Compiler.Typer.TypeLocalDefinition (Boolean is_mutable,
Nemerle.Compiler.Parsetree.Name name, Nemerle.Compiler.Parsetree.PExpr
val) [0x00000]
at Nemerle.Compiler.Typer.DoType (Nemerle.Compiler.Parsetree.PExpr
expression, Nemerle.Compiler.TyVar expected, Boolean is_toplevel_in_seq)
[0x00000]
at Nemerle.Compiler.Typer.TypeExpr (Nemerle.Compiler.Parsetree.PExpr e,
Nemerle.Compiler.TyVar expected, Boolean is_toplevel_in_seq) [0x00000]
at Nemerle.Compiler.Typer.TypeExpr (Nemerle.Compiler.Parsetree.PExpr e,
Nemerle.Compiler.TyVar expected) [0x00000]
at Nemerle.Compiler.Typer.DoType (Nemerle.Compiler.Parsetree.PExpr
expression, Nemerle.Compiler.TyVar expected, Boolean is_toplevel_in_seq)
[0x00000]
at Nemerle.Compiler.Typer.TypeExpr (Nemerle.Compiler.Parsetree.PExpr e,
Nemerle.Compiler.TyVar expected, Boolean is_toplevel_in_seq) [0x00000]
at Nemerle.Compiler.Typer.TypeExpr (Nemerle.Compiler.Parsetree.PExpr e,
Nemerle.Compiler.TyVar expected) [0x00000]
at Nemerle.Compiler.Typer.DoType (Nemerle.Compiler.Parsetree.PExpr
expression, Nemerle.Compiler.TyVar expected, Boolean is_toplevel_in_seq)
[0x00000]
at Nemerle.Compiler.Typer.TypeExpr (Nemerle.Compiler.Parsetree.PExpr e,
Nemerle.Compiler.TyVar expected, Boolean is_toplevel_in_seq) [0x00000]
at Nemerle.Compiler.Typer.TypeExpr (Nemerle.Compiler.Parsetree.PExpr e,
Nemerle.Compiler.TyVar expected) [0x00000]
at Nemerle.Compiler.Typer.TypeExpr (Nemerle.Compiler.Parsetree.PExpr e)
[0x00000]
at Nemerle.Compiler.Typer.RunTyper () [0x00000]
at Nemerle.Compiler.Typer..ctor (Nemerle.Compiler.MethodBuilder m)
[0x00000]
at Nemerle.Compiler.MethodBuilder.RunBodyTyper () [0x00000]
at Nemerle.Compiler.MethodBuilder.Compile () [0x00000]
at Nemerle.Compiler.TypeBuilder.EmitImplementation () [0x00000]
at Nemerle.Compiler.TypesManager+_N_emit_impl_26145.apply_void
(Nemerle.Compiler.TypeBuilder _N_26144) [0x00000]
at Nemerle.Compiler.TypesManager+_N_maybe_f_26660.apply_void
(Nemerle.Compiler.TypeBuilder _N_26659) [0x00000]
at Nemerle.Collections.List.Iter[TypeBuilder] (Nemerle.Core.list`1 l,
Nemerle.Builtins.FunctionVoid`1 f) [0x00000]
at Nemerle.Core.list`1[Nemerle.Compiler.TypeBuilder].Iter
(Nemerle.Builtins.FunctionVoid`1 ) [0x00000]
at Nemerle.Compiler.TypesManager.Iter (Nemerle.Core.list`1 builders,
Nemerle.Builtins.FunctionVoid`1 f) [0x00000]
at Nemerle.Compiler.TypesManager.Iter (Nemerle.Builtins.FunctionVoid`1
f) [0x00000]
at Nemerle.Compiler.TypesManager.compile_all_tyinfos (Boolean aux_phase)
[0x00000]
at Nemerle.Compiler.TypesManager+_N__N_l25730_25818.apply_void ()
[0x00000]
at Nemerle.Compiler.Solver.Enqueue (Nemerle.Builtins.FunctionVoid
action) [0x00000]
at Nemerle.Compiler.TypesManager.EmitDecls () [0x00000]
at Nemerle.Compiler.ManagerClass.Run () [0x00000]
at Nemerle.CommandlineCompiler.MainClass.main_with_catching ()
[0x00000]
======================================================================
----------------------------------------------------------------------
nazgul - 11-10-06 19:08
----------------------------------------------------------------------
Fixed on trunk (r6860)
Issue History
Date Modified Username Field Change
======================================================================
11-09-06 23:22 steffen New Issue
11-10-06 19:08 nazgul Status new => resolved
11-10-06 19:08 nazgul Resolution open => fixed
11-10-06 19:08 nazgul Assigned To => nazgul
11-10-06 19:08 nazgul Note Added: 0001501
======================================================================
More information about the bugs
mailing list