[nem-bug] [Nemerle 0000868]: ICE
feedback at nemerle.org
feedback at nemerle.org
Thu Feb 1 23:09:43 CET 2007
The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=868>
======================================================================
Reported By: nikov
Assigned To: nazgul
======================================================================
Project: Nemerle
Issue ID: 868
Category: Compiler
Reproducibility: always
Severity: crash
Priority: normal
Status: resolved
Resolution: fixed
Fixed in Version:
======================================================================
Date Submitted: 02-01-2007 14:57 CET
Last Modified: 02-01-2007 23:09 CET
======================================================================
Summary: ICE
Description:
[nemerle]
namespace System {
public class Int32[T] {
}
}
_ = int.[int]()
[/nemerle]
[output]
error : internal compiler error: got ArgumentException (List.ForAll2)
at Nemerle.Collections.List.ForAll2['a,'b](list`1 a, list`1 b,
Function`3 f) in C:\Nemerle\Compiler\lib\list.n:line 1045
at Nemerle.Compiler.MType.TryEnforcingEquality(MType t) in
C:\Nemerle\Compiler\ncc\typing\MType.n:line 212
at Nemerle.Compiler.MType.Unify(MType t) in
C:\Nemerle\Compiler\ncc\typing\MType.n:line 380
at Nemerle.Compiler.TyVar._N__FT_Unify_2125(TyVar t) in
C:\Nemerle\Compiler\ncc\typing\TyVar.n:line 160
at Nemerle.Compiler.TyVar.Unify(TyVar t) in
C:\Nemerle\Compiler\ncc\typing\TyVar.n:line 151
at Nemerle.Compiler.Typer.DoExpect(TyVar expected, TyVar actual, String
place, Boolean is_subtyping) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line
1123
at Nemerle.Compiler.Typer.Expect(TyVar expected, TyVar actual, String
place) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1136
at Nemerle.Compiler.Typer.TypeToConstructor(PExpr pt_from, TypeInfo t,
TyVar add_constraint) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line 2127
at Nemerle.Compiler.Typer.InterpretGlobal(PExpr pt_from, IMember
symbol) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line 2274
at Nemerle.Compiler.Typer.InterpretGlobals(PExpr pt_from, list`1
symbols, TyVar expected, Boolean dump_errors) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 2343
at Nemerle.Compiler.Typer.TypeNameFull(PExpr expr, TyVar expected,
Boolean for_completion) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line
2650
at Nemerle.Compiler.Typer.TypeName(PExpr expr, TyVar expected) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 2677
at Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line
1426
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected, Boolean
is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1069
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1048
at Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line
1537
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected, Boolean
is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1069
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1048
at Nemerle.Compiler.Typer.TypeCall(PExpr fnc, list`1 parms, TyVar
expected, Boolean is_property) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 2981
at Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line
1503
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected, Boolean
is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1069
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1048
at Nemerle.Compiler.Typer.TypeLocalDefinition(Boolean is_mutable, Name
name, Location name_location, PExpr val) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1755
at Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line
1173
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected, Boolean
is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1069
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1048
at Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line
1521
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected, Boolean
is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1069
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1048
at Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line
1609
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected, Boolean
is_toplevel_in_seq) in C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1069
at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1048
at Nemerle.Compiler.Typer.TypeExpr(PExpr e) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 1042
at Nemerle.Compiler.Typer.RunTyper() in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 340
at Nemerle.Compiler.Typer..ctor(MethodBuilder m) in
C:\Nemerle\Compiler\ncc\typing\Typer.n:line 158
at Nemerle.Compiler.CompilerComponentsFactory.CreateTyper(MethodBuilder
m) in C:\Nemerle\Compiler\ncc\misc\ComponentsFactory.n:line 33
at Nemerle.Compiler.MethodBuilder.RunBodyTyper() in
C:\Nemerle\Compiler\ncc\hierarchy\ClassMembers.n:line 816
at Nemerle.Compiler.MethodBuilder.Compile() in
C:\Nemerle\Compiler\ncc\generation\HierarchyEmitter.n:line 972
at Nemerle.Compiler.TypeBuilder.EmitImplementation() in
C:\Nemerle\Compiler\ncc\generation\HierarchyEmitter.n:line 564
at
Nemerle.Compiler.TypesManager._N_emit_impl_36000.apply_void(TypeBuilder
_N_35999) in C:\Nemerle\Compiler\ncc\generation\HierarchyEmitter.n:line
316
at
Nemerle.Compiler.TypesManager._N_maybe_f_36606.apply_void(TypeBuilder
_N_36605) 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.compile_all_tyinfos(Boolean aux_phase)
in C:\Nemerle\Compiler\ncc\generation\HierarchyEmitter.n:line 340
at Nemerle.Compiler.TypesManager._N__N_l35433_35536.apply_void() in
C:\Nemerle\Compiler\ncc\generation\HierarchyEmitter.n:line 205
at Nemerle.Compiler.Solver.Enqueue(FunctionVoid action) in
C:\Nemerle\Compiler\ncc\typing\Solver.n:line 197
at Nemerle.Compiler.TypesManager.EmitDecls() in
C:\Nemerle\Compiler\ncc\generation\HierarchyEmitter.n:line 204
at Nemerle.Compiler.ManagerClass.Run() in
C:\Nemerle\Compiler\ncc\passes.n:line 432
at Nemerle.CommandlineCompiler.MainClass.main_with_catching() in
C:\Nemerle\Compiler\ncc\main.n:line 86
[/output]
======================================================================
----------------------------------------------------------------------
nazgul - 02-01-07 23:09
----------------------------------------------------------------------
Fixed on trunk (r7369)
Issue History
Date Modified Username Field Change
======================================================================
02-01-07 14:57 nikov New Issue
02-01-07 23:09 nazgul Status new => resolved
02-01-07 23:09 nazgul Resolution open => fixed
02-01-07 23:09 nazgul Assigned To => nazgul
02-01-07 23:09 nazgul Note Added: 0001666
======================================================================
More information about the bugs
mailing list