[nem-bug] [Nemerle 0001009]: Incorrect type lookup if exists type with and without type parameters

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=1009> 
======================================================================
Reported By:                VladD2
Assigned To:                VladD2
======================================================================
Project:                    Nemerle
Issue ID:                   1009
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             05-05-2007 14:14 CEST
Last Modified:              05-05-2007 15:42 CEST
======================================================================
Summary:                    Incorrect type lookup if exists type with and
without type parameters
Description: 
using System.Console;


class A
{
  public static Test1() : void {  }
}

class A[T]
{
  public static Test2() : void {  }
}

module Program
{
  Main() : void
  {
    A.Test1();       //E: unbound name 'Test1' in 'A'
    A.[int].Test2();
  }
}
In this example typer recognize 'A' as A[T].
See line 310 of
http://nemerle.org/svn/nemerle/trunk/ncc/hierarchy/GlobalEnv.n
for detailes.
The pref.LookupType (type_part, -1) return firste defined type (which is
A[T]).
======================================================================

----------------------------------------------------------------------
 VladD2 - 05-05-07 15:42 
----------------------------------------------------------------------
Fixed in rev. 7657.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
05-05-07 14:14 VladD2         New Issue                                    
05-05-07 15:42 VladD2         Status                   new => resolved     
05-05-07 15:42 VladD2         Resolution               open => fixed       
05-05-07 15:42 VladD2         Assigned To               => VladD2          
05-05-07 15:42 VladD2         Note Added: 0001878                          
======================================================================