[nem-bug] [Nemerle 0001029]: using generic type alias: wrong member lookup

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=1029> 
======================================================================
Reported By:                divan
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   1029
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             06-21-2007 10:00 CEST
Last Modified:              09-06-2007 12:05 CEST
======================================================================
Summary:                    using generic type alias: wrong member lookup
Description: 
Following doesn't work:

type A = B[C];
using A;
_ = static_member_of_B ();

It doesn't apply generic parameters to member, so they are inferred, not
always correctly.

Don't know what exactly goes wrong, some possibilities:
1) Bar TypeBuilder claims that LookupMemberAvailable, but it doesn't find
foo.
I don't see where TypeBuilder stores aliased type to fix it.
2) Somehow Foo members are lookuped too, maybe just generic parameters
need to be applied after lookup. 
3) When lookup happens Bar TypeBuilder tydecl is still Class, not alias,
so it possibly breaks things in GlobalEnv.LookupSymbol.add_members_from.
======================================================================

----------------------------------------------------------------------
 divan - 06-21-07 10:01 
----------------------------------------------------------------------
Maybe related to 676.

----------------------------------------------------------------------
 BOleg - 09-05-07 20:29 
----------------------------------------------------------------------
Check, please, patch (test suite included).

----------------------------------------------------------------------
 nazgul - 09-06-07 12:05 
----------------------------------------------------------------------
Thanks! Applied on trunk (r7789).

Issue History
Date Modified  Username       Field                    Change              
======================================================================
06-21-07 10:00 divan          New Issue                                    
06-21-07 10:01 divan          Note Added: 0001921                          
06-25-07 14:48 Klapaucius     Issue Monitored: Klapaucius                    
09-05-07 20:27 BOleg          File Added: type-alias.patch                    
09-05-07 20:29 BOleg          Note Added: 0001952                          
09-06-07 12:05 nazgul         Status                   new => resolved     
09-06-07 12:05 nazgul         Resolution               open => fixed       
09-06-07 12:05 nazgul         Assigned To               => nazgul          
09-06-07 12:05 nazgul         Note Added: 0001953                          
======================================================================