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

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=740> 
======================================================================
Reported By:                Snaury
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   740
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             08-14-2006 21:55 CEST
Last Modified:              11-29-2006 18:51 CET
======================================================================
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 ...
======================================================================

----------------------------------------------------------------------
 malekith - 11-29-06 18:51 
----------------------------------------------------------------------
Resolved, r7020.

It was this junky impure stuff.

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
11-29-06 18:51 malekith       Status                   new => resolved     
11-29-06 18:51 malekith       Resolution               open => fixed       
11-29-06 18:51 malekith       Assigned To               => malekith        
11-29-06 18:51 malekith       Note Added: 0001535                          
======================================================================