[nem-bug] [Nemerle 0000624]: Internal compiler error

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=624> 
======================================================================
Reported By:                IT
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   624
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             02-19-2006 21:00 CET
Last Modified:              02-19-2006 21:00 CET
======================================================================
Summary:                    Internal compiler error
Description: 
macro file:

macro memberof(t, _m : string)
{
	WriteLine(typeof($t));
	<[ WriteLine(typeof($t)); ]>;
}

test file:

memberof(int, "ToString");

compiler output:

test-001-macro.n:7:11:7:17: debug: Internal compiler error, please report
a bug to bugs.nemerle.org. You can try modifying program near this
location.
error: internal compiler error: assertion failed in file
typing/TyVarEnv.n, line 295:
Spliced type survived to typying.
   at Nemerle.Compiler.TyVarEnv._N_f258333(_N_closure58306
_N_Bind_cp58332, PExpr t, Boolean allow_ref)
   at Nemerle.Compiler.TyVarEnv._N_f_58324.apply(PExpr _N_58323)
   at Nemerle.Compiler.TyVarEnv.Bind(GlobalEnv env, TypeBuilder curtc,
PExpr t, Boolean allow_tyvars, Boolean check_parms)
   at Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq)
   at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected, Boolean
is_toplevel_in_seq)
   at Nemerle.Compiler.Typer._N_refout61297(_N_closure61289
_N_TypeCall_cp61296, String name, PExpr expr)
   at Nemerle.Compiler.Typer._N_compile_parm_61308.apply(PExpr _N_61307)
   at Nemerle.Collections.List.Map['a,'b](list`1 l, Function`2 f)
   at Nemerle.Compiler.Typer.TypeCall(PExpr fnc, list`1 parms, TyVar
expected, Boolean is_property)
   at Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq)
   at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected, Boolean
is_toplevel_in_seq)
   at Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq)
   at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected, Boolean
is_toplevel_in_seq)
   at Nemerle.Compiler.Typer.TypeMatch(Match mtch, TyVar expected)
   at Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq)
   at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected, Boolean
is_toplevel_in_seq)
   at Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq)
   at Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected, Boolean
is_toplevel_in_seq)
   at Nemerle.Compiler.Typer.RunTyper()
   at Nemerle.Compiler.Typer..ctor(MethodBuilder m)
   at Nemerle.Compiler.MethodBuilder.RunBodyTyper()
   at Nemerle.Compiler.MethodBuilder.Compile()
   at Nemerle.Compiler.TypeBuilder.EmitImplementation()
   at
Nemerle.Compiler.TypesManager._N_emit_impl_23651.apply_void(TypeBuilder
_N_23650)
   at
Nemerle.Compiler.TypesManager._N_maybe_f_24088.apply_void(TypeBuilder
_N_24087)
   at Nemerle.Collections.List.Iter['a](list`1 l, FunctionVoid`1 f)
   at Nemerle.Core.list`1.Iter(FunctionVoid`1 f)
   at Nemerle.Compiler.TypesManager.Iter(list`1 builders, FunctionVoid`1
f)
   at Nemerle.Compiler.TypesManager.compile_all_tyinfos(Boolean
aux_phase)
   at Nemerle.Compiler.TypesManager._N__N_l23232_23319.apply_void()
   at Nemerle.Compiler.Solver.Enqueue(FunctionVoid action)
   at Nemerle.Compiler.Passes.Run()
   at Nemerle.CommandlineCompiler.MainClass.main_with_catching()

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-19-06 21:00 IT             New Issue                                    
======================================================================