Hello Cyrille,

First of all, thanks for trying to use RoelTyper! It is always interesting to have feedback !

There are two things.
Firstly, you found a bug in RoelTyper :) RoelTyper should find some assignments for #array in OrderedCollection (in OrderedCollection>>grow for example). I must fix that.
Secondly, RoelTyper found the right type for #array: Array! When you execute:

�TypeCollector typeInstvar: #array ofClass: OrderedCollection.

it returns an ExtractedType (containing Assignments (normally :)) and Messages sends). To merge information and find the possible types for this extractedType you must send the message #types on it.

(TypeCollector typeInstvar: #array ofClass: OrderedCollection) types.

giving: Array

Fr�d
----
Fr�d�ric Pluquet
Universit� Libre de Bruxelles (ULB)
Assistant
http://www.ulb.ac.be/di/fpluquet


2009/12/10 Cyrille Delaunay <cy.delaunay@gmail.com>


Hi,

I'm trying to use RoelTyper in Pharo. A question I ask myself is: 'Is it normal that roelTyper doesn't always return some assignements' ?
For example, when I evaluate:
��TypeCollector typeInstvar: #array ofClass: OrderedCollection .
the assignements returned is an empty collection. I would expect that even roelTyper doesn't retrieve the exact type, it would always return a collection of 'candidate' types.
Am I using it in a wrong way?




_______________________________________________
Pharo-project mailing list
Pharo-project@lists.gforge.inria.fr
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project