[nem-bug] [Nemerle 0000878]: internal compiler error: got ArgumentException (node already in the tree)

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=878> 
======================================================================
Reported By:                nikov
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   878
Category:                   Compiler
Reproducibility:            always
Severity:                   crash
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             02-06-2007 09:57 CET
Last Modified:              02-06-2007 09:57 CET
======================================================================
Summary:                    internal compiler error: got ArgumentException (node
already in the tree)
Description: 
module A {
	Foo[T,S]() : void 
		where T : System.IComparable[T], System.IComparable[S]
	{
	}
}

internal compiler error: got ArgumentException (node already in the tree)
   at Nemerle.Collections.Tree._N_insert15170['a](_N_closure15160`1
_N_Insert_cp15169, Node`1 tree) in C:\Nemerle\Compiler\lib\tree.n:line
139
   at Nemerle.Collections.Tree.Insert['a](Node`1 tree, 'a elem, Boolean
replace) in C:\Nemerle\Compiler\lib\tree.n:line 146
   at Nemerle.Collections.Set`1..ctor(Node`1 tree, IEnumerable`1 coll) in
C:\Nemerle\Compiler\lib\set.n:line 54
   at Nemerle.Collections.Set`1..ctor(IEnumerable`1 coll) in
C:\Nemerle\Compiler\lib\set.n:line 48
   at Nemerle.Collections.Set`1.FromList(list`1 elems) in
C:\Nemerle\Compiler\lib\set.n:line 60
   at Nemerle.Compiler.MType.Validate() in
C:\Nemerle\Compiler\ncc\typing\MType.n:line 967
   at Nemerle.Compiler.StaticTyVar.set_Constraints(list`1 value) in
C:\Nemerle\Compiler\ncc\typing\StaticTyVar.n:line 65
   at
Nemerle.Compiler.StaticTyVar.SetConstraints(GenericParameterAttributes
special, list`1 subtype) in
C:\Nemerle\Compiler\ncc\typing\StaticTyVar.n:line 140
   at Nemerle.Compiler.TyVarEnv.AddTyparms(GlobalEnv env, Typarms tp,
TypeBuilder curtc, Boolean check_parms) in
C:\Nemerle\Compiler\ncc\typing\TyVarEnv.n:line 504
   at Nemerle.Compiler.TypeBuilder.BindTyparms(TyVarEnv other_tenv,
Typarms tp) in C:\Nemerle\Compiler\ncc\hierarchy\TypeBuilder.n:line 1430
   at Nemerle.Compiler.TypeBuilder.BindTyparms(Typarms tp) in
C:\Nemerle\Compiler\ncc\hierarchy\TypeBuilder.n:line 1424
   at Nemerle.Compiler.MethodBuilder..ctor(TypeBuilder par, Function
functionAst, Boolean is_property) in
C:\Nemerle\Compiler\ncc\hierarchy\ClassMembers.n:line 894
   at Nemerle.Compiler.MethodBuilder..ctor(TypeBuilder par, Function
functionAst) in C:\Nemerle\Compiler\ncc\hierarchy\ClassMembers.n:line 867
   at
Nemerle.Compiler.CompilerComponentsFactory.CreateMethodBuilder(TypeBuilder
par, Function functionAst) in
C:\Nemerle\Compiler\ncc\misc\ComponentsFactory.n:line 33
   at Nemerle.Compiler.TypeBuilder.bind_and_add_member(ClassMember
class_member) in C:\Nemerle\Compiler\ncc\hierarchy\TypeBuilder.n:line
1670
   at Nemerle.Compiler.TypeBuilder.BindAndAddMember(ClassMember
class_member) in C:\Nemerle\Compiler\ncc\hierarchy\TypeBuilder.n:line
1436
   at
Nemerle.Compiler.TypeBuilder._N__N_method_lambda_40194.apply_void(ClassMember
_N_40193) in C:\Nemerle\Compiler\ncc\hierarchy\TypeBuilder.n:line 1828
   at Nemerle.Collections.List.Iter['a](list`1 l, FunctionVoid`1 f) in
C:\Nemerle\Compiler\lib\list.n:line 906
   at Nemerle.Compiler.TypeBuilder.add_members() in
C:\Nemerle\Compiler\ncc\hierarchy\TypeBuilder.n:line 1828
   at
Nemerle.Compiler.TypesManager._N__N_l36784_36871.apply_void(TypeBuilder
_N_36870) in C:\Nemerle\Compiler\ncc\hierarchy\TypesManager.n:line 317
   at
Nemerle.Compiler.TypesManager._N_maybe_f_36624.apply_void(TypeBuilder
_N_36623) in C:\Nemerle\Compiler\ncc\hierarchy\TypesManager.n:line 225
   at Nemerle.Collections.List.Iter['a](list`1 l, FunctionVoid`1 f) in
C:\Nemerle\Compiler\lib\list.n:line 906
   at Nemerle.Core.list`1.Iter(FunctionVoid`1 f) in
C:\Nemerle\Compiler\lib\list.n:line 307
   at Nemerle.Compiler.TypesManager.Iter(list`1 builders, FunctionVoid`1
f) in C:\Nemerle\Compiler\ncc\hierarchy\TypesManager.n:line 231
   at Nemerle.Compiler.TypesManager.Iter(FunctionVoid`1 f) in
C:\Nemerle\Compiler\ncc\hierarchy\TypesManager.n:line 242
   at Nemerle.Compiler.TypesManager.Run() in
C:\Nemerle\Compiler\ncc\hierarchy\TypesManager.n:line 317
   at Nemerle.Compiler.ManagerClass.Run() in
C:\Nemerle\Compiler\ncc\passes.n:line 420
   at Nemerle.CommandlineCompiler.MainClass.main_with_catching() in
C:\Nemerle\Compiler\ncc\main.n:line 86

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-06-07 09:57 nikov          New Issue                                    
======================================================================