[nem-bug] [Nemerle 0000740]: Unregistered local when macro emits typed expression

[feedback at nemerle.org]

The issue 0000709 has been set as DUPLICATE OF the following issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=740> 
======================================================================
Reported By:                Snaury
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   740
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             08-14-2006 21:55 CEST
Last Modified:              08-14-2006 21:55 CEST
======================================================================
Summary:                    Unregistered local when macro emits typed expression
Description: 
// macro.n
// APPTYPE: dll
// REFERENCE: Nemerle.Compiler

using Nemerle;
using Nemerle.Compiler;

macro mymacro(expr)
{
 def typer = Nemerle.Macros.ImplicitCTX();
 def texpr = typer.TypeExpr(expr);
 <[ $(texpr : typed).GetType() ]>
}

// program.n
// DEPEND: macro.n

mymacro({ def n = object(); n } : object);

// nbuild program.n
ncc.exe -no-color -t:library -r:Nemerle.Compiler -out:macro.dll macro.n
ncc.exe -no-color -r:macro.dll -out:program.exe program.n
program.n:4:29:4:30: warning: unregistered local a local value n, 1172
error: internal compiler error: assertion failed in file
typing/Typer2.n, line 753
  at Nemerle.Compiler.Typer2.DoWalk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.Walk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.DoWalk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.Walk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.DoWalk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.Walk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.DoWalk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.Walk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.DoWalk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.Walk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.DoWalk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.Walk(Context ctx, TExpr expr)
  at Nemerle.Compiler.Typer2.Run()
  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_25083.apply_void(TypeBuilder
_N_25082)
  at
Nemerle.Compiler.TypesManager._N_maybe_f_25534.apply_void(TypeBuilder
_N_25533)
  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_l24661_24752.apply_void()
  at Nemerle.Compiler.Solver.Enqueue(FunctionVoid action)
  at Nemerle.Compiler.TypesManager.EmitDecls()
  at Nemerle.Compiler.ManagerClass.Run()
  at Nemerle.CommandlineCompiler.MainClass.main_with_catching()

error: child process exited abnormally
... while compiling program.n
======================================================================
Relationships       ID      Summary
----------------------------------------------------------------------
has duplicate       0000709 Internal compiler error when declaring ...
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
08-14-06 21:55 Snaury         New Issue                                    
08-14-06 22:01 nazgul         Relationship added       has duplicate 0000709
======================================================================