It seems that the current implementation does not allow a FunctorCluster? for a RedefinedFunctor?. This may be a serious problem, if a function is redefined immediately after its definition, and the original definition is thus inaccessible.

Reimplementation of the mechanism is currently discussed (cf. ClusterImplementation ), the advice for the time being is to be cautious with functor redefinitions.

-- JosefUrban - 12 Jul 2002