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

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=1029> 
======================================================================
Reported By:                divan
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   1029
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             06-21-2007 10:00 CEST
Last Modified:              06-21-2007 10:00 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.
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
06-21-07 10:00 divan          New Issue                                    
======================================================================