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
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