[nem-bug] [Nemerle 0000830]: ICE when using Alias (only for some methods)

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=830> 
======================================================================
Reported By:                d
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   830
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             01-20-2007 20:25 CET
Last Modified:              01-20-2007 20:25 CET
======================================================================
Summary:                    ICE when using Alias (only for some methods)
Description: 
I tried adding aliases in rlist.n and it works fine for all methods but
FoldLeft, FoldRight and Map.
For example if this line:

  [Nemerle.Alias (FoldLeft (acc, f))]

is added above:

  public static FoldLeft ['b] (xs : RList ['a], acc : 'b, f : 'a * 'b ->
'b) : 'b

in rlist.n and the corresponding non-static method below is commented out
like this:

  //    public FoldLeft ['b] (acc : 'b, f : 'a * 'b -> 'b) : 'b {
  //      FoldLeft (this, acc, f)
  //    }

I get:

h82-143-167-72-static:~/src/nemerle/lib d$ make
cd ../ncc ; make lib
make STAGE=stage1 OUTF_STAGE=stage1. out.stage1/Nemerle.stage1.dll
COMPILE [stage1] Nemerle.dll
_________...................................................
error: internal compiler error: got some unknown exception of type
System.ApplicationException: Can't define method 'FoldLeft' (attrs:
Public, HideBySig) in type 'Nemerle.Collections.RList`1'.
Error: assertion ``gtype != null'' failed in file typing/StaticTyVar.n,
line 123:
'b.1487
  at Nemerle.Compiler.MethodBuilder.CreateMethodBuilder
(System.Reflection.Emit.TypeBuilder tb) [0x00000] 
  at Nemerle.Compiler.MethodBuilder.CreateEmitBuilder
(System.Reflection.Emit.TypeBuilder tb) [0x00000] 
  at Nemerle.Compiler.TypeBuilder.CreateEmitDeclarations () [0x00000] 
  at Nemerle.Compiler.TypesManager+_N_emit_decls_28794.apply_void
(Nemerle.Compiler.TypeBuilder _N_28793) [0x00000]   at
Nemerle.Compiler.TypesManager+_N__N_l29368_29386.apply_void
(Nemerle.Compiler.TypeBuilder _N_29385) [0x00000] 
  at Nemerle.Compiler.TypesManager+_N_maybe_f_29339.apply_void
(Nemerle.Compiler.TypeBuilder _N_29338) [0x00000] 
  at Nemerle.Collections.List.Iter[TypeBuilder] (Nemerle.Core.list`1 l,
Nemerle.Builtins.FunctionVoid`1 f) [0x00000] 
  at Nemerle.Core.list`1[Nemerle.Compiler.TypeBuilder].Iter
(Nemerle.Builtins.FunctionVoid`1 ) [0x00000] 
  at Nemerle.Compiler.TypesManager.Iter (Nemerle.Core.list`1 builders,
Nemerle.Builtins.FunctionVoid`1 f) [0x00000]   at
Nemerle.Compiler.TypesManager.IterConditionally
(Nemerle.Builtins.FunctionVoid`1 f, Nemerle.Builtins.Function`2 cond)
[0x00000] 
  at Nemerle.Compiler.TypesManager.compile_all_tyinfos (Boolean aux_phase)
[0x00000] 
  at Nemerle.Compiler.TypesManager+_N__N_l28375_28466.apply_void ()
[0x00000] 
  at Nemerle.Compiler.Solver.Enqueue (Nemerle.Builtins.FunctionVoid
action) [0x00000] 
  at Nemerle.Compiler.TypesManager.EmitDecls () [0x00000] 
  at Nemerle.Compiler.ManagerClass.Run () [0x00000] 
  at Nemerle.CommandlineCompiler.MainClass.main_with_catching () [0x00000]

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
01-20-07 20:25 d              New Issue                                    
======================================================================