[nem-bug] [Nemerle 0000753]: Internal compiler error

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=753> 
======================================================================
Reported By:                IT
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   753
Category:                   Compiler
Reproducibility:            always
Severity:                   crash
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             09-12-2006 06:03 CEST
Last Modified:              11-09-2006 09:30 CET
======================================================================
Summary:                    Internal compiler error
Description: 
public module Program
{
  Foo() : list[string]
  {
    if (true) array(0) else null
  }
}


test.n:5:9:5:11: warning: saved error: types list[string] and
array [?] are not compatible [during intersection]
error: internal compiler error: assertion ``res'' failed in
file ncc\typing\TyVar.n, line 390:
failed to fixate array [?] [] with array [?]
======================================================================

----------------------------------------------------------------------
 malekith - 11-09-06 09:30 
----------------------------------------------------------------------
Resolved on trunk, r6858.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
09-12-06 06:03 IT             New Issue                                    
11-09-06 09:30 malekith       Status                   new => resolved     
11-09-06 09:30 malekith       Resolution               open => fixed       
11-09-06 09:30 malekith       Assigned To               => malekith        
11-09-06 09:30 malekith       Note Added: 0001500                          
======================================================================