Type Inferencer to the Rescue

ducasse ducasse at iam.unibe.ch
Sat Dec 22 19:52:53 UTC 2001


Hi

I **tried** to fix the unexpected behavior of SortedCollection accepting
addLast: (this was easy and dirty like in VW). add: should call super
addLast:.

Then I tried to verify if clients of SortedCollection would not break so I
looked for all the senders of addLast: and tried to see what was the type of
the receiver......endless. I tried to check all the references to
SortedCollection and crosscut this with the previous set and taking into
inheritance.....nearly impossible.

So I would like to know what is the status of the type inferencers?
Is Lucid still developed? I know that Franscico would like to make his type
inferencer operational for crazy code containing primitives.

I was wondering if somebody is still working on the topic and also if other
alternative like spying the run-time of squeak and collecting types have
been explored. Does somebody worked on something similar as the
CoverageBrowser developed by michel tilman?

Stef

By the way how harvesters of bug fixes operate? 





More information about the Squeak-dev mailing list