[nem-bug] [Nemerle 0001006]: internal compiler error when using variants incorrectly

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=1006> 
======================================================================
Reported By:                biosap
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   1006
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             05-05-2007 11:56 CEST
Last Modified:              05-05-2007 11:56 CEST
======================================================================
Summary:                    internal compiler error when using variants
incorrectly
Description: 
code --->
using System;

System.Console.WriteLine(None)
<---- end of code

While the compiler correctly warns that this is not what I meant, it
probably shouldn't have an internal compiler error:

none.n:3:26:3:30: warning: using a constant object reference
directly
none.n:3:26:3:30: warning:   you probably have meant to write
`Nemerle.Core.option.None ()'
none.n:3:26:3:30: 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 ``False'' failed in
file generation/Typer4.n, line 178:
type is null for 'a.455
  at Nemerle.Compiler.Typer4.CheckSTV (Nemerle.Compiler.TyVar t) [0x00000]

  at Nemerle.Compiler.Typer4+_N__N_method_lambda_50208.apply_void
(Nemerle.Compiler.TyVar _N_50207) [0x00000] 
  at Nemerle.Collections.List.Iter[TyVar] (Nemerle.Core.list`1 l,
Nemerle.Builtins.FunctionVoid`1 f) [0x00000] 
  at Nemerle.Core.list`1[Nemerle.Compiler.TyVar].Iter
(Nemerle.Builtins.FunctionVoid`1 ) [0x00000] 
  at Nemerle.Compiler.Typer4.CheckSTV (Nemerle.Compiler.TyVar t) [0x00000]

  at Nemerle.Compiler.Typer4.Run () [0x00000] 
  at Nemerle.Compiler.Typer3.Run () [0x00000] 
  at Nemerle.Compiler.Typer.RunSecondPass (Nemerle.Compiler.MethodBuilder
meth) [0x00000] 
  at Nemerle.Compiler.Typer..ctor (Nemerle.Compiler.MethodBuilder m)
[0x00000] 
  at Nemerle.Compiler.CompilerComponentsFactory.CreateTyper
(Nemerle.Compiler.MethodBuilder m) [0x00000] 
  at Nemerle.Compiler.MethodBuilder.RunBodyTyper () [0x00000] 
  at Nemerle.Compiler.MethodBuilder.Compile () [0x00000] 
  at Nemerle.Compiler.TypeBuilder.EmitImplementation () [0x00000] 
  at Nemerle.Compiler.TypeBuilder+_N__N_l35784_35815.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]



Compilation exited abnormally with code 2 at Sat May  5 12:51:59

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
05-05-07 11:56 biosap         New Issue                                    
======================================================================