[nem-bug] [Nemerle 0000970]: ICE where variant in <[ ]> block (revision 7525)

feedback at nemerle.org feedback at nemerle.org
Sat Mar 10 22:00:29 CET 2007


The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=970> 
======================================================================
Reported By:                DyachenkoA
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   970
Category:                   Code Completion Engine
Reproducibility:            always
Severity:                   crash
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             03-10-2007 22:00 CET
Last Modified:              03-10-2007 22:00 CET
======================================================================
Summary:                    ICE where variant in <[  ]> block (revision 7525)
Description: 
minimal code

<[ decl:
  public variant V
  {
     | o1
  }
]>;

command line:
C:\Users\&http://nemerle.org/bugs/view.php?id=1040;&http://nemerle.org/bugs/view.php?id=1083;&http://nemerle.org/bugs/view.php?id=1077;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1072;&http://nemerle.org/bugs/view.php?id=1085;&http://nemerle.org/bugs/view.php?id=1076;&http://nemerle.org/bugs/view.php?id=1088;\Documents\Nemerle>"C:\Program
Files\Nemerle\NCC.exe" -t:winexe -ref:Nemerle.Macros.dll 3.n

result - ICE:
&http://nemerle.org/bugs/view.php?id=8592;[01;31merror&http://nemerle.org/bugs/view.php?id=8592;[0m:
internal compiler error: got
MatchFailureException exception
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Macros.quoted_sstring(Splicable st)
&http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\typing\Macros.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
180
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Macros.quoted_member(ClassMember mem)
&http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\typing\Macros.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
316
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Macros._N_static_proxy74618.apply(ClassMember
_N_sp_parm74625) &http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\typing\Macros.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
366
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Collections.List.Map['a,'b](list`1 l, Function`2 f)
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\lib\list.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
912
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Macros.Lift['a](list`1 l, Function`2 f)
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\typing\Macros.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
145
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Macros.lift_members(list`1 members)
&http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\typing\Macros.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
366
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Macros.quoted_tydecl(TopDeclaration td)
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\typing\Macros.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
400
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Macros.quoted_member(ClassMember mem)
&http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\typing\Macros.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
321
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq) &http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\typing\Typer.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
1710
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected,
Boolean is_toplevel_in_seq) &http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\typing\Typer.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
1092
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected)
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\typing\Typer.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
1070
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Typer.DoType(PExpr expression, TyVar expected,
Boolean is_toplevel_in_seq) &http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\typing\Typer.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
1646
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected,
Boolean is_toplevel_in_seq) &http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\typing\Typer.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
1092
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Typer.TypeExpr(PExpr e, TyVar expected)
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\typing\Typer.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
1070
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Typer.TypeExpr(PExpr e)
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\typing\Typer.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
1064
   &http://nemerle.org/bugs/view.php?id=1074; Nemerle.Compiler.Typer.RunTyper()
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\typing\Typer.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
340
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Typer..ctor(MethodBuilder m)
&http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\typing\Typer.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
158
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.CompilerComponentsFactory.CreateTyper(MethodBuilder m)
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\misc\ComponentsFactory.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
33
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.MethodBuilder.RunBodyTyper()
&http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\hierarchy\ClassMembers.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
814
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.MethodBuilder.Compile()
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\generation\HierarchyEmitter.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
992
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.TypeBuilder.EmitImplementation()
&http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\generation\HierarchyEmitter.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
581
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.TypesManager._N_emit_impl_36008.apply_void(TypeBuilder
_N_36007) &http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\generation\HierarchyEmitter.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
333
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.TypesManager._N_maybe_f_36614.apply_void(TypeBuilder
_N_36613) &http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\hierarchy\TypesManager.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
225
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Collections.List.Iter['a](list`1 l, FunctionVoid`1 f)
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\lib\list.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
906
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Core.list`1.Iter(FunctionVoid`1 f)
&http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\lib\list.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
307
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.TypesManager.Iter(list`1 builders,
FunctionVoid`1 f) &http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\hierarchy\TypesManager.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
231
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.TypesManager.Iter(FunctionVoid`1 f)
&http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\hierarchy\TypesManager.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
242
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.TypesManager.compile_all_tyinfos(Boolean
aux_phase) &http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\generation\HierarchyEmitter.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
357
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.TypesManager._N__N_l35422_35525.apply_void()
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\generation\HierarchyEmitter.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
219
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.Solver.Enqueue(FunctionVoid action)
&http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\typing\Solver.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
197
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.TypesManager.EmitDecls()
&http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\generation\HierarchyEmitter.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
218
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.Compiler.ManagerClass.Run() &http://nemerle.org/bugs/view.php?id=1074;
E:\SVN\Nemerle
Compiler\ncc\passes.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
432
   &http://nemerle.org/bugs/view.php?id=1074;
Nemerle.CommandlineCompiler.MainClass.main_with_catching()
&http://nemerle.org/bugs/view.php?id=1074; E:\SVN\Nemerle
Compiler\ncc\main.n:&http://nemerle.org/bugs/view.php?id=1089;&http://nemerle.org/bugs/view.php?id=1090;&http://nemerle.org/bugs/view.php?id=1088;&http://nemerle.org/bugs/view.php?id=1086;&http://nemerle.org/bugs/view.php?id=1082;&http://nemerle.org/bugs/view.php?id=1072;
86
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
03-10-07 22:00 DyachenkoA     New Issue                                    
======================================================================




More information about the bugs mailing list