[nem-en] Type inference in completion

[vc]

Hi.

Kamil, Michał... my competence is not enough to solve this problem. 
Please, help me.

Vlad

> -----Original Message-----
> From: devel-en-bounces at nemerle.org [mailto:devel-en-bounces at nemerle.org]
> On Behalf Of vc
> Sent: Thursday, April 26, 2007 7:41 AM
> To: devel-en at nemerle.org
> Subject: [nem-en] Type inference in completion
> 
> Hi.
> 
> We have some problem during type inference. For example if try to get
> member
> list from 'x' (cursor position mark by '|'):
> def lst = ["1", "2", "3", "52"];
> WriteLine(lst.Map(x => x.|));
> we will see System.Object members.
> 
> I surmise it's result of braking of type inference process. See:
> line 273 of
> http://nemerle.org/svn/vs- plugin/trunk/
> Nemerle.Compiler.Utils/Nemerle.Completion2/Engine/Engine.Completion.n
> and line 1170 of http://nemerle.org/svn/nemerle/trunk/ncc/typing/Typer.n
> 
> What we should to do for infer real type of 'x'?
> 
> Vlad.
> 
> 
> _______________________________________________
> https://nemerle.org/mailman/listinfo/devel-en